专为以太坊共识设计的 zkVM 看起来是什么样的？ 在这一集（@LeanEthereum 小型系列的第 4/6 集）中，以太坊基金会的研究人员 Thomas Coratger (@tcoratger) 和 Emile 与 @nico_mnbl 讨论了 leanVM 的设计和实现，这是用于后量子签名聚合的最小虚拟机。 他们讨论了： – 为什么 leanVM 使用虚拟机而不是固定电路来支持灵活的 XMSS 聚合和递归证明组合 – leanVM 架构：一个为简单性和形式验证设计的最小指令集（4 个操作码） – LeanVM 背后的证明栈：多线性算术化、和检查以及 Weir 承诺方案 – 实现细节：使用 Plonky3 进行 CPU 优化证明、SIMD 技术和 Poseidon2 哈希 – 关于递归和 XMSS 聚合吞吐量的基准测试和约束 他们还讨论了规范设计、基准测试方法论以及在以太坊中实现后量子密码学的开放问题。 收听完整的节目。 —-------------------- 时间码 03:36 为什么选择 LeanVM 07:50 LeanVM 极简设计 08:34 简单性优于速度 19:34 安全性和域选择 20:41 性能和聚合基准 28:14 以太坊 Python 规范