zkRollup 改进提案:无需 tx 历史数据,以实现效率和隐私提升
虽然能提升效率和隐私性,但用户在将资金退出到 L1 时,需进行客户端额外的计算,并且难以兼容 EVM。
撰文:Leona Hioki 编译:隔夜的粥
长话短说
本文介绍了一种无需来自运营方 tx 历史数据的 zkRollup,这具有在 L1 上使用 txcalldata 的 gas 效率,并且还具有智能合约执行及资产隐私的特性。每个 batch 只需要在 txcalldata 中记录一个状态改变的所有者的账户列表。
缺点是每个用户在将资金退出到 L1 时,需进行客户端 zkp 计算,而另一个缺点是在 EVM 兼容性方面带来困难。
背景和动机
对于 Rollup 的运营商和交易者而言,他们在使用 txcalldata 时仍然会产生消耗。这种限制仅仅是因为需要恢复作为交易结果的状态,以免用户无法生成其资金的 Merkle 证明。Rollup 的大部分规范要求运营商将所有交易历史数据转储到 L1 上的 txcalldata。
交易历史数据的这种透明度,不仅增加了 txcalldata 的 gas 成本,而且还破坏了交易的隐私。
据推测,交易历史数据的累加器,既解决了效率问题,也解决了隐私问题。
方法
简而言之,在第一步中,我们构造了一个 zkRollup,其中运营商将最终状态差异直接写入 txcalldata。交易历史数据将在一个 zkp 电路的隐私输入中。
第二步,我们通过分离常用存储和用户状态存储从 txcalldata 中删除最终状态差异。这使用户可以使用非包含证明(如 Plasma Prime 的状态版本)退出。用户保留其用户存储并仅公开其 Merkle 根。用户可以用 zkp 证明根转换,并且可以更新智能合约的常用存储。
详细步骤如下:
第一步,zkRollup 中 txcalldata 使用选项
使用 txcalldata 恢复完整状态有两种选择。
选项 1:将所有交易历史数据记录到 txcalldata。
选项 2:记录由于区块(批处理)中的交易而导致的最终状态的差异。
在选项 2 中,由于 txcalldata 中没有要记录的内容,数以百万计具有相同结果的交易使用 0 gas 进行 txcalldata 使用。Merkle 根转换的可靠性由 zkp 保证。
而采用“选项 2”是第一步。
第二步,优化“选项 2”
当批次 / 区块中的交易更改合约中的相同存储值时,上述选项 2 会花费更少的 gas。这种共享和更改的值就像 ERC20 的总供应量、swap 协议的总资产池量等。
而且这种存储值也会影响到所有资产持有者,这种数据的丢失会导致 zkRollup 的活性损失。另一方面,其他不常共享和更改的数据大多是个人资产数据。这类数据的丢失,直接意味着资产持有者损失了资金。这种风险是分开的,不会影响到对方的资金。
然后分离用户的状态,并提供其状态的用户数据及其证明作为运营商对其交易的收据,从而降低了大量 gas 成本。
-
交易者向运营方发送交易;
-
运营商将其用户状态的 merle 证明作为交易的收据;
-
交易者签署这个收据;
-
电路中只接收带有签名收据的交易数据;
如果一个用户进行了交易,并且多个用户的余额发生了变化,并且他们知道自己的状态,包括这些余额和 Merkle 证明,那么他们中的任何一个都可以随时通过 zkp 退出其资金。
这证明这是其余额的最后一个状态,可以通过每个批次的更改状态所有者的每个帐户列表的不包含证明来确定。更改状态所有者的帐户列表的稀疏 Merkle 树可用于有效证明。
有两种方法可以让更改状态的所有者知道他们最近的更改。
如果他们在线,运营商发送最后一个差异,接收签名的差异,并将其放入 zkp 电路的输入,这样的 gas 成本是最低的。
如果他们不在线,运营商会将其发布到 txcalldata 或链下去中心化存储。
通过这种状态分离,运营商不再需要将最终状态的任何差异都放在 txcalldata 中,因为用户的帐户状态对于退出来说足够安全,而丢失共同共享的数据,只是意味着运营商无法更新 zkRollup 的 Merkle 根,他们将简单地停止服务。然后,公共共享存储和用户存储都可以在链外分发。每批只需要在 txcalldata 中记录一个状态改变的所有者的账户列表。
第三步,隐私智能合约执行
用户的交易不在链上,但运营商仍然可以看到并需要看到用户状态(包括余额),以进行 zkp 证明。
如果用户在其一边进行 zkp 以证明其用户状态的 Merkle 根和公共共享存储的转换,则运营商只需更改该 Merkle 根和存储,余额的秘密仍然存在。
-
用户向运营商发送交易;
-
运营商返回余额和更新后的公共共享存储的差异;
-
用户对更新后的用户状态和公共共享存储的 Merkle 根进行 zkp 证明;
制作每个批次(区块)的运营商可通过更改批次中共享存储的变化知道余额差异,但其无法知道其他批次的余额差异,因为运营商之间只共享最终差异。这具有混合级别的隐私。
这种机制需要用到递归 zk。
更详细的讨论
在链下与离线状态改变者通信
这只是一种选择。该协议可以在没有这部分的情况下构建。
即使在最坏的情况下,状态更改器处于离线状态,这种情况下的数据可用性风险也非常有限。
离线用户可以在其在线时获取数据以安全退出,其可以设置代理而不是自己接收数据。
并且我们可以构造退出方法,以便上次状态更新不会因为数据可用性问题而使之前的状态变得危险。
典型的去中心化存储结构如下所示:
-
提交哈希(存储)
-
证明 preimage(hash(storage)) = preimage(hash(storage, last-Ethereum-block-header)) – last-Ethereum-block-header
-
继续观察有多少节点可以完成(2)
账户链上 gas 费用
每个帐户都可以获得一个比地址本身短得多的 ID。
每个 batch 只需要一个账户列表,这样就可以省略重复项,这比 txcalldata 中使用的交易历史要高效得多。
公共共享存储的进一步优化
在以太坊 L1 上,你无法擦除 txcalldata。我们可以修改它,因为公共共享存储不需要在链上。
与交易历史数据不同,我们只需要最后的状态数据,不需要任何之前的状态。然后运营商可以放弃之前在网络中共享的“最终状态数据”。
运营商可以通过 zkp 逻辑知道可以丢弃的数据。
结论
分离用户状态使得 zkRollup 智能合约执行既高效又隐私,几乎所有的 txcalldata 成本都从 zkRollup 中移除了。
感谢 Alex Gluchowski (zkSync)以及 Barry Whitehat 提供的意见和看法。
比推快讯
更多 >>- QCP Capital:经济增长放缓和通胀持续升温的滞胀组合进一步削弱美联储降息可能性
- Peter Brandt:比特币或已见顶,可能回落至3万美元
- Aboard Exchange宣布完成最新升级
- ETH跌破3200美元
- 香港虚拟银行Mox:拟透过Mox Invest证券交易平台向客户提供虚拟资产ETF
- Wintermute将15,000枚ETH转入Coinbase
- FTX债权人Sunil:新CEO接管时未提及FTX拥有5500万枚SOL,将反对S&C所有计划
- 美众议员French Hill:如果稳定币立法与大麻银行法案相结合,将投票支持该法案
- 2个巨鲸地址交易BRETT获利约314万美元,收益达30830倍
- 慢雾:警惕恶意攻击者利用WordPress插件漏洞发起的水坑攻击
- 毕马威:自托管机构投资者可通过香港ETF持有虚拟资产,无需事先兑换为法币
- 中国台湾检方建议对ACE交易所诈骗案4名主要嫌疑人判处20年有期徒刑
- 香港交易所:收纳博时HashKey、华夏、嘉实比特币及以太币ETF为中央结算系统多柜台合资格证券
- 知情人士:惠理提交虚拟货币现货ETF申请后又主动退出
- 1亿枚 USDT 从 Tether Treasury 转移到 Bitfinex
- Optimism已修复其测试网的两个关键漏洞
- Arkham:与 Wisdomtree WBIT相关的钱包持有8900枚BTC,价值约 5.79 亿美元
- 纳指止步4周连跌,创去年11月以来最大单周涨幅
- DAI 单日链上转账金额达到 860 亿美元,创下历史新高
- 以太坊 Rollup 协议 Zircuit 拟于夏季启动主网,总锁仓价值已达25亿美元
- 美参议员警告用于交易儿童性虐待材料的加密活动有所增加
- 加密银行 Custodia Bank 就其美联储成员资格败诉一案提出上诉
- Yuga Labs裁员,专注于建立“更小、更灵活的加密原生团队”
- NFTfi基金会:NFTFI空投申领门户将从 4 月 30 日开放至 6 月 10 日
- dYdX Chain累计交易量突破1200亿美元
- Phoenix Wallet将从美国应用商店下架,Jack Dorsey称“感觉完全没有必要”
- 零知识 (ZK) 协议 Hinkal 完成140 万美元战略融资,估值 7000 万美元
- 姆爷Eminem取代马特·达蒙成为 Crypto.com 最新明星代言人
比推专栏
更多 >>观点
项目
比推热门文章
- 揭秘新骗局:恶意修改 RPC 节点链接骗取资产
- Theta Network :一个基于区块链的去中心化视频传输网络
- 加密悲歌:金钱换不来权力,世界是一个养套杀的草台班子
- 传奇 Meme 币猎手 James:用 7000 美元赚 2500 万美元,如今喊单效应失灵
- BTC将达21万美元?价格模型指标暗示了什么?
- 吴说播客:Faust 谈 Runes Merlin 和 RGB++ 比特币生态更自由
- 一种估算比特币泡沫大小的科学方法
- QCP Capital:经济增长放缓和通胀持续升温的滞胀组合进一步削弱美联储降息可能性
- Peter Brandt:比特币或已见顶,可能回落至3万美元
- Aboard Exchange宣布完成最新升级