以太坊開發者barry發布zkEVM私有智能合約新進展：支持私有用戶狀態，但不具備私有全局狀態
發布時間：2025-10-22 11:37 作者：清風不語
【以太坊開發者barry發布zkEVM私有智能合約新進展：支持私有用戶狀態，但不具備私有全局狀態】八六軟件園報道，以太坊開發者barryWhiteHat發文稱，隨著零知識證明虛擬機（zkEVM）的商品化，出現了一個有趣的機遇：既能提供私有智能合約基礎設施，又能保持與以太坊虛擬機（EVM）的兼容性。開發者可以編寫 Solidity 代碼，并通過特定版本的 Solidity 編譯器或一些后處理工具進行編譯，從而創建私有智能合約。
圍繞私有全局狀態與隱私存在一些重要的權衡，其核心原因在于：要進行證明，就必須知道自己要證明的內容。因此，無法存在這樣一種私有智能合約 —— 它擁有你并不知曉的全局公開狀態。由此可推，也無法存在帶有全局私有狀態的私有智能合約。例如，Uniswap這樣的應用就無法以私有形式實現，因為證明者需要知曉兩個資金池的余額，才能證明一筆 swap（交易）的執行是正確的。
因此，一些我們熟知且青睞的應用，目前無法以私有形式實現，除非我們擁有輸入輸出（IO）功能 —— 這正是 IO 至關重要的原因。它能讓我們構建一個完全私有的以太坊，且其信任假設與原生以太坊完全一致。
不過，本文旨在探討如何通過在 reth 中添加 pstore 和 pload 這兩個操作碼，將其編譯到零知識證明虛擬機（zkEVM）中，從而實現一種私有智能合約 —— 這類合約擁有私有用戶狀態，但不具備私有全局狀態。
本分分類： 7*24快訊
版權聲明：本文由八六軟件園用戶發布，不代表八六軟件園立場，轉載聯系作者并注明出處：http://m.ilovecl.com/post/45580.html
