STAR:有关zkEVM，你需要知道的一切（二）

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。

Dropil创始人同意承认与180万美元ICO有关的欺诈指控:美国司法部周五表示，Dropil公司及其两名创始人Jeremy McAlpine和Zachary Matar已同意就与180万美元的ICO有关的证券欺诈指控认罪。司法部称，被告通过出售约6.29亿美元的DROP代币，从2472名投资者获得了约1896,657美元。 但是被告没有按照承诺使用至少160万美元的投资资金，而是将其用于支付给他们自己和他们的同伙。（The Block）[2021/7/4 0:25:46]

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”的争论。

MakerDAO发起有关添加UNI-V2-UNI-ETH为抵押品等投票:据官方博客消息，2月9日，MakerDAO治理促进者已代表MakerDAO授权的参与者将一系列治理民意测验纳入投票系统。投票内容如下：1.将UNI-V2-UNI-ETH（UniswapV2 UNI-ETH LP代币）添加为抵押品；2，将UNI-V2-LINK-ETH（UniswapV2 LINK-ETH LP代币）添加为抵押品；3.设置UNI-A债务上限即时访问模块参数。[2021/2/9 19:16:27]

YeZhang在推特上认为Scroll与PolygonHermez有一些不同。Scroll和PolygonHermez都在证明原生EVM字节码执行方面取得了巨大进展。但是实现有很大不同。简而言之，Scroll更接近以太坊的实现，PolygonHermez使用一组新的汇编代码来表达每个操作码，然后证明新汇编在他们自己定义的状态机上的执行。因此，它们也可以实现“字节码级别”的兼容性，但行为可能与EVM不同，PolygonHermez的方案更简单且可能更高效，也有可能出现一些未知的情况。

目前开放测试网，测试网为邀请注册制，主要功能包括：允许运行常用应用程序，例如Uniswap和Metamask；通过区块浏览器查看Scroll测试网的状态；运行节点，该节点支持无限制的读取操作和用户发起的交易；Rollers将为部分zkEVM电路生成和汇总有效性证明，以确保稳定发布。计划下半年再次推出一次测试网，面向所有公众，功能包括：允许开发人员部署智能合约；允许任何人运行归档Scroll节点；生成和聚合更多在链上验证的zkEVM证明；在EVM兼容方面，根据官方文档，Scroll已经实现了字节码兼容EVM，及EVM操作码的子集。PolygonHermez：最快开源

BCH联合创始人Roger：和吴忌寒有交流 不想和BSV有关系:5月15日20:00，“Bibox大咖来了”第七期，比特币耶稣兼BCH联合创始人Roger共聊《比特币减半之后续行情》。针对“比特大陆吴和詹您支持谁？”的问题，Roger幽默回应：“吴说英语，我觉得这让我和他沟通会方便一些。我不太了解他们之间的具体争论”。此外，他表示：不想和CSW、BSV有任何关系。[2020/5/15]

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的主要特点包括：极低的交易费用、加密安全、用户控制以及无需许可的智能合约。

动态 | 慢雾发布有关IOTA用户Trinity钱包被盗币攻击的推测:IOTA 因为近期不少用户的 Trinity 钱包被盗币攻击，为了阻止攻击继续、调查与修复具体原因，主网协调器都暂停运行了。这是一个被低估的经典攻击，官方没披露具体攻击细节，但通过慢雾的分析，可以做出某些重要推测，首先可以明确的几个点：1. 不是 IOTA 区块链协议的问题，是 IOTA 的 Trinity 桌面钱包的问题（官方说的，且先相信）2. 这款桌面钱包基于 Electron(一个使用 JavaScript 为核心构建桌面应用的框架)，意味着核心代码是 JavaScript 写的3. 在做该做钱包新旧版本代码的 diff 分析时，发现去除了之前内置的一个交易所功能模块 MoonPay，这其中关键点是去掉了一段可怕的代码：const script = document.createElement('script');

script.src = 'https://cdn.moonpay.io/moonpay-sdk.js';

document.write(script.outerHTML)；如果这个第三方 JavaScript 链接主动或被黑作恶，那该桌面版钱包就可以认为是完全沦陷了。到这，慢雾很有理由相信这是个很大的定时炸弹，如果这个定时炸弹是真的炸了，那很吻合官方的一些说辞与解释，如：尽快升级新版本的 Trinity 桌面钱包，尽快改密码，尽快转移资产到安全种子里等等。且看官方的后续披露。[2020/2/19]

目前zkSync上已经建立起丰富的生态，zkSync也是Gitcoin上的主要捐赠手段之一。据官方公告，zkSync目前已经完成了以太坊Solidity语言与zkSync开发语言Zinc的转译/转译器开发；并且实现了EVM字节码层次的兼容，但暂未开源，尚不能验证其真实性以及比较其EVM兼容实现方式与其他项目的差异。zkSync已经开放测试网，计划在11月发布zkSync公共网，在所有zkEVM项目中开发进度最快。StarkNet：专注ZK

动态 | 由日本MUFG带头组织的大型财团正制定有关证券型代币管理的标准:金色财经报道，三菱日联金融集团（MUFG，日本最大的金融集团）正在领导一个由22家成员公司组成的研究财团，以制定有关证券型代币管理的标准。据悉，该联盟包括证券发行方、经纪商和技术公司，包括日本最大的两家电信公司NTT Docomo Inc.和KDDI Corp.。此外，该财团正在寻求使用区块链开发和提供金融交易服务的方法，例如证券和资金的自动结算，计划开发一个名为“ Progmat”的专用证券型代币区块链，以提供一个管理证券化资产的平台。该财团还将申请有关管理证券型代币的基础设施和组织结构的日本专利。（coindesk）[2019/11/7]

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。

标签：ARKSTASTARKSTARSparkleWISTA币STARK币StarLink

欧易交易所热门资讯