您現在的位置是:眾鏈財經 > 幣快訊 >
精選VitalikButerin發文探討ZK-EVM的未來展望與挑戰
2023-12-13 23:10
簡介12月13日消息,以太坊聯合創始人Vitalik Buterin發文深入探討了ZK-EVM(Zero-Knowledge Ethereum Virtual Machine)的概念及其可能實現形式。文章指出,當前的 Layer-2 EVM 協議(如 Optimistic Rollups 和 ZK Rollups)需要依賴于 EVM 的驗證機制,但這同時意味著他們必須信任龐大的代碼庫。一旦代碼庫中存在漏洞,這些虛擬機可能面臨被攻擊的風險。此外,即便是希望與 L1 EVM 保持完全等效的 ZK-EVM,也需要一定形式的治理機制,以便將 L1 EVM 的變更復制到自己的 EVM 實現中。 Buterin 提出的 ZK-EVM 概念,旨在減少 Layer-2 項目對 Ethereum 協議功能的重復實現,并提高其在驗證 Layer-1 Ethereum 區塊時的效率。他還展望了未來光客戶端(light clients)將更加強大,甚至可能利用 ZK-SNARKs(零知識證明)完全驗證 L1 EVM 執行,屆時 Ethereum 網絡將實質上具備內置的 ZK-EVM 功能。
12月13日消息,以太坊聯合創始人Vitalik Buterin發文深入探討了ZK-EVM(Zero-Knowledge Ethereum Virtual Machine)的概念及其可能實現形式。文章指出,當前的 Layer-2 EVM 協議(如 Optimistic Rollups 和 ZK Rollups)需要依賴于 EVM 的驗證機制,但這同時意味著他們必須信任龐大的代碼庫。一旦代碼庫中存在漏洞,這些虛擬機可能面臨被攻擊的風險。此外,即便是希望與 L1 EVM 保持完全等效的 ZK-EVM,也需要一定形式的治理機制,以便將 L1 EVM 的變更復制到自己的 EVM 實現中。
Buterin 提出的 ZK-EVM 概念,旨在減少 Layer-2 項目對 Ethereum 協議功能的重復實現,并提高其在驗證 Layer-1 Ethereum 區塊時的效率。他還展望了未來光客戶端(light clients)將更加強大,甚至可能利用 ZK-SNARKs(零知識證明)完全驗證 L1 EVM 執行,屆時 Ethereum 網絡將實質上具備內置的 ZK-EVM 功能。
文章還討論了實現 ZK-EVM 的不同版本,包括它們的設計挑戰、權衡利弊,以及為何某些方向可能不被采納。強調了在實現協議功能時,應權衡其優勢與保持基礎協議簡潔性的好處。對于 ZK-EVM 的關鍵屬性,Buterin 強調了其基本功能性、與 Ethereum 多客戶端哲學的兼容性、數據可用性要求、可審計性和可升級性。此外,他還提到了對almost-EVM的支持,即允許 L2 的 VM 在與 EVM 只有微小差異的情況下,仍能使用協議內的 ZK-EVM,同時也為 EVM 的部分定制化提供了靈活性。
Tags: 發文