ZK rollups 的技术复杂度高于 Arbitrum 或 Optimistic，需要更高的链下计算成本，但每笔交易的链上 gas 成本更低，提款时间短，才约 4h。在今年ZK Rollups能够支持智能合约的EVM后，其很有可能成为最好的Rollups技术方案。Loopring、StarkWare、Matter Labs ZKSync 和 Aztec 2.0 都在应用 ZK 技术。

　　ZK rollup从L2提款到L1的桥接方案是：用户从L2发起提款，在将交易数据编码为字符串后签名并发送交易至L1，交易进入到L1上的zkSync智能合约中，经过提现期限后，证明该区块正确的ZK证明生成并发布到L1上并完成验证，这笔提现就完成了。

　　Arbitrum, Optimistic和欺诈证明

　　欺诈证明rollups会跟踪其整个状态根历史和每个批次的哈希值。如果有人发现一个批次的后状态根不正确，他们可以发布一个证明到链，证明该批次的计算不正确。合约验证了该证明，并恢复该批次及其后的所有批次。Optimistic rollups的复杂度低于 ZK rollups，链下计算成本更低，更容易支持智能合约。但是需要1周左右的提款时间给提交欺诈证明的人足够的时间，并且链上每笔交易的gas费用会更高。

　　Arbitrum和Optimistic采用了同样的可供开发者选用的桥方案支持用户把资产从L1转移到L2（需要注意的是，这个方案主要解决资产从L1到L2，而非从L2到L1或从L2到L2）：

• 　　将资产从L1转到L2：先将资产存入L1的Arbitrum桥合约中，之后会在L2上铸造出数量相同的资产并转入指定地址。

• 　　将资产从L2转到L1：将资产在L2上销毁，随后在L1的桥合约中等量资产变为可用，但是这个过程需要有提款时间用于欺诈证明。

　　Arbitrum与Optimistic不同在于解决分歧的方式，当验证者向L1提交了被认为不正确的区块时，解决方案：

• 　　Optimistic采用单轮交互解决方式：需要完整写入链上数据，解决争议时长短也不会面临延迟攻击的问题。

• 　　Arbitrum通过多伦互动协议解决争议：向链上写入的数据更少，可以处理突破以太坊gas限制的合约降低了链上成本，但也增加了解决争议的时长，并可能面临延迟攻击。

　　Arbitrum对EVM的兼容性会比Optimistic更友好，开发者将L1上的用Solidity语言开发的智能合约迁移到Arbitrum上无需重写程序，同时Arbitrum用ETH作为gas也降低了用户的使用门槛。

　　Polygon的Layer 2聚合SDK

　　Polygon作为Layer2的聚合SDK，支持开发者快速便捷开发L2的区块链。整体设计方案简单理解大致是将Polkadot，Cosmos的机制通过Plasma技术嫁接到了ETH上，开发者基于Polygon开发合约就可以像在侧链上开发那么简单了。除此之外，Polygon还在聚合更多选项，如ZK rollups，Optimistic和侧链。 (责任编辑：admin)