O cálculo berryfiable é um cálculo verificável com a doçura de que tanto precisava. Assim como você não precisa inspecionar todas as sementes para saber se uma baga é doce, você pode dizer que uma prova está correta sem conhecer os segredos do código ;)