链资讯 链资讯
Ctrl+D收藏链资讯
首页 > ADA > 正文

ARK:有关zkEVM,你需要知道的一切(二)_ROLL

作者:

时间:

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。

FinCEN要求美国境内金融机构报告有关俄罗斯使用加密货币逃避制裁的活动:3月22日消息,美国财政部下属机构FinCEN已通知所有金融机构,俄罗斯可能会考虑使用加密货币来逃避制裁。

周一,FinCEN警告所有美国境内与加密货币或可兑换虚拟货币(CVC)相关的金融公司,要报告任何可能成为俄罗斯逃避美国等国实施制裁的潜在手段的活动。虽然美国机构认为,俄罗斯政府不能利用CVC来逃避广泛的制裁,但该国所有金融机构都有义务主动报告来自俄罗斯的可疑活动。(Bitcoinist)[2022/3/22 14:11:00]

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

Coinbase等美国交易所正设计解决方案以遵守FATF有关共享用户信息的新规则:金色财经报道,包括Coinbase在内的美国加密货币交易所组成的工作组正在研究一种联合解决方案,以遵守金融行动特别工作组(FATF)关于共享客户信息的规则。据Coinbase称,有关该解决方案的白皮书将在未来几周内发布。[2020/7/21]

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生态系统,并且两个网络进行了合并。这也是第一次一个区块链网络被完全合并到另一个区块链网络中。

深圳市龙华区有关负责人:区块链等已成为新一轮科技革命和产业变革的核心引擎:深圳市龙华区有关负责人表示,当前,以大数据、人工智能、物联网、区块链、5G等为代表的数字技术已经成为全球新一轮科技革命和产业变革的核心引擎,加速催生产业革命,导致全球创新链、产业链和生产组织网络一体化。龙华也提出要打造智能互联新生态,培育壮大新的支柱产业,并将打好省级“人工智能产业核心区”、市级“人工智能高端制造核心基地”两张牌,这些“新支柱”产业,有龙华雄厚的电子信息产业基础作为助力,将发展得更稳更快。(宝安日报)[2020/6/9]

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

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

动态 | 英格兰男子因与加密货币盗窃案有关而被通缉:金色财经报道,英格兰Bushey镇男子Ross Birnie因与价值100万英镑的加密货币盗窃案件有关,目前正在被当地通缉。正在呼吁人们提供信息。[2020/2/15]

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

动态 | 英伟达因有关加密挖矿需求影响的虚假陈述被提起集体诉讼:据globenewswire报道,Levi&Korsinsky律师事务所发布股东警告,通知2017年8月10日至2018年11月15日期间购买或以其他方式购买英伟达(NVIDIA)公司(纳斯达克股票代码:NVDA)证券的所有个人或实体,已开始进行证券集体诉讼。在这期间,被告向投资者保证他们密切关注加密货币市场,因此可以适应可能的快速变化。被告随后吹捧该公司及其高管可“掌握管理其渠道”并且“非常了解渠道”。此外,英伟达向投资者保证,由于英伟达的核心客户群即计算机游戏玩家存在强烈需求,因此加密货币矿工对GPU的需求激增不会对公司产生负面影响。这些陈述是虚假和误导的。由于这些虚假陈述,英伟达的股票在这期间以人为抬高的价格进行交易。该律师事务所表示,如果任何个人从中遭受损失,必须在2019年2月19日之前要求法院指定其为主要原告。[2018/12/28]

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

标签:ARKSTASTARKROLLark币是什么币start币多少钱Stark ChainBenjiRolls

ADA热门资讯
SOLA:加密交易员Ansem:加密市场下阶段趋势与核心叙事_OLA

在过去的一周多的时间里,传统金融市场在美国通胀压力有所减轻的背景下出现了一些积极的信号,而加密货币市场也「追随」其迎来了阶段性的复苏。7月美国CPI数据录得8.5%水平低于市场预期.

NAR:Solana去中心化吗?这份验证者报告可以给你答案_SOL

本文来自solana,Odaily星球日报译者|Moni Solana基金会最近发布了第一份评估Solana网络健康状况的报告,其中深入探讨了验证者网络健康状况的关键指标.

NAR:a16z:以三要素衡量SNARK性能_Insolar

SNARK是一种重要的密码原语,用于发现区块链可扩展性和隐私的应用。SNARK允许某人向不可信验证器V证明他们知道一些数据。证明这一点的简单方法是将数据发送给V,然后V可以直接检查其有效性.

ARK:StarkNet首个链上身份产品「Starknet.id」注册指南_STARK币

Starknet.id是StarkNet上第一个链上身份产品,通过免费铸造NFT,将Twitter、Discord、Github等身份信息和StarkNet上的地址相绑定.

ALA:Galaxy Digital:Q2亏损超5.54亿美元,仍关注行业并购_pgala币官网

Odaily星球日报译者|念银思唐 摘要: -GalaxyDigital报告称,第二季度亏损超过5.54亿美元,是去年同期亏损的三倍多.

AME:Nansen:NFT项目方如何处理筹集到的ETH?_ETH

在2022年上半年,市场参与者在铸造NFT上花费了大约27亿美元的资金。那NFT项目用他们筹集的钱到底做了什么呢?在2022年1月1日至6月30日期间,市场参与者在以太坊区块链上花费了96322.