完成端到端形式化驗證，leanVM助力以太坊全面後量子安全過渡目標定於2028年12月

Odaily星球日報訊 以太坊基金會研究員 Justin Drake 於 11 月 3 日宣布，leanVM 已實現端到端形式化驗證。leanVM 是一種極簡 zkVM，用於高效聚合基於哈希的後量子簽名，並將多重簽名打包為緊湊證明，每秒可處理超過 1000 次 leanXMSS 聚合；leanXMSS 是計劃在共識層替代 BLS 的基於哈希的簽名方案。Drake 在 Devcon 8 上將以太坊全面過渡至後量子安全的目標時間調整至 2028 年 12 月，以便為過渡所需的網絡分叉留出空間。