專為以太坊共識設計的 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 規範