berryfiable compute é uma computação verificável com a doçura que tanto precisava. Assim como você não precisa inspecionar cada semente para saber que uma baga é doce, você pode dizer que uma prova está correta sem conhecer os segredos no código ;)