以太坊开发者barry发布zkEVM私有智能合约新进展:支持私有用户状态,但不具备私有全局状态

金色财经报道,以太坊开发者barryWhiteHat发文称,随着零知识证明虚拟机(zkEVM)的商品化,出现了一个有趣的机遇:既能提供私有智能合约基础设施,又能保持与以太坊虚拟机(EVM)的兼容性。开发者可以编写 Solidity 代码,并通过特定版本的 Solidity 编译器或一些后处理工具进行编译,从而创建私有智能合约。 围绕私有全局状态与隐私存在一些重要的权衡,其核心原因在于:要进行证明,就必须知道自己要证明的内容。因此,无法存在这样一种私有智能合约 —— 它拥有你并不知晓的全局公开状态。由此可推,也无法存在带有全局私有状态的私有智能合约。例如,Uniswap这样的应用就无法以私有形式实现,因为证明者需要知晓两个资金池的余额,才能证明一笔 swap(交易)的执行是正确的。 因此,一些我们熟知且青睐的应用,目前无法以私有形式实现,除非我们拥有输入输出(IO)功能 —— 这正是 IO 至关重要的原因。它能让我们构建一个完全私有的以太坊,且其信任假设与原生以太坊完全一致。 不过,本文旨在探讨如何通过在 reth 中添加 pstore 和 pload 这两个操作码,将其编译到零知识证明虚拟机(zkEVM)中,从而实现一种私有智能合约 —— 这类合约拥有私有用户状态,但不具备私有全局状态。

ETH-4.83%
UNI-6.33%
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 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)