长话短说 本文介绍了一种无需来自运营方 tx 历史数据的 zkRollup,这具有在 L1 上使用 txcalldata 的 gas 效率,并且还具有智能合约执行及资产隐私的特性。每个 batch 只需要在 txcalldata 中记录一个状态改变的所有者的账户列表。 缺点是每个用户在将资金退出到 L1 时,需进行客户端 zkp 计算,而另一个缺点是在 EVM 兼容性方面带来困难。背景和动机对于 Rollup 的运营商和交易者而言,他们在使用 txcalldata 时仍然会产生消耗。这种限制仅仅是因为需要恢复作为交易结果的状态,以免用户无法生成其资金的 Merkle 证明。Rollup 的大部分规范要求运营商将所有交易历史数据转储到 L1 上的 txcalldata。 交易历史数据的这种透明度,不仅增加了 txcalldata 的 gas 成本,而且还破坏了交易的隐私。 据推测,交易历史数据的累加器,既解决了效率问题,也解决了隐私问题。方法简而言之,在第一步中,我们构造了一个 zkRollup,其中运营商将最终状态差异直接写入 txcalldata。交易历史数据将在一个 zkp ...