简析主要 Layer 2 DEX 优劣势：StarkNet、Loopring、ZKSwap 与 Unipig

近期以太坊上的高手续费和低TPS使以太坊上的Layer2扩容之争变成了焦点。本篇文章将以市场上既有的产品为基础，从技术方案角度出发，比较当下ZKSwap方案和其他扩容方案的异同之处。在具体的展开描述之前，也将简短的介绍下目前市场上的Layer2扩容技术的基本状况。

Layer2扩容技术概述

迄今为止，Layer2市场上已经是一片繁荣，技术上不断创新，各种产品也层出不穷。对于市场上的所有的产品，从技术角度上划分，可以大体分为三类：

状态通道：通过促进链下交易来减轻以太坊的负担，具有即时存取、高吞吐的特点，其弊端是设置通道浪费耗时，并且需要在通道中支付锁定资金，同时定时监测通道状态；

侧链技术：具有独立共识规则的独立区块链，与Layer1的共识不同步，这是它的弊端；

Rollup技术：可以看作是一个高级的非托管侧链技术，它将计算放在链下，交易数据以及最新世界状态放在链上，保证了链上数据可用性。

与其他的两种方案相比，Rollup无需提前锁定代币，也不用设置自己的共识规则；而且它还可以保持和Layer1同样等级的安全性，同时方案本身具有通用性。随着Layer2技术的持续发展，Rollup技术方案也变得多样化，根据交易数据存储的位置和使用的证明方法的不同，又可以将Rollup技术细分为以下四类：

Beosin：sDAO项目遭受攻击事件简析:金色财经报道，根据区块链安全审计公司Beosin旗下Beosin?EagleEye 安全风险监控、预警与阻断平台监测显示，BNB链上的sDAO项目遭受漏洞攻击，Beosin分析发现由于sDAO合约的业务逻辑错误导致，getReward函数是根据合约拥有的LP代币和用户添加的LP代币作为参数来计算的，计算的奖励与用户添加LP代币数量正相关，与合约拥有总LP代币数量负相关，但合约提供了一个withdrawTeam的方法，可以将合约拥有的BNB以及指定代币全部发送给合约指定地址，该函数任何人都可调用。而本次攻击者向其中添加了LP代币之后，调用withdrawTeam函数将LP代币全部发送给了指定地址，并立刻又向合约转了一个极小数量的LP代币，导致攻击者在随后调用getReward获取奖励的时候，使用的合约拥有总LP代币数量是一个极小的值，使得奖励异常放大。最终攻击者通过该漏洞获得的奖励兑换为13662枚BUSD离场。Beosin Trace追踪发现被盗金额仍在攻击者账户，将持续关注资金走向。[2022/11/21 7:53:09]

ZKRollup：Layer1Validityproofs，数据存储在链上，用零知识证明来保证状态转换的有效性；

慢雾：Harmony Horizon bridge遭攻击简析:据慢雾安全团队消息，Harmony Horizon bridge 遭到黑客攻击。经慢雾 MistTrack 分析，攻击者（0x0d0...D00）获利超 1 亿美元，包括 11 种 ERC20 代币、13,100 ETH、5,000 BNB 以及 640,000 BUSD，在以太坊链攻击者将大部分代币转移到两个新钱包地址，并将代币兑换为 ETH，接着将 ETH 均转回初始地址（0x0d0...D00），目前地址（0x0d0...D00）约 85,837 ETH 暂无转移，同时，攻击者在 BNB 链暂无资金转移操作。慢雾 MistTrack 将持续监控被盗资金的转移。[2022/6/24 1:28:30]

OptimisticRollup：Layer1Fraudproofs，数据存储在链上，在挑战期间，用欺诈证明来验证状态转换的有效性；

Validium：Layer2Validityproofs，数据存在链下，用零知识证明来保证状态转换的有效性，并设立「数据可用性委员会」来保证链下数据的可用性；

慢雾：DEUS Finance 二次被黑简析:据慢雾区情报，DEUS Finance DAO在4月28日遭受闪电贷攻击，慢雾安全团队以简讯的形式将攻击原理分享如下:

1.攻击者在攻击之前先往DeiLenderSolidex抵押了SolidexsAMM-USDC/DEI的LP。

2.在几个小时后攻击者先从多个池子闪电贷借出143200000USDC。

3.随后攻击者使用借来的USDC在BaseV1Pair进行了swap操作，兑换出了9547716.9个的DEI，由于DeiLenderSolidex中的getOnChainPrice函数是直接获取DEI-USDC交易对的代币余额进行LP价格计算。因此在此次Swap操作中将拉高getOnChainPrice函数获取的LP价格。

4.在进行Swap操作后，攻击者在DeiLenderSolidex合约中通过borrow函数进行借贷，由于borrow函数中用isSolvent进行借贷检查，而在isSolvent是使用了getOnChainPrice函数参与检查。但在步骤3中getOnChainPrice的结果已经被拉高了。导致攻击者超额借出更多的DEI。

5.最后着攻击者在把用借贷出来DEI兑换成USDC归还从几个池子借出来的USDC，获利离场。

针对该事件，慢雾安全团队给出以下防范建议：本次攻击的原因主要在于使用了不安全的预言机来计算LP价格，慢雾安全团队建议可以参考Alpha Finance关于获取公平LP价格的方法。[2022/4/28 2:37:18]

Plasma：Layer2Fraudproofs，数据存储在链下，用户提供欺诈证明来验证状态转换的有效性；

慢雾：Polkatrain 薅羊毛事故简析:据慢雾区消息，波卡生态IDO平台Polkatrain于今早发生事故，慢雾安全团队第一时间介入分析，并定位到了具体问题。本次出现问题的合约为Polkatrain项目的POLT_LBP合约，该合约有一个swap函数，并存在一个返佣机制，当用户通过swap函数购买PLOT代币的时候获得一定量的返佣，该笔返佣会通过合约里的_update函数调用transferFrom的形式转发送给用户。由于_update函数没有设置一个池子的最多的返佣数量，也未在返佣的时候判断总返佣金是否用完了，导致恶意的套利者可通过不断调用swap函数进行代币兑换来薅取合约的返佣奖励。慢雾安全团队提醒DApp项目方在设计AMM兑换机制的时候需充分考虑项目的业务场景及其经济模型，防止意外情况发生。[2021/4/5 19:46:39]

在实际的产品设计过程中，基于不同的业务场景，设计者往往需要在效率和安全性上做出权衡，要效率还是要绝对安全，每个产品设计时都有自己的侧重面。因此，也就有了上述的四种Rollup方案。现在市面上的大部分产品，按技术分类的话，应该大都属于上述四类，更准确的说，是属于前三类，第四类方案提出的最早，安全性考虑的较少。

Force DAO 代币增发漏洞简析:据慢雾区消息，DeFi 量化对冲基金 Force DAO 项目的 FORCE 代币被大量增发。经慢雾安全团队分析发现： 在用户进行 deposit 操纵时，Force DAO 会为用户铸造 xFORCE 代币，并通过 FORCE 代币合约的 transferFrom 函数将 FORCE 代币转入 ForceProfitSharing 合约中。但 FORCE 代币合约的 transferFrom 函数使用了 if-else 逻辑来检查用户的授权额度，当用户的授权额度不足时 transferFrom 函数返回 false，而 ForceProfitSharing 合约并未对其返回值进行检查。导致了 deposit 的逻辑正常执行，xFORCE 代币被顺利铸造给用户，但由于 transferFrom 函数执行失败 FORCE 代币并未被真正充值进 ForceProfitSharing 合约中。最终造成 FORCE 代币被非预期的大量铸造的问题。 此漏洞发生的主要原因在于 FORCE 代币的 transferFrom 函数使用了`假充值`写法，但外部合约在对其进行调用时并未严格的判断其返回值，最终导致这一惨剧的发生。慢雾安全团队建议在对接此类写法的代币时使用 require 对其返回值进行检查，以避免此问题的发生。[2021/4/4 19:45:30]

所以，ZKSwap团队推出的Layer2扩容方案Zkspeed同样也属于上述范畴。然而，作为Layer2赛道上的一个新星，Zkspeed方案与其他主流产品推出的Layer2方案相比会有什么样的技术优势呢？产品体验又有何异同呢？接下来，我们将选取市场上具有代表性的几个产品，从技术方案和实际体验效果上做一些简单的对比分析，来看看Zkspeed扩容方案是否优胜同时产品体验是否更好。

Layer2技术对比分析

根据我们的市场调研，我们选取了三个市场上具有代表性和前沿性的的产品，分别是StarkWare的StarkNet、Uniswap的unipig、Loopring的loopring。首先，我们先从技术方案的角度，来看一下Zkspeed和starkNet、Unipig、Loopring的区别，具体的如下表所示：

表1.Layer2扩容方案分析表。图片说明：crs对应需要多次可信设置的zkp算法；srs对应只需要一次可信设置的zkp算法

根据上述表格可以看出：

Loopring

使用的Layer2扩容方案是基于ZKRollup方案设计的，同时也支持Validium方案，即链上数据可用性是可以选择的。该方案使用的零知识证明算法是zksnark算法，需要第三方生成可信设置。

优点是：这种算法的proof大小是常量大小的；

缺点是：可信设置是不通用的，针对不同的交易类型，都需要单独进行可信设置。因此，为了提高证明傲率，每个区块里的交易类型要求为同一交易类型，导致了如果某种类型的交易较少，那它上链的速度就会很慢，因为要等待足够的交易才打包区块。不过，在Loopring发布的协议3.6版本里可以看到，已经取消了了区块里是相同类型的交易的限制，相信会有更好的交易体验。

StarkWare

StarkWare团队研发的Layer2扩容引擎starkEx，支持Validium方案和ZKRollup方案两种模式可选。状态更新的有效性由零知识证明来保证，其用到的零知识证明算法是zkstark算法。

优点是：与常用的zksnark算法不同，zkstark算法不需要第三方的可信设置，而且其算法本身不依赖数学难题假设，具有一定的抗量子性；

缺点是：proof的大小比其他的zkp算法要大的多，生成证明需要消耗大量的计算资源和存储空间。同时，StarkWare团队研发的Layer2扩容解决方案值得期待，一种以太坊上的基于STARK的去中心化无许可L2ZK-Rollup产品，并且支持基于Cairo语言的通用计算；具体内容可参考链接starkNet。

Uniswap

使用的Unipig扩容方案是基于OptimisticRollup设计的，如前图所示，改方案存在挑战期，即在挑战期间，用户可以提供欺诈证明来验证执行者的行为是否作恶。

优点是：该方案兼容EVM，并且交易数据存在链上，保证了安全性；

缺点是：由于存在潜在的欺诈性证明，链上事务处理的时机会延缓；挑战成本昂贵，导致挑战模式基本上算是形同虚设。

ZKSwap

推出的Zkspeed扩容方案兼顾了ZKRollup、Validium和OptimisticRollup方案的特点。即实现所有与Layer1交互的交易数据全部上链，把单纯Layer2的交易数据存放在链下(Validium)，交易hash数据上链，同时ZKSpeed也会提供一个完全上链的版本，这样可以实现更高的安全性，并提供零知识证明保证状态转换的有效性。

ZKSwap采用自己研发的Zkspeed与其他三个扩容方案的差异：

Zkspeed方案采用PLONK零知识证明算法，所有交易类型共用一套可信设置，如此就无需按照交易类型进行区块打包；

Zkspeed方案采用了GPU实现版的PLONK算法，相比于普通的CPU实现版本运行速度上提升了3倍以上，再加上顶尖的硬件设备，使得证明的生成时间大大缩短，大幅提高了系统的吞吐量；

ZKSwap团队经过反复研究论证，在Zkspeed方案上探索性的采用了聚合证明方案，并首先应用到AMM的DEX领域，把多个区块的证明聚合成一个证明，使得链上一次就可以完成多个区块的验证，大大的降低了交易的平均成本。

聚合证明的技术原理如下图所示：

图2.Aggregation方案

在Rollup方案里，一个很明显的技术特点就是交易的批量处理，即对区块里的所有交易的有效性产生一个证明，然后链上主合约完成证明的有效性验证。如图2左侧所示，这和原始的单个交易处理力度相比，已经有了巨大的吞吐率的提升和交易成本的降低。然而，ZKSwap团队发现，受限于零知识证明算法椭圆曲线参数的选取，一个区块内能批量处理的交易数量是有限的，再加上链上一次验证计算的成本高达50WGas，导致每笔交易的成本并没有低到预期。因此，ZKSwap技术团队持续进行技术应用创新的突破，并最终关注到了聚合证明方案。

如上图右侧所示，聚合证明的思想很简单，可简单表述为：把每个区块的proof当作输入，把链上验证的过程当作证明电路，证明链上的验证过程是正确的，由于验证的形式就是一个双线性配对，因此，多个proof可以进行线性组合，然后利用一次双线性配对完成所有proof的有效性验证。这样一来，多个证明的验证过程由多次变成1次，验证成本大幅降低，成本降低的幅度取决于区块聚合度，目前Zkspeed方案支持聚合上链的交易笔数可根据实际情况进行调配，20、10、5笔均支持。同时，为了探索进一步降低交易成本的可能性，ZKSwap团队追求精益求精，继续对上链数据进行聚合提交，即，多个区块一次提交，节省了一些固定成本，进一步压缩交易成本，最终实现一笔交易的成本消耗最低至1400Gas，远低于行业其他产品。

展望

遗憾的是，目前ZKSwap的方案还不兼容EVM，ZKSwap团队的愿景是构建一个支持通用EVM的Rollup扩容解决方案，使得其他应用无需重新编写智能合约就能实现快速迁移，目前ZKSwap团队已经投入研究，并取得了一些进展。除此之外，starkWare和MatterLabs分别开发了starkNet和zinc的Layer2扩容解决方案，需要用对应新设计的DSL语言来编写证明逻辑，虽然此方案不算完美，但也算是一个阶段性的研发成果。未来ZKSwap团队愿和其他团队一起，共同致力于以太坊的Layer2扩容建设。

撰文：江小白

标签：ZKSLAYERSWAPORCzkswap币最新消息Shine Layer 2YodeSwapTORC

币安下载热门资讯