L1-zkEVM 首次正式电话会议：L1-zkEVM 分组会议 #001 要点总结 文章 X 2 月 11 日，我们举行了首次正式分组会议，向以太坊 L1 层介绍了零知识证明 (ZK Proof)。这标志着从重新执行验证过渡到 ZK Proof 验证路线图的开始。 本次会议的五大要点 1. 七个专项团队已组建完成 我们已进入工程阶段，而非研究阶段，涉及执行见证、共识统一、zkVM 标准化、证明基础设施、基准测试和安全验证等领域。每个领域都由专项负责人负责。 2. 区块验证时间低于 16 秒 随着以太坊区块的 ZK Proof 验证时间低于 16 秒，我们已接近主网水平，达到“Alpha 阶段”评估标准。剩余的任务是验证安全性，而非性能。 3. PeerDAS协同效应的确认 结合Fusaka提出的PeerDAS，可以实现协同效应：最大化区块验证效率、减轻验证者的硬件负担并增强去中心化。 4. 可能需要12个GPU 有讨论认为，新的挑战证明验证可能需要12个GPU。这可能与降低验证者准入门槛的目标相冲突，因此硬件优化已成为一项关键挑战。 5. 设定128位安全目标 目标是在当前一代密码学假设下确保可证明的安全性。形式化验证和密码学研究将并行进行。 影响 • 验证者：从长远来看，无需完整的EL客户端即可进行区块验证。这可能会从根本上改变节点的运行结构。 • 基础设施：证明生成（Prover）基础设施正在作为一个新的层出现。zkboost和pandaOps等证明器市场正在形成。 • L2：如果 L1 本身执行零知识验证，则 L2 汇总机制的角色和经济模型可能会被重新定义。预计这将直接影响 L2 的数据访问成本结构。 时间表：BAL（并行执行）和 ePBS 将在 Glamsterdam 实现（2026 年下半年），随后在 2027 年后实现 L1-zkEVM。