相关项目：zkSync

　　zkSync 并非单一的 zkRollup 架构，而是采用 zkRollup + zkPorter 架构（zkSync 2.0 版本），可以支撑更高的吞吐量，并构建了 zkEVM，zkEVM 支持 Solidity 智能合约，与以太坊 EVM 兼容，开发者可以在 zkEVM 上构建应用，或迁移以太坊主链上的应用至 zkSync 2.0。目前 zkSync 2.0 已经上线测试网。

　　具体而言，zkSync 2.0 的 Merkle 树架构如下图所示，分为 zkRollup 和 zkPorter 两个分支，两者有各自的 Merkle 根，并在各自的叶子节点上产生了两种账户：zkRollup 账户和 zkPorter 账户。用户在 zkSync 2.0 可以享受 zkRollup 和 zkPorter 账户的混合体验，能够自由选择账户类型，且两者是完全可互操作的。

　　zkRollup 和 zkPorter 的区别在于数据可用性的实现方式上。

　　依据上文对 zkRollup 原理的描述，zkSync 2.0 的 zkRollup 为了保证数据可用性，会将所有链下的交易数据进行压缩并发布到以太坊主链。这样的优点是可以达到和主链相同的安全性，但缺点在于，以太坊主链的区块大小是有上限的，即使是通过压缩，其吞吐量也可能无法满足未来的需求。

　　zkPorter 相当于额外建立了一个渠道为链下交易提供数据可用性。zkPorter 账户的交易数据会发布到 zkPorter，zkPorter 由 zkSync 代币持有者通过权益证明（质押代币）来保障安全性。这样的优点在于能够实现更高的吞吐量，但无法达到 zkRollup 的媲美主链的安全性。

• 　　方案 3.2 · Optimistic Rollup

　　Optimistic 的字面含义是「乐观」，Optimistic Rollup 和 zkRollup 在理念上的区别也在于此。

　　zkRollup 的理念凸显「悲观」，默认所有的操作者都会作恶，于是要求每个操作者在发起批处理时都要同时提交有效性证明，以让智能合约验证其操作是有效的。

　　Optimistic Rollup 的理念偏向「乐观」，其假设所有操作者提交的批处理都是有效的，智能合约无需对其进行检验，而是设定一个类似于 Plasma 的挑战期，在此期间如果有人发现操作者存在伪造/篡改交易等作恶情况，可以对其发起挑战，挑战成功则会回滚错误的区块，并对相关操作者进行惩罚（扣除保证金）。Optimistic Rollup 的本质是欺诈证明，让各参与方互相监督，通过惩罚机制来提高作弊成本。

　　Optimistic Rollup 相比 zkRollup，优点在于技术复杂度更低，对通用性智能合约的实现更加友好（Optimistic Rollup 项目还推出了兼容以太坊 EVM 的虚拟机 OVM）。Optimistic Rollup 的缺点主要在于和 Plasma 类似的挑战期设定，资金的提取需要等待长达 7 天的挑战期结束，这在欺诈证明机制下是无法避免的。