Vitalik Buterin 提出的 leanVM 是一種極簡的零知識虛擬機，旨在降低 Ethereum 交易成本並提升可擴展性。它採用四指令集 ISA、多線性 STARKs 及 logup 查詢，以實現高效遞迴與 XMSS 聚合，顯著減少處理負擔。
-
極簡 zkVM 設計：四指令集 ISA 結合多線性 STARKs，實現成本效益高的證明。
-
聚焦於遞迴與 XMSS 聚合，以減輕證明者工作量並降低鏈上驗證成本。
-
由 Vitalik Buterin 發表，作為 Ethereum 路線圖中推動更輕量、優雅加密工具的一部分。
leanVM：Vitalik Buterin 提出的極簡 zkVM 方案，旨在降低 Ethereum 成本並提升可擴展性。了解其對 rollup 及協議設計的意義——立即閱讀。
什麼是 leanVM，為何對 Ethereum 重要？
leanVM 是一個主打簡單性與低證明者成本的極簡零知識虛擬機提案。其設計核心為四指令集 ISA、多線性 STARKs 及 logup 查詢，實現高效遞迴與聚合，與更複雜的 zkVM 實現相比，有望降低資源消耗。
leanVM 如何提升 Ethereum 可擴展性？
leanVM 透過簡化指令集與證明結構，減少證明者所需時間。多線性 STARKs 降低證明大小負擔，logup 查詢則簡化狀態存取。這些設計讓遞迴與 XMSS 聚合成本更低，有助於提升 rollup 吞吐量並降低每筆交易費用。
Vitalik Buterin 將此提案定位為撰寫「精簡程式碼」的努力，目標是構建長期可維護的加密原語，而非暫時性的擴容補丁。
Vitalik 何時提出 leanVM？他說了什麼？
該提案於 2025 年 9 月 8 日在討論 Ethereum 路線圖時首次出現。Vitalik Buterin 將 leanVM 描述為 Ethereum 技術演進關鍵階段的一部分，強調精簡、優雅的協議設計優於臨時性補丁。
leanVM 的技術亮點是什麼？
關鍵元素包括四指令集 ISA，保持執行語義極簡。結合多線性 STARKs 以降低證明負擔，並以 logup 查詢優化狀態存取。這些選擇明確旨在讓遞迴與 XMSS 聚合在實務上更具成本效益。
常見問題
leanVM 對 rollup 有何影響？
leanVM 可透過簡化計算模型與證明生成，降低 rollup 證明者成本。較低的證明者負擔能減少營運者開支，並提升採用相容工具的 optimistic 及 zk-rollup 設計之吞吐量。
與現有 zkVM 相比，leanVM 安全嗎？
安全性取決於實現方式與加密選擇。leanVM 依賴於 STARK 為基礎的證明，這被認為具備後量子安全性；然而，任何新虛擬機在投入生產前都需經過正式分析與同行審查。
重點摘要
- leanVM 追求極簡主義：四指令集 ISA 與精簡證明，目標是降低證明者成本。
- 聚焦遞迴與聚合：多線性 STARKs 與 logup 查詢讓遞迴與 XMSS 聚合更具實用性。
- 屬於 Ethereum 長期路線圖：該提案反映出對強韌、優雅加密工具的長遠追求，而非臨時性修補。
結論
leanVM 提案標誌著 Ethereum 在可擴展、成本效益高的 zk 工具路線圖上的重要一步。透過強調極簡 ISA、多線性 STARKs 與優化查詢，leanVM 旨在降低證明者成本，並實現更高效的遞迴與聚合。開發者與研究人員應持續關注相關討論與同行審查，以評估其實際應用。
相關報導
- 數百萬個新 Ethereum 錢包創建——但投資者比以往更加看空 — 2 小時前 — 3 分鐘閱讀
- Ethereum 漲勢掩蓋黑暗現實，研究員警告 — 18 小時前 — 2 分鐘閱讀
- 2025 年 Ethereum 聯合創辦人 Vitalik Buterin 身價有多少？— 24 小時前 — 3 分鐘閱讀
- Ethereum ETF 在 8 月錄得創紀錄流入後，出現 7.87 億美元資金流出 — 2 天前 — 2 分鐘閱讀
- Ethereum 巨鯨沉睡三年後甦醒——質押 6.46 億美元 ETH — 3 天前 — 2 分鐘閱讀
- Grayscale 推出每兩週分紅的 Ethereum ETF — 3 天前 — 2 分鐘閱讀
