以太坊開發者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

