berryfiable compute est un calcul vérifiable avec la douceur dont il avait tellement besoin. Tout comme vous n'avez pas besoin d'inspecter chaque graine pour savoir qu'une baie est sucrée, vous pouvez dire qu'une preuve est correcte sans connaître les secrets dans le code ;)