登录 后可观看高清视频

确保以太坊安全:ZK-EVM形式化验证项目

Veridise Veridise 2026-05-29
241次播放
2026-05-29

视频 AI 总结: 本视频中,Veridise的CEO Kostas Fernandes与以太坊基金会Alexander Higgs讨论了ZKVM验证计划。核心目标是确保ZKVMs(零知识虚拟机)的安全性,以支持以太坊L1的扩展。项目分为三个轨道:ZKVM电路、EVM访客程序和密码学证明系统,已取得显著进展,包括RISC-V电路的形式化验证和证明速度优化。最终目标是在2026年实现L1上的可选证明,并逐步过渡到强制证明,以提升性能和安全性,同时引入LLZK等工具链推动编译和验证的标准化。

关键信息:

  • ZKVM对以太坊扩展至关重要,可替代重执行,提高gas限值。
  • 项目分三轨:验证ZKVM电路安全性、EVM访客程序的正确性、以及证明系统的形式化规范。
  • 主要进展:RISC-V电路已针对SAIL规范完成形式化验证;证明时间从数月缩短至10周;预编译(如Keccak)验证取得成果。
  • LLZK(基于MLIR的中间表示)用于统一电路编译,支持多DSL并集成验证后端。
  • 目标时间线:2026年实现L1可选证明,2027-2028年实现强制证明。
  • 未来影响:ZKVMs将改变执行层和共识层,可能推动EVM演变或直接支持RISC-V智能合约,编译器工具链成为关键。

Timestamps: 00:00 Introductions 00:16 What are the main goals of the Ethereum Foundation’s ZK-EVM Verification Project? 02:12 Current progress: what has been accomplished so far, and what’s coming next? 20:57 Deep dive into LLZK: Current use cases. What developers are building now and in the future? 32:47 Where to learn more about the mentioned LLZK projects and how to contribute? 34:20 The future of Ethereum, the EVM, and ZK-VMs: will users interact with ZK-VMs or L1 directly? 40:00 Could ZK-VMs eventually replace the EVM? 45:33 Closing remarks