详解 ZKP 桥接新方案：将 Optimistic 引入 zk 的“请求者-证明者“分离模型

Optimistic ZK 假设所有状态转换都是正确的，不需要立即的有效性证明。这种设计降低了 ZKP 项目的总证明成本，同时通过激励去中心化的挑战者监控系统和挑战欺诈行为来确保安全性。