WEEX Blog 唯客博客， PANews 12月13日消息，以太坊聯合創始人Vitalik Buterin發文探討了ZK-EVM的概念及其可能實現形式。文章指出，當前的Layer-2 EVM協議（如Optimistic Rollups和ZK Rollups）需要依賴於EVM的驗證機制，但這同時意味著他們必須信任龐大的代碼庫。一旦代碼庫中存在漏洞，這些虛擬機可能面臨被攻擊的風險。這意味著即使ZK-EVM想要保持完全的L1等效的，需要有某種形式的治理，把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的部分定製化提供了靈活性。 WEEX唯客交易所官網：www.weex.com
