简析 ZK-Rollup 为什么是ETH最好扩容策略?

啥是ZK-Rolluh3?

ZK-Rollup策略在买卖打包至主网时产生加密证明以证明买卖是合法的,只有在加密证明被验证后,买卖才会在ETH上被同意,与Optimistic Rollup不同,ZK-Rollup采取了“在证明无罪之前有罪的”的验证方法。

然而,ZK-Rollup还没达到与Optimistic Rollup相同种类商品相同的兼容性水平,由于ZK-Rollup在每笔买卖中要随着著有效性证明。

所以它们在技术进步上更难,现在ZK-Rollup的开发上已经能实行一些容易的任务,比如直接转帐和买卖,虽然整理智能合约功能是大概的,但比Optimistic Rollup愈加困难。

就在今年,ETH联合开创者Vitalik Buterin预测,开发完全可组合的ZK-Rollup将需要几年时间。

然而,开发职员已经提前完成了计划,几个ZK-Rollups项目正在筹备部署解决方法,这部分解决方法是兼具可组合性和互操作性,甚至能让多个Rollups互通。

ZK-Rollups的进步将允许ETH主网和多个第2层互联网之间共享通讯框架,互联网可以共享流动性并克服第1层区块链面临的最大的使用挑战。

基于ZK-Rollup的互联网将无需为了让去中心化交易平台上拥有高效率买卖而争夺流动性,而是可以以合作的方法扩展ETH。

ZK-Rollup还具备另一个独特的功能,越多人买卖会使买卖成本变得更实惠,发送一个批次的成本不会有太大的变化。

随著更多的买卖被打包在一个批次中,买卖本钱可以在更多的用户中分摊,ZK-Rollups可以打包几乎无限量的买卖。

因此当有足够的用户时,买卖的gasfee可以降低到只须几分钱,这个功能被叫做“有效性证明摊销”。

虽然ETH仍然面临著可扩展性问题,但一些开发者已经在部署第二层ZK-Rollup互联网,承诺在智能合约、其他第二层解决方法和ETH虚拟机之间达成完全可组合性和兼容性。

原文标题:《StarkNet Alpha——ETH最强扩容的道路

什麽是Oh3timistic Rolluh3?

Optimistic Rollup策略假设发回主链的买卖是合法的,只有当验证人可以透过提交诈欺证明来证明买卖是诈骗性的,买卖才会被拒绝。

换句话说,Optimistic Rollups采取“在证明有罪之前是无罪的”的办法来验证买卖。

现在Optimistic Rollup已经能看到实质使用情形,部分缘由是开发者在该互联网上开发应用程式较容易。

Optimistic Rollup可以直接支援完整的智能合约功能,开发职员可以用ETH的程式语言Solidity撰写应用程式。

依据L2beat的数据显示,现在最大的Optimistic Rollup互联网Arbitrum已经在去中心化的金融应用当中吸引了超越25亿USD的总锁仓价值,它承载了ETH上很多受青睐的去中心化的金融应用。

然而,因为Optimistic Rollup验证买卖的办法,它们面临一些挑战,传送回ETH主网的资金要经历长达一周的挑战期,这给用户带来了不便,并破坏了可组合性。

虽然Optimistic Rollups已经改进了基于plasma的解决方法。

如polygon,但他们一般被觉得是不如ZK-Rollups的,Optimistic Rollups提供高达77倍的可扩展性提高,而ZK-Rollups提供了高达500倍的提高,并且无挑战期。

ETH可扩展性问题

高昂的gasfees已经成为ETH的主要问题,因为买卖成本是以以太币支付,当资产价格上涨时,用互联网的本钱也随之上升,以太币今年上涨了460%,这意味著以USD计算的买卖本钱也增加了460%。

另外,买卖成本也取决于互联网拥堵程度,因为现在的链上应用项目对ETH区块空间有著很大的需要,但区块空间是有限的,致使其互联网比较容易变得拥挤,使买卖确认速度变慢及gasfee变高。

用互联网的高本钱成为用户参与去中心化的金融和NFT的妨碍,甚至失去参与DAO的机会,很多数字货币喜好者已经迁移到其他第一层区块链上,如Solana和Avalanche。

ETH买卖gas价格中位数

在过去的几年里,几个扩展解决方法已经被开发出来,以帮缓解ETH的互联网拥堵及买卖本钱问题。

polygon在2019年推出,可以说是第一个获得巨大吸引力的ETH扩容解决方法,该互联网用一个名为plasma的扩容策略。

它将买卖从主要的ETH区块链转移到一个专用的侧链,很多ETH原生的去中心化的金融应用已经在polygon上推出,如Curve和Aave。

虽然polygon互联网透过低买卖本钱成功吸引用户用,但它常被质疑安全性和中心化问题,而被觉得不是一个真的的扩展解决方法。

该互联网用其自己的节点验证者管理poS共识机制,这意味著它不用ETH主网来验证买卖。

依据截稿前的polygonscan的数据,只有100个验证者管理polygon互联网,最大的验证节点地址占其整体互联网验证区块的27%以上。

polygon互联网前25大区块验证占比

ZK-Rolluh3的种类

现在有两种不相同种类型的ZK-Rollup被用于ETH的扩展解决方法中,第一种是最被广泛用的种类ZK-SNARKs,全称为简单的非交互式常识论证,也是第一个被发现的零常识证明种类。

专注于隐私保护的区块链项目Zcash早在2016年就使用ZK-SNARKs,该技术构成了ZK-Rollup大多数开发者的资料库和代码,并被觉得是ETH扩展项目的一个强有力的选择。

但SNARKs有一个缺点,它们需要一个初始创建事件的密钥,这部分密钥用于创建交易平台需的证明,假如可信设置事件中的密钥没被销毁,它们可以被用来凭空创造新的代币或伪造买卖。

现在备受瞩目的SNARK扩展解决方法是Matter Lab的zkSync,该项目于2020年6月启动。

在其现在的迭代中宣称每秒可处置2000笔买卖,并期望在将来达成更高的吞吐量,该平台开始致力于在兼容EVM的环境中部署智能合约,推出了zkEVM测试网。

zkSync现在著重于让以太坊主网的过渡尽量容易,那些想在zkEVM上开发的人可以用ETH语言Solidity撰写智能合约。

Matter Labs近期在a16z领投的B轮筹资中筹集了5000万USD,以帮zkSync的进步,除此之外,该公司已与几个ETH去中心化的金融应用合作,如Curve、Aave和1inch。

另一种ZK-Rollup策略为STARKs,全称为可扩展的透明常识论证,STARKs比SNARKs更有优势。

由于STARKs完全依靠哈希函数,无需可信的设置,这意味着STARKs在理论上比SNARKs更安全。

StarkWare是第一家用STARKs来扩展ETH的公司,是现在开发基于STARK技术的主要推进者。

该企业的两位联合开创者EliBen-Sasson和Michael Riabzev一同创造了这项技术。

StarkWare为基于STARK的ZK-Rollups创造了一种图灵完备的编程语言,称为Cairo,“StarkEx协议”是以Cairo语言创造的第一个商品。

StarkEx是一种针对特定应用的扩展解决方法,现在正被几个ETH项目用,包括dYdX、ImmutableX、Sorare和DeversiFi。

StarkWare马上发布的StarkNet是一个无权限的ZK-Rollup互联网,可以让开发者直接在第二层建构并启动应用程式。

StarkNet的目的是成为一个真的去中心化的多应用扩展解决方法。

StarkNet进步示意圖

ZK-Rollup马上改变数字货币社群用ETH的方法,随著zkSync和StarkNet等高速、低本钱互联网的达成。

更多ETH主网上的买卖将被外包至第二层,这应该会让ETH更接近其成为一个可扩展、安全和去中心化的区块链互联网的愿景。

作者:Thonee

ZK Rollup扩容策略StarkNet Alpha上线ETH主网,该解决方法能够帮助缓解ETH目前高昂的手续费用环境

现在已经有好几个扩展解决方法被实质使用,但ZK-Rollup技术一直被视为是扩容解决方法的最好解答,缘由到底为什么呢?

Rolluh3扩展解決策略

最近Rollup扩展解决方法在ETH社群引起了一阵热议,Rollup策略顾名思义就是一种将计算数据“打包”并或有效性证明送回ETH主网的方法。

这种做法可节省区块空间,进一步降低提交给主网的数据量,因为买卖被捆绑在一块,Gasfee就能让很多用户分摊。

Rollup为用户提供了近乎即时的买卖速度,可以将成本降低50到200倍,同时维持ETH主网的安全性和去中心化。

现在Rollup策略的两类型型分别为:

OptimisticRollup和Zero-Knowledge Rollup。

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:http://www.qingsonghu168.com/toutiao/20220114/507.html