L2Beat的数据显示，zkSync网络锁仓的加密资产总额已超过1.4亿美元，7日内增幅为38%。zkSync是基于ZKRollup扩容方案实现的以太坊Layer2网络，目前，它的TVL增幅在众多Layer2网络中排名第一，这说明越来越多资金和用户正在体验zkSync网络及其应用。
以太坊主网在正式升级为2.0之前，解决链上拥堵的方式之一是构建一个可以在链外执行大部分活动的2层网络，以缓解对主网的计算及存储压力，增加以太坊的可扩展性。
在各种构件Layer2网络的技术中，Rollup逐渐被认为是最优解，因为它能将智能合约的实际计算和存储在链下完成，并将交易数据通过一系列压缩技巧批量提交并保存在以太坊主网上，无需单一数据一一验证。如此一来，layer2网络的安全性不但能由以太坊主网保障，且不破坏网络的去中心化，还能增加网络的可扩展性和效率。更重要的是，Rollup可以让以太坊主网的应用程序便捷地迁移至Layer2。
利用Rollup技术实现Layer2网络的构建，又因密码学的验证算法不同而形成了多种路径，OptimisticRollup、ZKRollup、ArbitrumRollup成为主流方案。目前，应用各种方案的Layer2网络均有所建树，各个流派分别在研发和实践中发展。
其中，ZKRollup是利用「零知识证明」验证方式来落实Rollup的扩容方案，被以太坊创始人VitalikButerin视作Layer2的终极之选。
zkSync网络近期的TVL激增进一步验证了ZKRollup的可行性，尤其是今年2月zkSync上线了2.0版本的公共测试网络以来，支撑它的ZKRollup扩容技术方案也越来越受区块链技术社区关注。
BingX宣布集成zkSync Era以支持在线加密存款和取款:金色财经报道，新加坡加密货币交易所BingX宣布集成zkSync Era以支持在线加密存款和取款。[2023/5/12 15:00:03]
那么，ZKRollup扩容方案究竟是什么？与OptimisticRollup、ArbitrumRollup有何区别？除了zkSync2.0，还有哪些网络使用了ZKRollup技术？本期DeFi蜂窝将一一解答。
ZKRollup方案概况
简介
ZKRollup是基于「零知识证明」验证方式落实Rollup技术的layer2解决方案，「ZK」正是「ZeroKnowledge」的字母简称，该方案起源于2018年下半年，最早由区块链技术研究员BarryWhitehat提出。
保留了Rollup技术的原理，ZKRollup可以在链下完成复杂计算，生成证明，传输回主网进行证明校验，并存储部分数据来保证数据可用性,且共享主网的安全性。
ZKRollup的特点正是那个「ZK」部分，「零知识证明」算法能让证明者在不向验证者提供任何有用信息的情况下，使验证者相信某个结果的正确性。
举个例子，A要向B证明自己拥有某个房间的钥匙，假设该房间只能用钥匙开锁，而其他任何方法都打不开。这时有2个方法：要么，A把钥匙出示给B，B用这把钥匙打开房间的锁，从而证明A拥有该房间的正确钥匙；或者B确定该房间内有某一物体，A用自己拥有的钥匙打开房门，然后把物体拿出来出示给B，从而证明自己确实拥有该房间的钥匙。
Nansen新增支持zkSync Era网络:金色财经报道，区块链数据分析平台Nansen新增支持zkSync Era网络，并将添加zkSync Era上的SyncSwap、Mute和SpaceFi等协议。[2023/4/27 14:29:57]
后面的方法就类似于零知识证明。它的优点在于，在整个证明的过程中，B始终不能看到钥匙的样子，从而避免了钥匙的泄露。
「零知识证明」对于强调隐私性的区块链来说是重要的技术手段，比特币网络就是应用之一。除了隐私性，技术研究人员也开始将其应用在提升区块链的性能方面，ZKRollup就是其一，它主张，若某个区块需要大量数据验证才能完成打包、开启下一个区块，不妨由一人验证并生成证明，而其他人来验证这个证明无误即可，这样就避免了每个人都要花很长时间来验证一个证明，从而提高数据验证的效率。
在ZKRollup方案下，Layer2网络上的多个交易数据打包之后，会创建一个链下计算的「零知识证明」结果，主网验证者可以快速检查此证明是否正确。而且，正因为Layer2到Layer1的交易数据能即时验证，因此，它也能实现Layer2资产转移到Layer1时可以即时结算。
ZKRollup与其他Rollup方案的区别
ZKRollup是利用Rollup技术构建以太坊Layer2网络的一种实现方式，另一个主要是OptimisticRollup，二者的区别主要在于使用的验证算法不同。
OptimisticRollup使用了「欺诈证明」验证算法，它的前提是验证者要在Layer2网络上质押一定数量ETH「押金」，作为「不撒谎」的背书，如此前提下，它假设Layer2网络的交易均有效，提交到layer1(以太坊主网)的数据都正确，如果有人对任何一笔交易提出异议，这个时候，数据才需要在以太坊主网上进行一一验证，哪个验证者提交的数据有问题，就会被网络判定为欺诈，那么这个验证人的押金被没收。
zkSync：EIP-4337为避免硬分叉做出妥协:金色财经报道，zkSync在社交媒体发文解释了EIP-4337和zkSync Era对原生账户抽象之间的区别，zkSync表示为了避免硬分叉，EIP-4337做出一些妥协，比如外部拥有账户 (EOA)和账户抽象 (AA)单独的交易流、单独的内存池、单独的验证器/捆绑器角色、外部拥有账户不能使用Paymasters，而zkSync通过在协议级别集成账户抽象对EIP-4337进行了改进，上述功能均可实现。[2023/3/30 13:33:53]
在这样的验证算法原理下，当Layer2上汇总的每批交易提交到Layer1时，会有一个7天的异议提交周期。这也造成用户从OptimisticRollup方案下的网络中提取或退出加密资产时，增加了一个7天的等待期。
这不但造成了OptimisticRollup相关网络的体验不友好，更麻烦的是，一旦出现异议数据，所有交易数据都要在主网上重新验证，反而增加了主网负担。
于是，针对这个痛点，ArbitrumRollup在OptimisticRollup上进行了改善，它主张把异议部分先进行划块处理，找出争议最大的部分，以太坊主网只对争议部分进行验证，以此缓解主网的验证负担。
除此之外，ArbitrumRollup的进步还在于实现了与EVM的兼容，这就使得应用该技术的layer2网络可以承载以太坊主网上的应用无缝迁移，于是，不少DeFi应用选择部署「Arbitrum版」。相较之下，OptimisticRollup扩容方案还没有做到100%兼容EVM。
ImToken将支持MatterLabs扩容方案zkSync:3月29日消息，去中心化钱包imToken宣布与以太坊扩容团队MatterLabs达成深度合作，将支持其Rollup方案zkSync。除了在钱包产品中原生支持zkSync之外，imToken在DApp浏览器中开放Layer2专区，上架优质Layer2DApp提供给用户，还支持了自定义节点功能以及EIP-3085，大幅提升了imToken对Layer2项目的兼容性，即便没有原生支持，只要手动配置节点就可进行支持。[2021/3/29 19:25:54]
可见，ArbitrumRollup方案算是OptimisticRollup的「改进版」。尽管如此，资金从ArbitrumRollup相关网络的退出时还是需要一个等待期，这个痛点还有待改善。
而在与EVM的兼容方面，ZKRollup也此前一直难有突破。以太坊创始人VitalikButerin曾在公开演讲中表示，ZKRollup由于底层技术较为复杂，想要做到完全兼容以太坊虚拟机可能需要几年时间，短期内，OptimisticRollup是以太坊扩容方案的可行之选，但长期而言会更倾向于ZKRollup。
V神这么一点评，ZKRollup被认为是以太坊扩容方案的「圣杯」。
令人意外的是，ZKRollup兼容EVM的开发进度比预期快了许多。今年2月份，使用ZKRollup方案的zkSync2.0公测网上线，它兼容了EVM。这意味着，在不久的将来，ZKRollup方案不再被束之高阁，基于它的网络将迎来应用的迁移。
ZKSwap回应Matter Labs质疑：用户资金安全，智能合约和电路代码将开源:关于Matter Labs提到的一些疑问，ZKSwap作出如下回复：
1. ZKSwap在ZKSync Layer2转账的基础上完整实现了Layer2 AMM Swap电路，并实现了数项改进；
2. ZKSwap上用户的资金安全是得到保障的，智能合约和电路部分的代码已经获得了慢雾，Certik和ABDK三家权威安全审计机构的审计认证，审计报告已公开在项目github仓库中接受社区监督；
3. ZKSwap所有智能合约和电路的代码都将完全开源，其中，智能合约部分已经完全审计完成，将会在2021年3月1日开源；电路部分ABDK还在进行最后的审计报告编辑，将会在获得报告并在系统稳定运行一段时间后逐步开源，请社区保持关注；
4. 关于Matter Labs提到的智能合约中关于合约作者的疑问，ZKSync和ZKSwap都严格遵守MIT开源协议，必须保留原作者的版权声明和许可声明。ZKSwap在ZKSync合约的基础上进行的修改也将在合约开源时进行备注，并添加新的版权和许可声明，请社区监督。
此前消息，Matter Labs质疑ZKSwap克隆zkSync代码，担心其用户资金安全问题。[2021/2/24 17:47:58]
目前，ZKRollup方案的Layer2落地的主要选手是StarkWare和zkSync。
zkSync不断升级完成EVM兼容
2019年，MatterLabs团队开始利用ZKRollup扩容方案开发zkSync网络。2020年6月，zkSync1.0版本上线，主要聚焦于支付。作为Layer2扩容层，zkSync1.0链上的转账手续费用极低，处理交易快速，且手续费不仅限于ETH，利用该网络转账的其他以太坊标准资产也能用作手续费，资产进出以太坊主网一般在几分钟到几小时不等。
zkSync官网
目前，用户可以通过授权以太坊钱包激活zkSync网络账户，ETH、ERC-20标准下的USDT等资产可自由进出该网络，资产可与其他zkSync账户进行转移。
zkSync1.0由于不兼容EVM，网络的可用性受到限制，能支持的应用场景非常有限，但由于转账费用低，到账即时，zkSync1.0最主要的应用方向还是支付。
今年2月，zkSync2.0版本的公共测试网上线，实现了EVM兼容，也因此成为首个利用ZKRollup方案并兼容EVM的区块链网络。
zkSync2.0支持开发人员使用以太坊原生编程语言Solidity在网络上部署去中心化应用程序，以太坊主网上现有的DeFi应用也可以集成至zkSync2.0网络上，开发者和用户都低费用、高效率地使用这个Layer2网络。
应用代表
去中心化交易应用ZigZag
ZigZag没有采纳DEX常用的自动做市商机制，而是采用去中心化订单簿模型，这正是ZKRollup技术底层天然的「汇总性」带来的便利，它允许交易者以最小的滑点和高流动性订单进行现货交易，试图成为中心化交易所在链上的替代方案。
Layer2跨链桥OrbiterFinance
OrbiterFinance是为Layer2网络搭建的跨链桥，它支持zkSync、Arbitrum、Optimism等Layer2网络间的资产跨链转移，也支持Layer2和Layer1之间的资产互转。
StarkWare系统化创建Layer2
StarkWare可以视作一个公司，它创建于2018年，有一套完整的Layer2系统解决方案，特别是它在「零知识证明」基础上创新出zkSTARK算法，用以进一步增强网络的扩展性，并将这一算法进行了产品化，形成了StarkNet和StarkEx两个落地模块。
StarkWare官网
StarkNet
它是搭建在以太坊上的Layer2网络，测试网已经于2021年11月上线，支持开发者进行应用部署，用户可以将交易发送到网络上，所有交易将定期进行批量处理，生成STARK证明，然后在以太坊主网验证这些证明。由于验证所需的计算内容很少，从而提升了链上的处理效率。
由于StarkNet还未兼容EVM，因此，它一直没有获得以太坊头部DeFi应用的迁移。目前，该Layer2上主要应用为去中心化交易应用Myswap和一站式交易应用JediSwap
StarkEx
它是一套可扩容引擎技术，专门为以太坊应用提供扩容方案和程序服务，已经用于不少知名去中心化应用，包括去中心化永续合约交易应用dYdX、去中心化交易应用DeversiFi、NFT生态系统ImmutableX。
作为期货交易平台，dYdX需要高速结算，StarkEx帮助它大大提高了结算速度，增强了用户体验。
DeversiFi是首个采用StarkEx扩容引擎的DEX，它使用的是订单簿模式，实现方式是链下处理交易、链上完成结算。以往，链上结算的方式对链的性能要求较高，Layer1类型的网络对此存在制约。现在，StarkEx引擎解决了这一点，它为非托管式交易提供了即时结算、高流动性、低滑点等保障。此外，DeversiFi使用了zkSTARK算法的隐私层，很好地保证了用户的交易隐私。
ImmutableX是以太坊针对NFT资产设置的Layer2扩容方案，它基于StarkEx引擎搭建，该网络上的资产及交易数据均由以太坊保障，用户无需担心安全问题。更重要的是，StarkEx支持提取资产到以太坊链上即时到账，没有7天的间隔期。目前，卡牌游戏GodsUnchained、战斗类角色扮演游戏Illuvium(ILV)等已选择与ImmutableX集成，为用户提供快速的、0Gas费的交易体验。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。