ROLL:以太坊研究员:如何在以太坊Layer1上构建原生 zkEVM?_INE

似乎有一种普遍的误解,认为以太坊只能通过L2进行扩展。我可能会因此而受到一些指责,因为我写了太多关于L2Rollup的文章,而没有足够地覆盖L1扩展路线图,为此我道歉——在这里,我试图纠正这个错误,现在L2已经被很好地理解、接受和采用了。尤其是ArbitrumOne,它已经证明了自己是仅次于以太坊L1的第二大智能合约链。但首先,一个更糟糕的版本是「ETH」只能用L2来进行扩展。需要明确的是,ETH作为一种货币资产,可以通过L1、侧链、其他L1、L2、类似L2的结构(如validum和optimistic链)进行扩展,甚至可以通过CEX和中心化服务提供商进行扩展。有数百万ETH桥接到L2和非L2链,还有数百万桥接到非区块链场所。是的,L1和(成熟的)L2上的ETH为你提供了原生安全保证,但即使其他解决方案可能具有不同的安全假设,它们仍然可以扩展ETH或以太资产。说句题外话,事实上,比特币是一种主要通过中心化服务进行扩展的资产的完美例子,它仍然是该行业的主导资产。记住——一项资产要有价值,你所需要做的就是让最富有的1%的人、家庭和机构相信它。当然,这并不意味着以太坊可以扩展,我的观点是必须将ETH或以太币与以太坊区分开来。现在,这里还有进一步的细微差别。例如,BSC扩展了以太坊的技术堆栈,它确实在ETH和ERC-20之间架起了桥梁,但有些人可能会认为它不能扩展以太坊的网络。先不说这些,让我们回到将以太坊L1升级到zkEVM的问题上。实际上,在此之前,常规的免责声明—我是一名业余博主,我对区块链开发如何工作一无所知,我甚至不知道我所说的是否可能。所以,就把它当作一个扶手椅爱好者的白日梦吧。使用ZKP扩展区块链是一个古老的概念。我不知道它第一次被谈论是什么时候,但我相信它是关于比特币的,早于以太坊本身。ZK-SNARKing以太坊也早于Rollup的概念。当然,当ZKRollup在2020年第一季度与Loopring以及随后在第二季度与StarkEx和zkSync以及Mina一起证明这一概念时,对ZK-SNARKing以太坊的研究进入了超速发展阶段。2021年,我相信是MatterLabs普及了「zkEVM」术语,并被沿用了下来。以太坊基金会的隐私和扩展探索团队是L1-zkEVM的主要创新者,后来还加入了Scroll、Consensys、Taiko和其他贡献者。是zkEVM,ZK-EVM,ZkEVM,Zkevm吗?谁知道呢,我们就叫它zkEVM吧。那么,L1zkEVM升级将如何进行呢?有很多方法可以做到这一点,但这是我的看法。再说一次,我不知道这是否可行,所以就把它当成概念艺术吧。第一步是查看Type-2/2.5和Type-1zkEVMRollup在生产中对概念进行实战测试——即将推出的项目包括Scroll,Linea(?)和Taiko,缩短验证时间等。下一个先决条件是EIP-4844、无状态性和PBS(这些是并行发生的,所以说「下一个」可能会产生误导)。(注:当然,zkEVM可以没有这些,但是我这里只说说我是怎么看待它的,就像上面说的那样。)接下来,我想看看EnshrinedzkEVM桥。这将允许Type-1zkEVM部署在L1之上。这将对最终用于L1zkEVM的确切代码和zk电路进行实战测试。它还允许L2在没有任何智能合约的情况下完全去中心化存在,这有效地体现了L2zkEVMRollup。它们将插入PBS基础设施,由构建器充当测序器。你只需要一个诚实的建造者。这些构建器将对块进行排序,并将每个槽提交给L1。这意味着这些enshrinedRollup的最终结果将与L1相同。这也将带来有趣的新可能性,比如这些enshrinedRollup之间的原子可组合性。值得注意的是,Type-1zkEVMRollup可以存在于这样一个封闭的zkEVM桥之外——比如Taiko——所以也许我们可以通过称它们为Type-0来区分它们?需要说明的是,这些代码与将来的L1升级使用相同的代码。一旦在生产环境中对它们进行了实战测试,L1执行层就为zkEVM升级做好了准备。构建者将再次对交易进行排序,生成证明并向共识层提交证明和数据。请注意,对于L1zkEVM,现在在共识层上验证了证明。构建器不仅可以生成有效性证明,还可以生成verkle/状态证明和数据可用性/kzg证明。然后,非构建者节点只需验证这些证明,有效地验证大量的TPS,包括L2,L3,等等,所有这些都是由L1zkEVM的单一简洁证明证明的,一个证明可以统治所有这些,在消费者智能手机或笔记本电脑上。EnshrinedzkEVM桥将继续存在于L1执行层之上。另一种方法是将其移动到共识层,并且我们可以有许多enshrinedL1Rollup。但我认为最好的方法是有一个规范的enshrinedL1Rollup。顺便说一句,我曾在2021年称它们为「规范Rollup」,后来我看到贾斯汀·德雷克(JustinDrake)将同样的想法称为「enshrinedRollups」,这种命名法一直沿用至今。所以,无论如何,你有一个L1enshrinedRollup,许多Type-0enshrinedL2Rollups在上面,当然,还有传统的L2和主权Rollup。在这一点上,重要的是要注意,enshrinedL2Rollup有自己的一套权衡。当这一切发生的时候,zkEVM将会非常缓慢,有吞吐量和功能限制,我们可能每隔几年才升级一次,如果有的话。也不会有治理或主权——它们将完全由以太坊节点运行者执行。因此,创新将始终是在传统的L2上,在成熟的状态下,它将拥有99%的好处,而没有任何缺点,我预计90%的用户将继续使用它们。传统的L2、类似于L2的混合版本,如validiums或optimistic链、enshrinedL2和enshrinedL1Rollup,都为用户提供了不同的权衡和功能,我相信所有这些组合在一起,它们将能够满足未来几十年区块链生态系统中的几乎所有需求。当然,所有这些都可能是多余的,我们并不真正需要这么多的吞吐量,更谨慎的做法是将L1照原样僵化,我们可能永远不会在L1上看到zkEVM。即使发生这种情况,我也要说我们正在接近这个十年的尾声。谁知道呢?但我个人希望看到这个愿景成真,因为这听起来很有趣。我给你们留一个老帖子,FancifulEndgame。当然,事情已经发生了变化,但精神仍然存在。

01 Exchange 将引入 ZeroOne 自动做市 ZAMM:6月5日消息,Solana 生态衍生品协议 01 Exchange 将基于 01 Exchange 和 Serum 的永续衍生品市场引入 ZeroOne 自动做市 ZAMM,会根据传统的恒定乘积(x * y = k)自动做市模型,为 01 衍生品订单簿提供带来类似 AMM 的深度被动流动性。

今年 1 月份,01 Exchange 完成 220 万美元种子轮融资,Multicoin Capital 和 Alameda Research 领投,参投方包括 Solana Ventures、Ledger Prime 等。[2022/6/5 4:03:24]

分布式搜索引擎QitChain全网算力达410.7PiB:据官方消息,分布式搜索引擎QitChain与交易平台CoinW达成战略合作,并于2021年12月29日进行QTC首发。根据CoinW数据显示,截止2022年1月10日,QTC交易量为309.48万美元。

与此同时,据官网数据显示,QitChain全网算力有所增长,截止1月10日,QitChain全网算力为410.7PiB,全网最高已超过546PiB,为QTC正式上市前的132.85%。[2022/1/11 8:41:02]

声音 | 姜家志:CoinEx Chain目前已进入了智能合约的研发阶段:1月8日,CoinEx Chain首席开发者姜家志在“张力红人说:跨链双雄”主题AMA分享中提到,Cosmos主网在CoinEx DEX使用开发的时已经上线,虽然还有不少的问题,但已经是一个可用的网络了。而Polkadot是19年Q3才上线,1年的时间Cosmos的生态发展了很多,同样吸引了很多的开发者。而CoinEx Chain之所以选择基于Cosmos SDK进行开发最重要的原因也其完善的SDK,更多的定制性,以及IBC协议的设计。同时他透露了CoinEx Chain目前已进入了智能合约的研发阶段。[2020/1/8]

动态 | BlockCerts BlockChain和NextHash建立合作伙伴关系:BlockCerts BlockChain和NextHash-Nexinter Exchange宣布建立区块链互用性合作伙伴关系,这将使基于代币的企业能够在两个平台上线和交换。这将包括代币产品、智能合约、业务和企业资本以及身份认证工作(从KYC到协作)。(PRWeb)[2019/11/9]

动态 | Poloniex暂停BCHABC存取:据加密货币交易所Poloniex官方消息,由于BCH今天计划中的硬分叉出现问题,该交易所已暂时禁止BCHABC的存款和取款,直至另行通知为止。 Poloniex称,BCH核心开发人员正在努力解决。[2019/5/16]

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

区块博客

[0:15ms0-4:752ms