berryfiable compute 是一種可驗證的計算，帶有它所需的甜美。 就像你不需要檢查每一顆種子就能知道一顆漿果是甜的，你可以在不知道代碼中的秘密的情況下判斷一個證明是否正確；)