TL,DR;
评价一个zkEVM项目的因素包括：证明时间、验证时间、证明大小、CRS、SRS、可信设置、递归支持、密码学假设、量子安全、兼容等级。Scroll发展时间最短，但符合EVM等效标准；PolygonHermez最快开源，但使用了不同于EVM“传统”的新汇编代码，存在中立的不确定性；zkSync计划100天后推出公共网，开发进度最快；StarkNet坚持zkVM路线兼容前景有限；Aztec尚未完成Solidity语言兼容，EVM兼容进度落后；Loopring兼容进度遥遥无期，暂未提上日程。本文属于《一文看懂zkEVM》系列的第二篇，上一篇文章介绍了zkEVM的基本知识，本篇文章将盘点行业中主流的zkEVM通用网络。关于zkEVM的重要性不绝于耳，以V神为代表的行业领袖认为：从中长期来看，随着ZK-SNARK技术的改进，ZKR将在所有用例中胜出。而zkEVM是ZKR项目兼容以太坊的技术，zkEVM项目即ZKR项目，本文用最近在推特上广为讨论的zkEVM代指ZKR项目。zkEVM项目的评价因素
在开始盘点具体项目之前，我们不可避免地会提出一个问题——评价zkEVM项目的因素有哪些？CTH集团的FundamentalLabs在《FLResearch|IncompleteGuidetoZK:WhyZKMatters?》这份ZK研报中提出了评价ZK项目的十个因素，它们分别是：证明时间、验证时间、证明大小、CRS、SRS、可信设置、递归支持、密码学假设、量子安全、兼容等级。这份研报还参考了《CommunityProposal:ABenchmarkingFrameworkfor(Zero-Knowledge)ProofSystems》该论文提出的零知识证明系统的基础框架。但纵观zkEVM赛道，除了PolygonHermez之外都没有完全开源代码，因此本文主要从项目简介和EVM兼容进展两个方面来盘点zkEVM项目，包括Scroll、PolygonHermez、zkSync、StarkNet、Aztec、Loopring。
Scroll：行业黑马
Scroll的目标是完全兼容EVM，让以太坊上的智能合约可以直接复制到Scroll，无需修改代码就可以兼容以太坊基础设施。Scroll联创YeZhang在21年3月的以太坊研究论坛ETHResearch上第一次提出了《IntroducingScroll,anewlayer2solution》初步介绍了Scroll作为一种新的Layer2解决方案的技术原理与未来路线。根据官方消息，Scroll已经与以太坊基金会PSE）小组合作一年多。融资方面，今年4月22日Scroll完成3000万美元A轮融资，PolychainCapital领投，BainCapitalCrypto、RobotVentures、GeometryDAO等参投。以太坊基金会的YingTong和CarlosAria，以及以太坊社区的成员也参与了该轮融资。创始人Peng表示，该项目此前已经从天使投资人那里融资约300万美元。7月20日，因为和PolygonHermez、zkSync接连官宣zkEVM测试网，推特上出现大量关于“谁是第一个zkEVM”的争论。
YeZhang在推特上认为Scroll与PolygonHermez有一些不同。Scroll和PolygonHermez都在证明原生EVM字节码执行方面取得了巨大进展。但是实现有很大不同。简而言之，Scroll更接近以太坊的实现，PolygonHermez使用一组新的汇编代码来表达每个操作码，然后证明新汇编在他们自己定义的状态机上的执行。因此，它们也可以实现“字节码级别”的兼容性，但行为可能与EVM不同，PolygonHermez的方案更简单且可能更高效，也有可能出现一些未知的情况。
目前开放测试网，测试网为邀请注册制，主要功能包括：允许运行常用应用程序，例如Uniswap和Metamask；通过区块浏览器查看Scroll测试网的状态；运行节点，该节点支持无限制的读取操作和用户发起的交易；Rollers将为部分zkEVM电路生成和汇总有效性证明，以确保稳定发布。计划下半年再次推出一次测试网，面向所有公众，功能包括：允许开发人员部署智能合约；允许任何人运行归档Scroll节点；生成和聚合更多在链上验证的zkEVM证明；在EVM兼容方面，根据官方文档，Scroll已经实现了字节码兼容EVM，及EVM操作码的子集。PolygonHermez：最快开源
7月20日PolygonHermez官宣发布并开源第一个EVM等效的ZKL2。但与其他项目不同，PolygonHermez项目并不是Polygon独立研发，而是Polygon通过收购并合并一个叫做Hermez的ZKR项目而来。根据Coindesk消息，2021年8月13日，Hermez团队与项目被Polygon以2.5亿美元的价格收购，Hermez以PolygonHermez的名义并入Polygon生态系统，并且两个网络进行了合并。这也是第一次一个区块链网络被完全合并到另一个区块链网络中。
关于PolygonHermez的EVM实现，YeZhang在推特上表示，“Polygon使用一组新的汇编代码来表达每个操作码，即人类可读的字节码翻译，这可以让代码在EVM上的行为有所不同，可以实现“字节码级别”的兼容性，但行为可能与EVM不同，PolygonHermez的方案更简单且可能更高效，也有可能出现一些未知的情况。”目前代码已经开源。官方称其实现了EVM等效性，在开放测试网后，开发人员可以将任何以太坊智能合约无缝部署到PolygonHermez。计划就在下半年推出公共测试网。zkSync：行业老兵
zkSync累计融资5800万美元，Placeholder、1kx、DragonflyCapital全程参与3轮融资，联合广场风投和a16z参与了2轮。zkSync是MatterLabs于2019年开始构建的、以用户为中心的免信任二层协议，以ZKP为核心技术，以安全、用户体验和开发者体验为核心关注点。该项目倾向于增量协议开发，即按顺序逐个引入功能，从而在每个步骤中为用户带来最有形的价值。他们从基础开始，最初关注可扩展性的基础，然后是可编程性，最后是隐私。zkSync的主要特点包括：极低的交易费用、加密安全、用户控制以及无需许可的智能合约。
目前zkSync上已经建立起丰富的生态，zkSync也是Gitcoin上的主要捐赠手段之一。据官方公告，zkSync目前已经完成了以太坊Solidity语言与zkSync开发语言Zinc的转译/转译器开发；并且实现了EVM字节码层次的兼容，但暂未开源，尚不能验证其真实性以及比较其EVM兼容实现方式与其他项目的差异。zkSync已经开放测试网，计划在11月发布zkSync公共网，在所有zkEVM项目中开发进度最快。StarkNet：专注ZK
StarkNet是一种无需许可的去中心化Validity-Rollup。它作为以太坊上L2网络运行，使任何dApp能够实现其计算的无限规模，而不会影响以太坊的可组合性和安全性，因为StarkNet建立在最安全和最具可扩展性的加密证明系统STARK之上。截止目前，StarkWare已经完成6轮融资，共计2.73亿美元。尤其是最近一轮融资，融资金额达到1亿美元，使其估值直接翻了两番，达到80亿，是所有L2项目中估值最高的。Vitalik是他们种子轮投资者，此外，投资方名单中还包括Paradigm、红杉资本、PanteraCapital、FoundersFund等多轮投资者。StarkWare主要由世界顶级密码学家构成，如EliBen-Sasson，他联合发明了目前最主流的两种零知识证明系统ZK-SNARKs、ZK-STARK；AlessandroChiesa，也是ZK-SNARKs的联合发明者，Zcash联合创始人。包括zkSync、Scroll、Hermez在内的多个行业头部zkEVM项目在项目中构建的零知识证明系统都用到了ZK-SNARKs、ZK-STARK这两种系统。
在去年和今年上半年，StarkWare通过提供扩容技术解决方案StarkEx创立了扩容即服务的商业模式，建立应用专有网络，服务业内头部客户dYdX、Sorare、ImmutableX、DeversiFi等。而目前随着StarkNet网络基础设施不断完善，StarkNet逐渐将业务重心转移到通用网络。在进展方面，关于开发语言，StarkNet网络上专有的Cairo语言具有非常突出的优势：除了支持零知识证明系统，它还将程序的执行减少到几组多项式方程组，专门编写可证明的程序。这些特点使得Cairo的开发者可以将业务逻辑从智能合约抽象到链外执行环境中，支持编写那些成本巨大、重执行的app，同时保留了以太坊的安全和结算保证，不受gas和Layer1的限制。关于代币与治理，StarkNet提出了去中心化治理提案并计划在下半年发币，推动二层节点去中心化运营，相关资料推荐看看《StarkNet发币如何改变L2行业格局》。StarkNet由于专注于zkVM，从虚拟机的角度严格来看，StarkNet不属于zkEVM类项目，但从EVM兼容的角度看，StarkNet对EVM的兼容层次停留在Solidity与Cairo语言的转译/转译器，由于zkVM与EVM兼容的复杂性与矛盾性，预计StarkNet未来不会再有EVM兼容进展。在Scroll和PolygonHermez出现之前，zkSync和StarkNet是被寄予厚望的唯二两个zkEVM网络。关键不同在于，zkSync致力于等效EVM，允许以太坊上的应用、资产、用户无缝迁移zkSync上。而StarkNet的目标不是实现EVM等效，而是致力于开发ZK技术的潜力，通过几乎无上限的性能扩容为未来的创新应用打造去中心网络的基础。行业中有非常多将这两个ZKR“双王”放在一起对比讨论的文章，Odaily星球日报在此分享一些对比StarkNet和zkSync的精品文章/信息源：《zkSyncvs.StarkWare-顶尖的两个ZKRollup到底有何区别？》——Tokeninsight《zkSyncvs.Starkware》——YilunZhangAztec：主打隐私
Aztec创立于2017年，最初是一个区块链上的机构融资平台。2019年9月15日，A.Capital、Coinbase、LibertusCapital参与其一轮投资。2021年12月16日，Aztec完成1700万融资，Paradigm领投，投资者还包括A.Capital、EtherealVentures和LibertusCapital，以及VariantFund、Nascent、IMToken、ScalarCapital、DefiAlliance、IOSGVentures和ZKValidator，其它个人投资人还包括AnthonySassano、StaniKulechov、Bankless、DefiDad、MarianoConti和VitalikButerin。关于Aztec的隐私原理，与常见的加密账户不同，Aztec使用类似比特币UTXO模型来加密交易，地址下的余额无论数量多少都被转换为一张票据，当发生交易时候，只有双方知道具体交易额，从而保护了隐私。
图片来源：https://medium.com/aztec-protocol/fully-confidential-ethereum-transactions-aztec-networks-privacy-architecture-274f968b13d4举个例子，当小明有两张价值50ETH的银票，总共100ETH，而小红有0张钞票，小明需要向小红转账20个ETH。小明的两张50ETH银票需要销毁，并创建了两张新银票：一张80ETH银票留在小明手中，一张20ETH银票转给它的新所有者小红。在这个过程中只有小红和小明知道银票的价值。进展方面，7月7日，Aztec在主网上推出隐私DeFiAztecConnect——一套包括桥接合约和SDK的隐私开发工具，以支持用户在以太坊上使用隐私DeFi应用。
图自：https://medium.com/aztec-protocolAztecConnect就像一个VPN：通过使用Aztec的汇总合约作为代理，用户从Aztec网络内与以太坊服务进行交互。AztecConnect像一个DeFiVPN，用户可以将AztecConnect作为代理，通过AztecConnect与以太坊上的DeFi进行交互，使Aztec上的合约能够和以太坊上的DeFi协议相互操作。据官方，Aztec预计在下半年推出Aztec3和隐私编程语言Noir，对Solidity的转译器暂无规划，也没有兼容以太坊的虚拟机，EVM兼容进展较其他项目较为落后。Loopring：自建生态
Loopring是第一个基于以太坊的、专注DeFi应用的ZKR，与其他将自己打造为孵化平台的L2不同，Loopring专注于在第2层上构建自己的产品和功能。融资方面，Loopring在2017年通过ICO的方式筹款4500万美元。与其他公共网络不同，外部开发者无法在Loopring上构建自己的通用协议或者产品，只能调用loopring的API。而且由于Loorping专注于自己构建产品，Loopringprotocol不仅仅是一个网络，它是一个集体，它包含以下四个部分：Loopring协议，是一个开源的以太坊zkRollup协议——用于安全扩展交换和支付的第2层。Loopring中继器，是一个封闭源代码的zkRollup中继器——执行所有链下职责以进行zkRollup滚动。Loopring交易所，是一种非托管的以太坊交易所——一种基于AMM和订单簿的高性能交易所，具有100%的以太坊安全保证。它还充当支付平台。Loopring钱包，是一款以太坊智能合约钱包——一款具有社交恢复、其他安全功能并内置LoopringL2的移动钱包应用程序。
数据来源：https://l2beat.com/Loopring的TVL在所有L2项目中排名第四，在ZKR中排第二。进展方面，去年7月LoopringCTOSteveGuo透露正与以太坊来基金会联合开发zkEVM。但截至完稿日，在官方网站上没有看到Loopring一年来关于zkEVM的任何进展信息，尽管Loopring在L2中占据较大的TVL份额，但其EVM兼容进展远落后于Scroll、PolygonHermez和zkSync。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。