berryfiable 计算是可验证计算，带来了它所需的甜蜜。 就像你不需要检查每一颗种子就能知道浆果是甜的，你可以在不知道代码中的秘密的情况下判断一个证明是否正确；)