berryfiable compute to weryfikowalna obliczenia z słodyczą, której tak bardzo potrzebowano. tak jak nie musisz sprawdzać każdego nasionka, aby wiedzieć, że jagoda jest słodka, możesz stwierdzić, że dowód jest poprawny, nie znając sekretów w kodzie ;)