Solana:一张Polygon zkEVM上线的海报,引发公链创始人们的扩展性大讨论_LANA

2月26日,PolygonzkEVM一张预告主网上线的宣传海报,却引发了“以太坊”等效性一词用法的争论,Scroll创始人YeZhang严正指出PolygonzkEVM不具备这一特性。从事后PolygonLabs负责人RyanWyatt的回应来看,这更像是团队内部营销人员和技术人员沟通不到位的结果。

这并非小题大做,何种程度上的有效性甚至会直观关系到L1/L2性能和扩展性,就在此前2天,Solana联创Toly发文认为ZKL2s不会是解决可扩展性的最佳方案。

2月27日,而本次事件主角Polygon技术团队也在积极回应关于zkRollup工作原理,解释zkRollup的扩展性指向何处。

3月1日,Solana也宣布“改进网络升级的计划”,重新扛起以太坊杀手的大旗,但是其在经历多次宕机后运作机制仍未根本革新,而更像是危机后的优化,也给高性能L1取代以太坊一事蒙上了阴影。

马斯克用一张图拜年:水墨老虎搭\"中国红\":1月31日,虎年新春来临之际,美国特斯拉首席执行官埃隆·马斯克在微博向中国网友送出新春祝福。31日下午,马斯克在微博及社交平台推特上同时发布一张图片,图中4只水墨老虎被点缀喜庆的“中国红”,活灵活现。图片中央则用英文写着“农历新年快乐”(Happy Chinese new year)。在推特留言板中,外国网友齐刷刷回复:“虎年快乐”“农历新年快乐!”(海外网)[2022/1/31 9:24:45]

本文将结合多位L1/L2创始人的推文,为大家揭示关于公链性能的大讨论的来龙去脉。

缘起:关于EVM等效性的争论

Polygon的zkEVM,严格来说是一种zkVM机制,通过映射的方式在L2层面跟以太坊主网保持一致,zk技术的引入是其称为zkVM的原因,而在非严格意义上而言,只要能保持同步性,那么称为zkEVM便无伤大雅。

国内第一张数字银行卡已经正式发行:8月15日,国内第一张数字银行卡已经正式发行。经中国人民银行营业管理部批准,百信银行通过虚拟发卡系统发行的首张数字银行卡正式亮相。据悉,这张由中国银联和百度公司、百信公司三方共同推出的银行卡,同时集合了借记卡和贷记卡的功能于一身,申请时就可以获取几千元到五万元不等的额度。由于该银行卡没有实体卡片,完全存在于数字网络中,因此在安全上也采取了更多的防范措施。(财华社)[2020/8/20]

但根据Scroll创始人YeZhang的观点,EVM等效性并不完全等于以太坊等效性,因为后者至少还需要在数据存储方面保持跟以太坊主网的一致。

从更广泛的角度而言,目前的各类L2s或者以太坊跨链桥都不能宣称具备以太坊等效性,以太坊后续后更为模块化,更为复杂的堆栈也会带来更困难的兼容性。

动态 | 全国第一张医保电子凭证诞生 未来将加入区块链技术:据新浪财经消息,11月24日,全国医保电子凭证首发式在山东省济南市举行。在发布式现场,济南诞生了全国第一张医保电子凭证。医保电子凭证由国家医保信息平台统一生成,标准全国统一,跨区域互认。未来还将加入5G和区块链等技术,继续推进医保治理体系和治理能力现代化。[2019/11/24]

可以举一个简单的例子来直观理解二者的不同,Optimism在产品规划中涉及二者的区别,在其看来:

EVM等效性:主要是从dApp开发者视角而言,其在OVM上的体验和在以太坊主网开发dApp别无二致,因此OVM便具备EVM等效性;

以太坊等效性:主要是从协议开发者视角而言,需要在客户端、通信层、共识层和执行层等方面和以太坊保持较高的一致性。

动态 | 重庆市发出第一张区块链营业执照:据中国电子银行网消息,3月6日,重庆市新注册登记营业执照全部加入政务区块链,并发出了第一张基于区块链技术的电子营业执照,这是重庆市实施“全渝通办”、探索政务区块链技术创新应用取得的又一阶段性成果。[2019/3/8]

而在EVM等效性的争论之余,还应该注意到关于扩展性的争执,这也是目前各类基于以太坊L2和高性能L1之间的争夺焦点。

前因:Solana对ZK扩展性的质疑

就在PolygonzkEVM预告上线的前两天,即2月24日,Solana联创Toly便在推特发文质疑ZKL2s对公链扩展问题的解决能力,以抵消公众对Solana运作机制的质疑。

独家 | 一张图看懂ETF提案对数字货币市场的影响:2017年至今,ETF提案与BTC价格联动,金色内参团队发现:每一次向SEC提交比特币ETF申请,短期内都会推动比特币价格的上涨;每一次SEC拒绝比特币ETF的申请,绝大多数情况下,都会导致比特币价格的下跌。欲查看全部内参内容,点击原文链接。[2018/8/24]

他的主要观点如下:

数据实时上链需要保持稳定的顺序执行能力;ZK证明方案成立,前提是ZK生成证明时间+验证时间的总和小于实时执行时间;ZK方案无法做到实时处理大批量数据,只能进行间歇性的汇总,而无法保持链上状态的实时性;因此,ZK方案更适合单次、低频的场景,比如批量结算,而公链级的可扩展性还是需要Solana。

但不凑巧的是,Solana在2月25号发生严重的宕机事故,社区、工程师和验证者在经历两次重启后才重新恢复主网,而屋漏偏逢连夜雨,“好事者”趁机对Solana的机制产生质疑,推特用户DBCryptoX认为“Solana上90-95%的交易都包含验证者消息和链上投票”。

Solana使用PoS共识机制,其自称为"历史证明"机制。PoH使网络能够更快地运行,因为节点不需要通过通信来验证一个区块,PoH使验证者能够精确确定某一时刻上的事件。

一方面,这种机制带来了高度的统一性,带来了远超以太坊主网的TPS,但另一方面确实会严重占用链上区块空间,一旦出现问题,则很难取得共识以恢复网络。至少在2021-2023年间,每年均发生至少一次以上的主网宕机事件。

宕机事件为Solana的可扩展性贡献了反面教训。Solana联创Toly认为ZKL2上的证明者无法做到实时执行,因此,最终ZKL2s的链上执行将和既定顺序不一致,为此,要么用户运行完整节点增加网络负担,要么依赖少数诚实节点以提高效率而走向中心化。

但目前的事实证明,高性能L1Solana似乎也无法解决实时执行问题,毕竟,垮掉的网络最后也会丢失既定顺序,而强行恢复后的数据也会变成人为认定的“共识”,而非网络本身的自发状态。

后果:Polygon的扩展性关键所在

PolygonzkEVM先是遭遇Solana质疑,后是宣发出现乌龙事件,被质疑不专业和具有误导性。因此其开发者JordiBaylina跳出来承担了对专业性的挑战,集中在解释证明者并非是ZKL2s的限制因素,真正的阻碍者其实是DA。

首先是zkRollup的运作流程,如下图所示,大致可分为三步:

保持网络同步,无论是何种架构的Rollup,只要涉及L2上的数据,都需要为批量处理的消息进行有效性证明,以在最终回传至L1时可以得到确认,

聚合证明生成,需要使用zk证明方案,并行处理可以加速这个过程,但批量证明的生成本身确实需要一些时间。甚至可以设计动态机制,网络证明者的数量可以根据网络需求进行增加或减少。

在ZKP运行后,会对数据生成一个完整的树状证明网络,可以让不同的服务器进行数据验证,并将结果发送到L1链上。

其次是成本问题,其中最关键的是证明成本,ZK运作调用的软硬件和时间都会被TX费用纳入计算因子,最终反映到网络的GasFee上,而不同的算法,如STARK/SNARK/FLONK等会大幅优化网络使用成本。而其中的关键还在于,数据的加载并不需要完全顺序执行,以便于并行化处理。

因此,Solana联创Toly所认为的证明者并不能阻碍ZK证明方案的运行,而真正的阻碍是数据可用性,需要ETH2.0和DankSharding、EIP4844等方案来解决。

结论:扩展性究竟走向何方

围绕PolygonzkEVM的争论将继续进行,其中的关键在于zkEVM究竟能在多大程度上解决当前的扩展性问题,这也是一众L1/L2s接下来面临大规模dApp和用户量所直面的考验。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

[0:46ms0-4:891ms