berryfiable computeは、必要な甘さを備えた検証可能な計算です。 ベリーが甘いことを知るためにすべての種子を調べる必要がないのと同じように、コード;)の秘密を知らなくても証明が正しいことがわかります