Vitalik Buterin 提出兩項以太坊核心升級以削減 ZK 證明瓶頸並提升效率

Vitalik Buterin 在最新技術提案中概述了兩項他認為對以太坊未來至關重要的結構性升級，建議在 EIP7864 下將網絡的十六進制 Merkle Patricia 狀態樹替換為二進制樹，並在更長遠的計劃中以基於 RISCV 的虛擬機取代 EVM。Guillaume Ballet 及其他貢獻者正在開發的 EIP7864 將遷移至採用更高效哈希函數的二進制樹，將 Merkle 分支長度縮短四倍，同時將 Helios 和 PIR 等工具的客戶端驗證成本與帶寬需求降低相同倍數，並引入基於頁面的存儲方式，Buterin 估計此舉可為常用 dApp 每筆交易節省超過 10,000 gas。他進一步建議採用 ZK 證明器已在使用的 RISCV 架構，通過三階段路線圖實現：首先將 RISCV 用於預編譯，然後允許用戶部署合約,最終淘汰 EVM 並以新虛擬機中作為智能合約重新實現的 EVM 替代，同時僅需微調 gas 成本即可保持完全向後兼容。Buterin 表示，這些對狀態樹和虛擬機的改變將解決以太坊高效 ZK 證明生成中超過 80% 的瓶頸問題。