EIP-7864 將用二元樹取代十六進位 Merkle Patricia 樹,以縮小證明大小和降低成本。
Buterin 建議採用 RISC-V 風格的執行方式和向量化預編譯,以提升零知識證明的效率。
批評者警告,較深的協議變更可能增加複雜性並擴大潛在攻擊面。
Vitalik Buterin 正在將以太坊的擴展性辯論從 Layer 2 解決方案轉回到協議的核心。在最近公開分享的言論中,他認為以太坊的長期主要限制在於其狀態樹和虛擬機。他表示,這些限制現在變得尤為重要,因為零知識證明正成為以太坊路線圖的核心。
根據 Buterin 的說法,狀態樹和執行層佔目前證明成本的 80%以上。因此,他特別提到 EIP-7864,該提案建議用二元樹結構取代以太坊的十六進位 Merkle Patricia 樹。這個提案將引入一個二元樹結構,旨在將 Merkle 證明縮短約四倍。
值得注意的是,較短的證明將降低驗證所需的帶寬。這將有利於輕量級客戶端和注重隱私的應用。此外,二元樹還會將存儲槽分組成頁面,提升應用存取相關數據時的效率。
許多去中心化應用經常載入相鄰的存儲槽。基於這一模式,Buterin 表示某些交易可以節省超過 10,000 gas。他還建議將新樹與更高效的哈希函數搭配使用,以進一步加快證明生成速度。整體目標是讓以太坊的基礎層更好地與 ZK 系統兼容。
除了狀態存儲外,Buterin 也提出對以太坊執行引擎的長期重新設計。他提到可能超越 EVM,轉向基於 RISC-V 的架構。RISC-V 已經支援許多現代的證明系統,這將有助於簡化整合。
他認為對預編譯的日益依賴顯示出對 EVM 限制的不滿。作為一個過渡措施,他提出一個向量化數學預編譯,常被描述為“EVM 的 GPU”。這可以顯著加速密碼學運算。
然而,該提案也受到批評。分析師 DBCrypto 警告,反覆進行深層次的變更可能會增加抽象層級和風險。他表示,每增加一層都可能擴大攻擊面和信任假設。
儘管如此,Buterin 認為,隨著零知識證明從可選工具轉變為核心基礎設施,以太坊必須進行演進。他強調,未來的擴展性提升可能來自根本性變革,而非額外的層級。
相關文章