四大 Layer 2 - Optimistic, Arbitrum, zkSync, StarkNet 分析与比较

Optimism 是一个快速、稳定、可扩展和低成本的以太坊 Layer 2 区块链。它在以太坊区块链(Layer1)之上运行,以帮助缓解拥塞,进而降低交易成本和处理时间。Optimism 采用 Optimism Rollups 技术,可以将大量交易数据“汇总”成以太坊上的一批数据,从而收取一笔交易费用。这样,交易的处理速度更快、成本更低,同时依赖于以太坊的安全性。

Arbitrum 是以太坊的 Layer2,采用 Optimistic rollup 方案,将合约的计算与存储从主链移出,有助于降低成本,显著提高合约的性能和可扩展性,对合约的调用以及产生的操作都会作为 calldata 记录在链上。但执行和存储会在链外进行,可以达到 40000 TPS,减少了网络堵车的问题,提高交易速度。

zkSync 是建立于 ZK-rollup 架构上的 Layer2 解决方案,链上资产和智能合约都在主链持有,而计算和存储则是在链下执行。对于每一个 Rollup 区块都会生成状态转换为零知识证明,再由主链合约进行验证,并且是第一个兼容 EVM 的 ZK-rollup。zkSync 1.0 聚焦在支付功能,转账手续费低,且可用转账币种支付,转账确认快,提款到 L1 的速度快但不能兼容 EVM 所以其可用性也受到限制。zkSync 2.0 重新编译 EVM 编码,并用零知识证明校验 Rollup 交易,目前 zkSync 2.0 正在构建基础设施和进行生态整合。

StarkNet 是一个运行在以太坊上的无需许可的去中心化 Validity-Rollup(也称“ZK-Rollup”),它作为以太坊上的 L2 网络运行。它允许任何 dApp 实现无限规模的计算,而不影响以太坊的可组合性和安全性,这要归功于其安全且且可扩展性更强的加密证明系统 —— STARK。StarkNet 使用 Cairo 语言编译,它是以太坊上第一个生产级的图灵完备的冯诺依曼验证器。Cairo 和 STARK 都是由 StarkWare 自行开发的,并为团队所有的生产级应用提供动力。zkSync 和 StarkNet 最大的差别是它们使用了不同的验证协议,分别为 SNARK 和 STARK。StarkNet 为 StarkWare 旗下开发的项目,除此之外,StarkWare 旗下还有 StarkEx。StarkWare 的主要目的是扩展以太坊并解决它的困境。 综合比较:

Optimistic Rollup和Arbitrum都采用了Optimistic rollup方案,可以提高交易速度和降低成本。 zkSync采用ZK-rollup架构,具有较高的安全性和可扩展性。 StarkNet是一个无需许可的去中心化Validity-Rollup,使用STARK验证协议,可以实现无限规模的计算。