燃气费用并不是实际的瓶颈。@brevis_zk 强调了实际上是什么破坏了系统。 重复的逻辑、重新检查历史和重新验证假设会破坏可组合性。 这不是安全性。这是浪费协调。 ZK 通过让协议重用经过验证的真相来改变模型。 效率来自于不执行已经证明的内容。