Ethereum 開發者 Barry 公布 zkEVM 私有智能合約新進展：已支援用戶私有狀態，但尚未支援全域私有狀態

 Ethereum 開發者 barryWhiteHat 表示，隨著零知識證明虛擬機（zkEVM）的商業化，一個有趣的機會出現了：它可以在保持與 Ethereum Virtual Machine（EVM）兼容的同時，提供私有智能合約基礎設施。開發者可以編寫 Solidity 代碼，並通過特定版本的 Solidity 編譯器或某些後處理工具進行編譯，以創建私有智能合約。

圍繞私有全域狀態與隱私存在一些重要的權衡，其核心原因在於：要證明某件事，你必須知道你在證明什麼。因此，不可能存在你不了解其全域公共狀態的私有智能合約。同樣地，也不可能存在具有全域私有狀態的私有智能合約。例如，像 Uniswap 這樣的應用無法以私有形式實現，因為證明者需要知道兩個流動性池的餘額，才能證明交換交易被正確執行。

因此，一些知名且受歡迎的應用目前無法以私有形式實現，除非我們擁有輸入-輸出（IO）能力——這正是 IO 為何至關重要的原因。它讓我們能夠構建一個完全私有的 Ethereum，其信任假設與原生 Ethereum 完全一致。

然而，本文旨在探討如何通過將 pstore 和 pload 操作添加到 reth，將其編譯進零知識證明虛擬機（zkEVM），以實現私有智能合約——這些合約具有私有用戶狀態，但不具有私有全域狀態。