ARK:有关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。

美检方调查与FTX前CEO SBF有关的欺诈案:12月10日消息，据知情人士透露，美国检方正在详细调查加密货币巨头FTX 11月11日在特拉华州申请破产时，该交易所运营商持有的资金是如何转移到美国境外的，是否有数亿美元违规转移到巴哈马。目前，检方正在为针对SBF等人的潜在欺诈案做准备。(金十)[2022/12/10 21:35:27]

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的方案更简单且可能更高效，也有可能出现一些未知的情况。

欧洲议会推迟对加密资产法案拟议法规中有关PoW辩论的投票:2月25日消息，为了回应来自加密世界的愤怒，欧盟议会推迟了一项针对其加密货币市场监管的关键投票。被称为MiCA的“加密资产市场指令”本已列入2月28日的投票名单，将由欧洲议会与欧盟理事会和欧盟委员会进行辩论。然而，欧盟议员、负责投票的报告员Stefan Berger今天表示，此次投票已被推迟。

一名接近该指令谈判的消息人士称，争论的要点是后期的变化，一些人将其解读为针对PoW网络的禁令。在信息泄露后引发了负面报道和Twitter上铺天盖地的回应后，右翼和中右翼成员撤回了对最新修正案的支持。

Berger在Twitter上解释说：“作为报告员，对我来说最重要的是，MiCA指令没有被误解为事实上的比特币禁令。”（The Block）[2022/2/25 10:16:20]

目前开放测试网，测试网为邀请注册制，主要功能包括：允许运行常用应用程序，例如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生态系统，并且两个网络进行了合并。这也是第一次一个区块链网络被完全合并到另一个区块链网络中。

DAO财库聚合平台Llama发布有关“Uniswap流动性计划v 0.1”提案的更新:DAO财库聚合平台Llama在推特上发布有关“Uniswap流动性计划v 0.1”提案的相关更新如下：

1.更新该计划的长期目标，纳入生态系统的长期增长；

2.将分配给存款凭证类代币的奖励从2%增加到4%，以说明v3中存款凭证类代币的持有者将丧失任何底层协议的流动性激励的事实。

3.将aTokens从ULP中排除，因为它们需要一个尚未被审计的wrapper合约。我们将在未来考虑加入aTokens。

4. 根据存款凭证类代币奖励的增加和aTokens的排除，更新了ULP的总分配额。

官方表示，这只是Uniswap流动性计划（v0.1）的开始，目前快照投票已开启。[2021/7/29 1:23:08]

关于PolygonHermez的EVM实现，YeZhang在推特上表示，“Polygon使用一组新的汇编代码来表达每个操作码，即人类可读的字节码翻译，这可以让代码在EVM上的行为有所不同，可以实现“字节码级别”的兼容性，但行为可能与EVM不同，PolygonHermez的方案更简单且可能更高效，也有可能出现一些未知的情况。”目前代码已经开源。官方称其实现了EVM等效性，在开放测试网后，开发人员可以将任何以太坊智能合约无缝部署到PolygonHermez。计划就在下半年推出公共测试网。zkSync：行业老兵

zkSync累计融资5800万美元，Placeholder、1kx、DragonflyCapital全程参与3轮融资，联合广场风投和a16z参与了2轮。zkSync是MatterLabs于2019年开始构建的、以用户为中心的免信任二层协议，以ZKP为核心技术，以安全、用户体验和开发者体验为核心关注点。该项目倾向于增量协议开发，即按顺序逐个引入功能，从而在每个步骤中为用户带来最有形的价值。他们从基础开始，最初关注可扩展性的基础，然后是可编程性，最后是隐私。zkSync的主要特点包括：极低的交易费用、加密安全、用户控制以及无需许可的智能合约。

加利福尼亚州的一家法院命令Kraken向IRS提供有关用户交易的信息:5月6日消息，加利福尼亚北部的一家法院已下令Kraken向IRS提供有关2016年至2020年之间交易额超过20,000美元的用户的信息。此外，美国国税局将检查Kraken是否遵守其记录保存义务，例如“KYC”规则。(cointelegraph)[2021/5/6 21:28:40]

目前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这两种系统。

分析师：BTC价格增长时期与USDT在市场上的下跌有关:比特币交易员兼市场分析师Bitcoin Jack在推特上展示了两个图表，一个是比特币的价格(BTC)，另一个是Tether的市场主导地位。很明显，比特币令人印象深刻的增长时期与USDT在市场上的下跌有关。然而，当比特币的价格下跌时，USDT的主导地位就会一落千丈。Bitcoin Jack还展示了两个相关性“明显”的时期。一个是是2019年第一季度（比特币上涨，Tether主导地位下降），以及当Tether（USDT）情况相反时持续的看跌比特币市场。这种相关性让Bitcoin Jack打消了这样的想法，即愿意出售比特币(BTC)的交易商需要USDT。相反，USDT就像是加密市场的“新钱”。 根据此模型，一定数量的USDT属于“偏差”。比特币杰克称这些USDT是“靠边站的钱”。（U.Today）[2020/5/17]

在去年和今年上半年，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。

标签：ARKSTAHERSTARKARKM价格STAR QUACKSethereal中文名StarkNet

火星币热门资讯