登录 后可观看高清视频

以太坊执行层精简路线图 2026 至 2030

192次播放
2026-04-16

视频 AI 总结: 本视频围绕以太坊“Lean Execution”路线图展开,重点讨论通过 ZKVM、形式化验证和协议改进,逐步把以太坊推向更高吞吐、低成本且保持去中心化的“终局”。演讲者介绍了从可选证明、强制证明到规范化实现的演进路径,并说明数据层、状态管理、抗审查机制与 RISC-V/Lean4 等技术如何协同支撑未来升级。

关键信息:

  1. 以太坊长期目标是实现约 1 Giga gas/s 的 L1 吞吐,并扩展到全 L2 约 10M TPS。
  2. ZKVM 通过“验证证明”替代“重新执行区块”,同时提升扩容与去中心化。
  3. 证明将经历三阶段:可选证明、强制证明、最终规范化证明/规范化实现。
  4. 证明延迟、证明大小、带宽开销是核心挑战,需依赖延迟执行、分片广播等优化。
  5. 证明者硬件目标是:成本低于 10 万美元、功耗低于 10 千瓦,以支持“家庭证明者”。
  6. 需在 ZKVM 和 Guest 程序两层保持多样性,未来可能转向经形式化验证的单一规范实现。
  7. Fossil、inclusion lists、validity-only partial state 等机制用于提升抗审查与状态可维护性。
  8. 状态增长将通过多维收费、状态裁剪、状态过期等方式治理。
  9. RISC-V 被视为重要的 ZK ISA 候选,未来可能成为 EVM 底层规范或直接暴露给开发者。
  10. 形式化验证与 AI 工具被看好,可显著降低 ZKVM、证明系统和数学定理中的错误风险。