近期，随着zkSync2.0的推出，zk系扩容方案又迎来一波高潮。此外，在上个月波哥大Devcon之后，zkEVM领域又出现了许多“新”的声音。譬如，zkSync大肆宣传自己是“世界上第一个功能齐全的开源zkEVM网络”，包括Arbitrum开发公司OffChainLabs联创兼首席执行官StevenGoldfeder在内的人对此批评说，这一zkEVM测试网并没有启用zk-proofs，也没有经过安全审计，这种鼓吹对任何人都没有好处，距离真正实现还有很远。PolygonzkEVM在波哥大Devcon期间正式推出时也宣称“第一个也是唯一一个去中心化的zkEVM测试网”，但很快招致社区批评：PolygonzkEVM证明者的源代码虽在Github上可用，但还没有开源许可证；虽然表示“完全等效”，但其Github代码库显示其暂时只测出了97%的兼容性覆盖程度。对此，Polygon团队回应，“没有刻意隐瞒，部分内容正在编写的更好的文档”。此外，Scroll也在波哥大Devcon期间宣布进行Pre-Alpha测试网升级，并向白名单用户开放测试。而根据计划，StarkWare在9月底推出了Cairo的升级版本Cairo1.0也将于年底前正式推出。在Aptos空投的刺激下，L2zk系近期的强叙事的确吸引了大批用户。但与生态已经相对成熟的op系扩容方案相比，zk系表面上看似热闹非凡，但距离真正的繁荣还要很久，目前生态还较为薄弱，而且zk技术的开发周期更长，对开发者和项目方有一定的门槛。所以，与其为“第一个zkEVM”争论不休，不如继续建设。本文梳理了zk系四大协议StarkWare、zkSync、PolygonzkEVM和Scroll的开发进度、生态详情等，带你全面了解眼下正热的zkEVM赛道的真实情况。一、Starkware
MDEX去中心化交易协议完成Certik全方位安全审计:据MDEX官方消息称，目前已通过区块链审计公司Certik进行的全方位安全审计，各项审计指标均优异，无任何环节需要代码更新，审计报告将添加到官方GitHub存储库。详情见原文链接。[2021/3/25 19:18:30]
1、简介：StarkWare是zk系扩容方案中团队阵容最强的项目，联合创始人EliBen-Sasson是世界顶级的密码学科学家，同时也是zkSNARK、zkSTARK的合作发明者，联合创始人兼CEOUriKolodny毕业于希伯来大学计算机专业，同时也是连续创业者。目前StarkWare已经估值80亿美元。StarkWare目前开发了两款产品：ToB的StarkEx和ToC的StarkNet。StarkEx是一个独立的许可Validity-Rollup，出售定制化技术引擎服务StarkEx，直接向有扩容需求的客户收取服务费，目前已服务dYdX、ImmutableX、Sorare、DeversiFi、rhino.fi、ApeX、Myria等客户；StarkNet是向所有人开放的无需许可的去中心化zk-Rollup，使用zkSTARK证明系统，支持dApp自主部署。StarkNet所使用的基础智能合约语言并不是Solidity，而是图灵完备的零知识证明系统语言Cairo，本身并不与EVM兼容。团队一直在寻求zkEVM兼容，10月底，StarkWare宣布推出基于Cairo编写的zkEVM，但实际开发还在早期阶段，并未落地。此外，以太坊开发团队Nethermind正在构建一个Solidity-Cairo的“编译器”，允许使用Solidity编写的项目将其代码库“一键”翻译成Cairo。据悉，该“编译器”仍在开发中，一旦生效，它将使StarkNet实现与zkSync2.0相似的EVM兼容级别。Nethermind一直致力于代码翻译工作，此前曾在StarkNet网络推出UniswapWarp版本。2、进度：作为zk-Rollup领域的最早一批开发者，StarkNet的Alpha版于2021年11月就在主网上启动。StarkWare在九月底推出了Cairo的升级版本Cairo1.0，预计在2022年底前正式推出，新版本语言提高了网络DoS攻击保护能力并降低gas费用，支持StarkNet的无许可网络要求，并将简化和保护协议。届时，团队还将在名为“Regensis”的以太坊主网上重新启动StarkNet。目前，StarkNet正在Goerli上启动第二个测试网，并在社区发起征集命名的提案。新测试网主要面向开发人员，用于测试应用程序，并非公测阶段。此外，StarkWare在7月就公布了代币经济学，原生代币此前定于9月发行，但团队因为技术原因推迟发行。StarkNet代币初始发行量为100亿枚，17%?分配给StarkWare投资者，32.9%分配给核心贡献者，51%分配给基金会。但官方表示，初始阶段不会为用户提供免费代币，所有代币会在发布后立即锁定。3、生态：StarkNet生态主要以DeFi、GameFi、NFT为主，目已有一百多个项目在StarkNet上部署，但实际上部分项目还处于计划部署阶段，真正可以实现交互的项目数量并不多。据L2beat数据显示，目前StarkNet总锁仓量为310万美元，日均TPS为0.15，30天交易计数约为27.9万笔。钱包：ArgentX、Braavos跨链桥：OrbiterFinance、官方开发的以太坊-Starknet跨链桥StarkGateDeFi：10KSwap：StarkNet原生AMMDEX协议，已上线主网，目前只能交易ETH、USDC、DAI、WBTC、USDT这几种代币。AlphaRoadFinance：StarkNet原生DEX和流动性质押协议，目前在测试阶段。BrineFinance：订单簿交易DEX，目前仍在测试网上。FibrousFinance：StarkNet上的AMM聚合器，仍在测试网上运行。mySwap：StarkNet上的第一个AMMDEX。zkLend：StarkNet上的借贷协议，包含两个产品Artemis和Apollo。GameFi：LootRealms、GoL2、TheNinth已上线主网。二、zksync
动态 | 中传与中国平安签署协议 依赖区块链等技术全方位合作:12月12日，中国传媒大学与中国平安签署协议，平安集团将通过“智慧校园”“平安好医生”“ 金融一账通”等平台，以人工智能、区块链、大数据、云计算等技术为支撑，构建与中国传媒大学的全方位合作。[2019/12/13]
1、简介：zkSync由MatterLabs于2019年12月创立，创立时间晚于StarkWare，使用的是基于SNARK证明的zk-Rollup技术，并且支持IR层面的zkEVM。MatterLabs在2020年6月就发布了zkSyncv1.0版本，上线时间较长，直到今年2月，zkSync2.0测试网上线。zkSync2.0于此前相比，功能有很大的提升。在zkSync1.0中用户只能体验转账、铸造NFT等基础功能，而zkSync2.0在支持EVM兼容的同时还将开放生态应用的部署，是真正完成版的zk-Rollup产品。2、进度：10月28日，zkSync2.0正式推出，并表示目前正处于BabyAlpha阶段，在此阶段zkSync2.0将在没有外部项目的主网上启动，主要进行压力测试和多项安全工作。开发人员无法访问主网，但可以继续在测试网上开发。BabyAlpha阶段将持续一个月左右。据官方路线图显示，第四季度进入FairLaunchAlpha阶段，团队将对开发者开放的项目部署权限，团队计划今年年底前实现全面启动Alpha目标，但可能会因为安全原因将这一阶段延长到2023年。然后在一系列全面测试、安全审计、竞赛和漏洞赏金后，zkSync2.0将向所有用户开放，这也是最接近发币的时间。目前已有150多个项目已经承诺在zkSync2.0上启动。在代币发行方面，MatterLabs的首席产品官SteveNewcomb曾在TwitterSpaces讨论中表示，zkSync将在11月第一周公布其代币经济模型的详细信息。11月3日，zkSync联合创始人AlexG暗示：“一些重大新闻即将发布”。3、生态据zkSync生态官网统计，目前已有100余个项目在网络上部署。另据L2beat数据显示，目前总锁仓量为627万美元，日均TPS为0.37，30天交易计数为138万笔。钱包：ArgentX、zkSyncPortal2.0跨链桥：OrbiterFinancezkSync2.0测试网官方跨链桥地址：https://portal.zksync.io/bridgeDeFi：SyncSwap：基于zkSync的DEX，已上线zkSync2.0网络。Increment：是一个基于zkSync2.0的去中心化算法永续合约协议，近期在zkSync2.0测试网上发布。但目前只对此前申请白名单测试的用户开放，现在报名截止日期已过。SpaceFi：是Evmos和zkSync上的跨链web3平台，目前在zkSync2.0测试网上运行。Zigzag：是由zkRollup提供支持的订单簿DEX，目前只支持zksync1.0网络Sprintcheckout：加密支付平台，目前在zkSync2.0测试网上运行。NFT：MintSquare是以太坊L2ZKRollups上的NFT市场，目前在StarkNet、StarkNet测试网和zkSync2.0测试网上运行。此外，AaveV3、UniswapV3、1KXProtocolBeta等协议已经计划在zkSync2.0测试网上部署。三、PolygonHermez
阿里音乐：研究AI与区块链技术，为音乐产业合法权益提供全方位:3月16日早，阿里音乐正式宣布，与独立音乐数字版权代理机构Merlin达成战略合作协议。阿里音乐表示将秉承“协作共赢”的互联网开放精神，研究AI和区块链技术，为独立音乐公司、音乐人及音乐作品的合法权益提供全方位保护，进一步规范行业和市场，推动音乐产业健康发展。[2018/3/16]
1、简介：2021年7月，Hermez团队宣布开发完全兼容以太坊的zkEVM，之后，Polygon宣布以2.5亿美元收购Hermez。PolygonzkEVM使用的是基于SNARK证明的zk-Rollup技术。PolygonzkEVM拥有操作码层级的兼容度。在《Vitalik：不同类型ZK-EVM的未来》一文中Vitalik将PolygonzkEVM与Scroll并列为第三级，在EVM兼容性方面处于目前的ZKRollup里的前列。在近期宣传中，Polygon一直在强调其zkEVM是“唯一去中心化的zk-rollup”，因为首先实现了zkProver的开源，包含完整的、可用源代码的ZK证明系统，并承诺完全开源、由社区驱动、无需许可的协调者网络、带有验证奖励代币的去中心化拍卖模型。2、进度：PolygonzkEVM于10月10日推出无需许可的公共测试网，Aave、Uniswap、Web3社交平台Lens和游戏工作室MidnightSociety将成为首批部署在zkEVM测试网上的协议，目前测试网主要对开发者开放。PolygonzkEVM计划于2023年上半年上线主网。此外，PolygonzkEVM明确表示暂时没有发币计划，ETH将用于支付gas费用。MATIC将用于质押，PolygonzkEVM的治理。四、Scroll
帅初谈陈伟星朱啸虎互怼：很正常，新技术需要全方位辩论:谈及昨天陈伟星和朱啸虎互怼一事，帅初表示，“我个人觉得争论是很正常的事情，对于一个新的技术，需要大家全方位的讨论和辩论，美国应该举办了很多次辩论了，对大家都是一个互相认知和互相学习的机会。”[2018/2/26]
1、简介：Scroll于2021年创立，于去年年底完成3000万美元A轮融资。和PolygonzkEVM相似，Scroll同样致力于创建一个EVM等效的zk-Rollup，并且在兼容性上更胜一筹，号称最兼容EVM的zk-Rollup，使得以太坊上的应用可以几乎无缝迁移至二层网络上。字节码级别的兼容就可以实现兼容以太坊上的所有语言，并且也可以兼容以太坊上的工具，大大降低了在二层网络上的开发难度。值得一提的是，由于Scroll联合创始人YeZhang在ZKP硬件加速方面颇有经验，Scroll计划在ZKP方面利用硬件加速进一步提高验证效率，建立一个去中心化的验证网络，将ZKP的证明分发给参与者进行计算，并将结果汇总形成最终的证明。而该去中心化的验证网络将向所有人开放，并将设置激励机制与惩罚机制。2、进度：10月11日，Scroll发布Pre-Alpha测试网的升级版，已有一些预部署的应用例如Uniswapv2等，允许用户执行一些功能如L1和L2之间的转账，但目前阶段还需要用户注册申请加入白名单才能参与测试。但由于出现了大量的刷量机器人，导致官方暂时放慢了测试申请的审核缩紧名单准入，因此会有很多用户在社区反馈一直没有收到邮件回复，社区建议更换钱包地址和邮箱重新申请。Scroll在测试网期间遭遇了严重的跨链延迟，也出现了无法访问水龙头的测试网代币的情况，官方回应是由于以太坊严重拥堵引起的。此外，官方表示，数周后即将推出无许可的测试网，Alpha测试网允许任何人在测试网上进行交互，开发者也可以无需许可地在网络上部署合约。完整的测试网预计在今年年底推出。在生态上，Web3社交协议LensProtocol、预言机RedStone等项目近期已部署至以太坊扩容项目Scroll的pre-alpha测试网。小结
迫于韩国当局的全方位压力有3家银行宣布不为虚拟货币交易所提供虚拟账户:韩国虚拟货币交易所将在30日开始恢复实名制，但是有3家银行决定不为虚拟货币交易所提供新的虚拟账户，另外3家表示完全没有为虚拟货币交易所提供虚拟账户的计划。新韩银行，NH农业银行及IBK企业银行表示将决定暂停提供新的虚拟账户。只有那些以前拥有虚拟货币交易账户的客户可以在30日完成确认真实姓名后使用他们现有的账户。国民银行在去年7月虚拟货币交易所中发生泄露客户信息事件之后关闭了虚拟账户。KEB韩亚银行正在考虑与全球金融公司建立自己的区块连锁网络，但并未与虚拟货币交易所签署协议。友利银行因由于更换自己的计算机网络，很难在30日之前建立真实姓名系统而决定暂时不提供虚拟账户。[2018/1/24]
总体而言，StarkWare和zkSync虽然表示最终实现zkEVM，但毕竟不是字节码层级的兼容，需要开发人员转译和迁移代码，因此相较之下，PolygonzkEVM和Scroll会更靠近以太坊生态。但EVM兼容性并不是判断L2扩容方案好坏的唯一标准，只作为一个客观指标。事实上，完全等效的EVM虽然安全，但或许会在效率上会有所牺牲，Starkware的Cario预言构建的虚拟机和Zksync的虚拟机在构建zk上会更加灵活。所以，这些协议没有本质上的优劣之分，而且目前都还处于早期开发阶段，除了保证安全性之外，后期开发者体验和用户体验更加重要。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。