TVL:零知识证明正在改变以太坊的游戏规则

从区块链层面出发,以太坊生命的初始阶段是单一的。这意味着在最初的几年里,Layer1以太坊主网全权负责执行自己的交易,促进自己的网络安全,并为自己的数据可用性提供服务。

然而,在过去的几年里,以太坊一直在迅速转向模块化设计。这意味着对以太坊的运行来说,采用外部第三方解决方案对自身进行扩展,是一种理想的方式。

比如近年来,像Arbitrum和zkSync等Layer2项目的兴起,它们在以太坊之外执行交易,然后有效地将批量交易“Rollup”到以太坊Layer1,在此过程中提供便宜、合理的价格和便捷的用户体验。

ModularEthereum-viaUltraScalableEthereum

从L1到L2

互操作性协议Rarimo与Polygon ID合作推出首个用于验证凭证的多链零知识证明:金色财经报道,互操作性协议Rarimo宣布与隐私保护ID基础设施Polygon ID合作,这是链上身份向前迈出的革命性一步,每个使用 Polygon ID 的身份提供商都立即实现跨链,这不仅是Polygon ID首次成为多链,而且由于PolygonID是第一个也是唯一一个允许用户将链外凭证表示为零知识证明 (ZKP) 的解决方案,此次合作标志着数字身份领域的首创。Rarimo表示,既然以太坊已被纳入其中,Polygon上颁发的凭证将在未来几周内在BNB Chain和Avalanche上提供。[2023/7/22 15:51:50]

今天,以太坊L1本身实现了30笔/秒的交易。但为了更好地处理全球链上活动,且不会造成重大网络拥塞,L2的扩展创新将给以太坊带来更强大的能力。

具体而言,实现这样的优秀能力有两种主要类型的解决方案:链上扩展和链下扩展。链上扩展是指直接对区块链进行任何更改,以提高其交易执行能力,即吞吐速度。对以太坊来说,分片就是一个例子。它把以太坊活动的负载分散到数十个主链,而不是单一的主网上。

零知识证明公司RISC Zero与L2协议Layer N联合推出零知识欺诈证明系统:5月24日消息,零知识证明初创公司RISC Zero宣布与模块化L2协议Layer N联合推出零知识欺诈证明系统。该系统通过将Layer N的执行环境移植到RISC Zero的zk虚拟机上,以实现提升区块链性能的同时,保证区块链的可靠性和安全性。未来,zkVM还将实现与其他执行层的兼容,如EVM、SVM和WASM等。

此前报道,去年8月,零知识证明初创公司RISC Zero宣布完成1200万美元种子轮融资,Bain Capital Crypto领投。[2023/5/24 22:15:02]

ThefutureofEthereumL2s+shards-viaVitalikButerin

零知识硬件初创公司Cysic完成600万美元种子轮融资:金色财经报道,零知识 (ZK) 硬件初创公司 Cysic 完成了 600 万美元的种子轮融资。该轮融资由 Polychain Capital 领投,其他投资者包括 Hashkey、SNZ Holding、ABCDE 和 Web3.com 基金会。[2023/2/17 12:13:48]

链下扩展是指在链下执行交易执行能力,即L2。链下扩展不像分片一样将L1拆分为许多主链,而是在外部构建第2层。

以太坊的叙事也正逐渐从L1向L2转变。

而当谈到L2时,当下最受欢迎的解决方案之一是ZKRollup。这是因为在速度上,以太坊和它不在一个层级。ZKRollup可以实现大约2000TPS的速度,而以太坊目前是30TPS。

依靠以太坊安全性的同时,ZKRollup既带来了高效的运行速度,又提供了低廉的价格,受到当前资本及市场对它的极大关注。其中一些L2项目也在飞速发展,如:

DoraHacks平台开始支持基于零知识证明的隐私二次方资助:据官方消息,DoraHacks开发者激励平台HackerLink已经完成整合Dora Factory隐私投票模块MACI,并开始支持基于零知识证明的二次方投票和二次方资助轮次。

MACI(最小化抗共谋基础设施)是Dora Factory以太坊工厂的核心模块之一,通过对投票进行加密以及对结果提供零知识证明,实现隐私投票,将链上和链下治理的投票过程转化为非合作博弈,以达到抗共谋的目的。

DoraHacks对MACI代码中的安全性和效率问题进行了系统性优化。ETH Denver 2022将于2月20日与DoraHacks共同推出第一个中等规模的MACI二次方资助轮次,超过2,000名开发者和10,000名参会者将通过DoraHacks平台进行零知识二次方投票,这是MACI和链上隐私投票的第一次中等规模应用。[2022/1/28 9:19:46]

dYdX:加密货币和衍生品交易所,TVL达$375

动态 | 全新零知识证明论文被IEEE学术会议收录 或能抵抗量子计算机:由四位研究人员共同发表的论文透明多项式委托及其在零知识证明中的应用被第 41 届电气电子工程师学会安全隐私学术会议(IEEE S&P 2020)接受,其作者之一的Yupeng Zhang在推特上公开了该消息,他来自于德克萨斯州农工大学,另外三名作者来自于加州大学伯克利分校,分别是Jiaheng Zhang、Tiancheng Xie和Dawn Song (宋晓冬),宋晓冬教授也是区块链隐私计算平台Oasis Labs的创始人。据Yupeng Zhang介绍,该论文提出了一个全新且透明的零知识证明机制,可以提供非常快的验证时间,也不需要可信设置(trusted setup)。论文中介绍到,该零知识证明机制仅使用了轻量级的加密算法比如抗碰撞的哈希函数,所以也可能是量子安全的。[2019/12/26]

MLoopring:L2交易,NFTs,TVL达$121

MzkSyncLite:L2交易,NFTs,TVL达$65M

Space:L2交易,NFTs,TVL达$49M

Fourofthelargest10L2stodayareZKrollups-viaL2BEAT

从ZKRollup到zkEVMs

ZKrollup有两个主要架构:链上以太坊智能合约和基于以太坊交易和执行环境的链下虚拟机。

zkEVM则是与以太坊虚拟机兼容的ZKrollup,即以太坊L1的执行环境。

IllustrationofPolygonzkEVM’sgeneralapproachtoscaling-viaPolygon

在以太坊开始扩容竞赛时,像Arbitrum和Optimism这样的OptimisticRollup具有巨大的优势,因为它更容易与EVM兼容甚至完全等效。这种技术“亲和力”使应用程序可以轻松地移植其代码,并使用从L1到L2的自己喜欢的工具,这是很棒的用户体验。

相比之下,ZKRollup从定制的虚拟机开始,意味着项目需要进行大量的工作,即“解释”来自EVM的代码或使用从头开始编写的新代码。

因此,zkEVM的到来代表了VitalikButerin在2021年预测的重要一步,即“随着技术的改进,中长期来看,ZKRollup将在所有用例中胜出。由于ZKRollup使用了加密证明,因此与OptimisticRollup相比,它们具有内置的隐私和安全优势。当您将EVM兼容性添加到组合中时,ZKRollup有可能在未来超越OptimisticRollup”。

Type1、Type2zkEVM的竞赛进行时

如果说以太坊“扩容战”是指OptimisticRollup和ZKRollup之间的竞争,以提供最佳的区块链扩容解决方案。那么发生在ZKRollup内部之间的竞争也才刚刚开始,即看看哪个团队能够实现VitalikButerin定义的第一个“Type1”和“Type2”zkEVM。

Buterin’stypesofzkEVM

2022年8月,Buterin提供了一种衡量zkEVM能力的方法,即以Type1到Type4的等级来对其进行评级。Type1zkEVM将与EVM完全等效,甚至可以用于升级以太坊本身,而Type4zkEVM只能与以太坊某些应用程序兼容。

也就是说,由于工作涉及较广,Type1zkEVM的实现还需要一段时间,但是现在有多个项目正在尝试Type2zkEVM。

ThemainzkEVMeffortstoday-viaImmutableX

例如,PolygonzkEVM是Type3zkEVM,并且正在成为Type2zkEVM,接近EVM等效。

Scroll是另一个值得关注的项目,目前正在朝着Type2zkEVM发展。

相比之下,zkSyncEra通过自定义功能和zkPorter进行了增强。当然,它的可能性范围是开放的。

迄今为止,zkEVM的最新进展项目有:

将于3月27日开启主网测试版的PolygonzkEVM;

已向Buider推出主网的zkSyncEra;

刚刚发布GoerlizkEVM测试网的Scroll;

处于Type3状态并且正在升级的Starknet的KakarotzkEVM;

Source:Messari

结语

以太坊本身可能会升级到Type1zkEVM,以进一步进行链上扩展,这是极有可能的事。与此同时,作为潜在升级的补充,从Type2s到Type4s的外部zkEVM将继续蓬勃发展,为开发人员和用户提供以太坊L1无法提供的独特自定义功能,如用户体验增强功能。

总而言之,ZKRollup的最终结果是zkEVM,而这些努力的项目中的第一个正处于推出市场的前沿。2023年也将是普遍加密用户能够首次尝试zkEVM的一年。

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

金星链

[0:15ms0-0:886ms