V神呼籲移除減緩以太坊ZK擴容的Modexp預編譯

Buterin表示，modexp使得ZK-EVM計算比平均以太坊區塊重達50倍。

他提議一個新的EIP，用等效的EVM代碼替換modexp，盡管這會導致更高的燃料費用。

Modexp的低效減緩了ZK-rollup的進展，目前仍有少數應用需要傳統函數。

以太坊聯合創始人Vitalik Buterin呼籲開發者移除網路的模塊化指數運算預編譯，稱其爲高效零知識(ZK)擴展的最大障礙之一。

在最近的一篇X帖子中，布特林表示，預編譯是“迄今爲止最糟糕的罪犯”，對於ZK-EVM證明器效率來說，他指出它可以使計算比平均區塊重達50倍。他建議起草一個新的以太坊改進提案(EIP)，以用等效的EVM代碼替代該功能，即使這需要更高的燃氣費用。

遺留功能造成重大瓶頸

modexp 預編譯，這是以太坊的早期組件，處理模冪運算——這是 RSA 加密和數字籤名中的核心操作。雖然在早期的加密系統中至關重要，但這一特性現在阻礙了以太坊向零知識技術的演進。

Buterin承認，他最初設計的代碼已經成爲現代擴展工具的“負擔”。根據他的帖子，modexp的低效增加了ZK證明生成成本，並減緩了ZK-rollups和ZK-EVMs等技術的發展。

這些工具依賴快速驗證來處理鏈外交易，並在以太坊上安全確認。然而，布特林還強調，modexp復雜的代碼路徑產生了潛在的共識風險，增加了以太坊長期維護的復雜性。

低使用率引發對必要性的質疑

盡管其復雜性，仍然只有少數應用依賴於modexp。Buterin指出，使用它的大多數功能，例如RSA驗證或橋接安全檢查，可以過渡到基於SNARKs的更高級系統——這些是有效處理零知識計算的密碼學證明。他補充說，維護modexp的優化需要“英雄般的努力”，考慮到其最低的採用率，這並不足以證明其繼續使用的合理性。

相反，用標準的以太坊虛擬機(EVM)字節碼替換modexp可以簡化生態系統。雖然這一變化會增加仍然依賴於它的少數用戶的燃料費用，但它將大大減少計算負載，並爲其他所有人簡化ZK證明生成。

更廣泛推動高效密碼學

布特林的批評符合他對以太坊的密碼學基礎進行現代化的更廣泛運動。上個月，他詳細介紹了GKR協議，這是一種能夠在標準硬件上處理每秒兩百萬次計算的驗證方法。

這項技術可以使用比傳統方法更少的資源來驗證復雜的以太坊計算。他最近的提議還強調了創建明確的基準，以衡量零知識和全同態加密的性能。

與單純追求速度不同，布特林主張評估在轉向先進的加密系統時損失了多少效率。這種方法與他持續努力確保以太坊的核心在網路深入 ZK 基礎計算時仍然高效、可擴展和安全的目標是一致的。

Vitalik Buterin 呼籲移除減緩以太坊 ZK 擴展的 Modexp 預編譯，出現在 Crypto Front News 上。訪問我們的網站，閱讀更多關於加密貨幣、區塊鏈技術和數字資產的有趣文章。