Ethereum團隊推出了一款針對ZKP流程和區塊鏈網絡後量子安全優化的新型虛擬機。這一開發是Ethereum長期路線圖的一部分。
在最近一次Ethereum共識層開發者會議上，leanVM 被展示。這是一款專為處理零知識證明（ZKP）並保護網絡免受潛在量子計算機攻擊而設計的新型虛擬機。
leanVM被設想為徹底降低擴容成本並加速遞歸運算的基礎。根據項目作者介紹，目前在CPU上的運行速度為2.7秒，目標是提升十倍。leanVM的另一個關鍵目標是高效處理後量子算法。新虛擬機不僅僅是驗證單個XMSS簽名，而是進行遞歸聚合，將數千個簽名合併為一個精簡的證明。
leanVM的主要特點包括：
- 僅有四條指令的極簡指令集架構（ISA），極為簡單且適合形式化驗證。
- 採用多線性STARKs，相較於傳統方案能實現更快且更精簡的共識。
- 一種新型採樣技術，可降低承諾成本並提升效率。
- 完整驗證器僅用約1,000行Python代碼實現，簡化了審計和測試流程。
- 驗證者即使在如7美元的Raspberry Pi Pico等低功耗設備上也能運行，而聚合者則可依賴CPU/GPU實現高吞吐量。
leanVM的開發已納入Ethereum的十年戰略路線圖，於上月發布。新的Lean Ethereum架構將繼續與Ethereum路線圖保持一致，但會平行發展，不會直接部署到主網。
2025年，Ethereum網絡將進行Pectra硬分叉，兩項重大升級——Fusaka和Glamsterdam——預計於11月推出。Ethereum聯合創辦人Vitalik Buterin此前曾談及向新虛擬機及激進技術變革的轉型。
