以太坊開發者barry發布zkEVM私有智能合約新進展:支持私有用戶狀態,但不具備私有全局狀態

金色財經報道,以太坊開發者barryWhiteHat發文稱,隨着零知識證明虛擬機(zkEVM)的商品化,出現了一個有趣的機遇:既能提供私有智能合約基礎設施,又能保持與以太坊虛擬機(EVM)的兼容性。開發者可以編寫 Solidity 代碼,並通過特定版本的 Solidity 編譯器或一些後處理工具進行編譯,從而創建私有智能合約。 圍繞私有全局狀態與隱私存在一些重要的權衡,其核心原因在於:要進行證明,就必須知道自己要證明的內容。因此,無法存在這樣一種私有智能合約 —— 它擁有你並不知曉的全局公開狀態。由此可推,也無法存在帶有全局私有狀態的私有智能合約。例如,Uniswap這樣的應用就無法以私有形式實現,因爲證明者需要知曉兩個資金池的餘額,才能證明一筆 swap(交易)的執行是正確的。 因此,一些我們熟知且青睞的應用,目前無法以私有形式實現,除非我們擁有輸入輸出(IO)功能 —— 這正是 IO 至關重要的原因。它能讓我們構建一個完全私有的以太坊,且其信任假設與原生以太坊完全一致。 不過,本文旨在探討如何通過在 reth 中添加 pstore 和 pload 這兩個操作碼,將其編譯到零知識證明虛擬機(zkEVM)中,從而實現一種私有智能合約 —— 這類合約擁有私有用戶狀態,但不具備私有全局狀態。

ETH-4.94%
UNI-7.31%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 留言
  • 轉發
  • 分享
相關話題
#
以太坊
#
ETH
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate App
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)