berryfiable compute is verifiable computation met de zoetheid die het zo nodig had. net zoals je niet elke zaadje hoeft te inspecteren om te weten dat een bes zoet is, kun je zeggen dat een bewijs correct is zonder de geheimen in de code te kennen ;)