berryfiable compute è una computazione verificabile con la dolcezza di cui aveva così tanto bisogno. Proprio come non è necessario ispezionare ogni seme per sapere che una bacca è dolce, puoi dire che una prova è corretta senza conoscere i segreti nel codice ;)