据吴说报道，L2Beat 创始人 bartek 表示，第一个基于 Optimism Bedrock 构建的 zkEVM Zircuit 已经在主网上线，但其证明系统并非所预期的那样。

当查看验证证明合约，发现这段代码有明显的临时后门，潜在的恶意行为者可以轻松地将后门隐藏在复杂的数学运算背后。

需要让社区能够独立重新生成验证密钥并解释数学原理。Zircuit 联创 Dr. Z 表示，在初期阶段，Zircuit 有意使用所谓的“模板证明”来及时 roll up 其状态，使链能够快速达成最终性。

随着证明系统的成熟和优化，每个区块都将配备 zk-SNARK 证明。