从ZK Rollup 到 ZK 以太坊
视频 AI 总结： 该演讲由 L2Beat 的 ZK 研究员 Sergei 主讲，探讨了 ZK 技术如何从 L2 扩展延伸至以太坊 L1。核心是 ZKVM 提案：用 ZK 证明替代验证者重执行，以提升 L1 吞吐量，同时指出当前 L2 证明系统仍存在中心化、漏洞频繁等问题，并分析了 L1 面临的独特挑战，例如客户多样性、实时证明、经济激励和升级协调。 关键信息： - 当前 L2 的 ZK 证明系统虽提升性能，但仅约 13% 价值得到保护，且多数项目不允许无许可证明，导致系统未充分经受考验。 - ZKVM 提案旨在让 L1 验证者不再重执行交易，而是验证 ZK 证明，从而消除当前瓶颈，但引入“证明者”新瓶颈。 - 实现 L1 ZK 扩展需协调三大要素：多个 ZK 客户端、多个证明系统及其配对，对工程和协调要求极高。 - 实时证明是核心难点：以太坊区块需在约 10 秒内完成证明，目前约 91% 的块可在此时间内完成，但仍需优化。 - 证明成本高昂（单证明者年运营成本 10–100 万欧元），长期需解决由谁支付、是否导致中心化等问题。 - L2 无需实时证明（可延迟），且升级较随意，而 L1 必须确保透明度和审计性，这对升级协调提出更高要求。
106
0
0
2026-05-24 21:56
