区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > Gate.io > 正文

TALI:V神最担心的“zkEVM多客户端问题”,终于有解决方案了_COPTER

作者:

时间:

3月31日,以太坊联合创始人“V神”?Vitalik?Buterin在其官方博客上发布文章《以太坊的多客户端理念将如何与ZK-EVM交互?》,分享了他对以太坊生态系统“未被充分讨论但非常重要”的方面的思考,其中深入探讨了为ZK-EVM创建多客户端生态系统的技术挑战、生态系统权衡和潜在解决方案。

接下来,让我们来解读这篇文章的关键要点。

Zk-EVM的多客户端问题

VitalikButerin相信ZK-EVM将在未来发展成为以太坊?Layer1??安全和验证过程的重要组成部分,零知识(ZK)技术也能让开发人员在不透露任何额外信息的情况下证明交易或消息的真实性。

这意味着,交易一方可以说服另一方其发出的消息是真实有效的,而无需透露消息有效性以外的任何知识。然而,根据VitalikButerin的分析,零知识证明技术的隐私保护性质可能会破坏更广泛的EVM格局,因为以太坊客户端在实施协议规则方面存在细微差别。

V神:元宇宙仍处于能被广泛认知的早期阶段:金色财经报道,畅销书《虚拟主义宣言》作者 MacaesBruno 在社交媒体发文表示,仍然不确定加密货币和元宇宙之间的联系是什么。也许,虚拟世界需要一些不变性才能茁壮成长,而只有加密货币能够提供这种不变性?

以太坊创始人 V 神对此回应称,对元宇宙到底有没有一个确定的定义呢?感觉它仍然处于能被广泛认知的早期阶段,任何人都可以借此来描述他们的产品,只要为了让其听上去足够meta或足够虚拟等。V 神补充说明到,加密和元宇宙似乎都在试图在虚拟世界中复制真实性的各个方面。但他们关注的方面似乎完全不同,并且几乎是截然相反的。[2022/6/12 4:19:37]

现阶段,ZKRollups中的二层协议已成功使用零知识证明技术,并通过将多个交易捆绑到一个证明中来帮助扩展以太坊区块链。然而,随着ZK-EVM发展到验证主网上的交易执行,VitalikButerin认为“ZK-EVM实际上成为了第三种以太坊客户端,与当前其他执行客户端和共识客户端一样,对以太坊网络的安全至关重要。”

V神从SHIB池中撤出流动性资金并向印度新冠救济基金会捐赠50万亿枚:据The Block研究分析师Igor Igamberdiev推文消息,根据Etherscan数据,V神(Vitalik Buterin)已从SHIB池中撤出了流动性资金。此外,V神还抛售了SHIB、AKITA及ELON,并换为ETH。部分代币被转至Polygon创始人Sandeep Nailwal上个月启动的印度新冠加密救济基金会(India Covid-Crypto Relief Fund)、Methuselah基金会和GiveWell基金会。其中,V神向印度新冠加密救济基金会捐赠了50万亿SHIB(目前价值12亿美元)。此前消息,V神钱包曾在2020年8月收到50%的SHIB。[2021/5/13 21:55:57]

不过,一旦将ZK-EVM视为第三种类型的以太坊客户端,VitalikButerin提出了以下这样一个问题:

声音 | V神:ETC的51%攻击证明了以太坊转向PoS的决定是正确的:以太坊创始人V神今日评论网友推文时称:“我不认为针对ETC的51%攻击能够证明ETH自身在工程上的完备性;两者的唯一区别是,ETH的算力是ETC的20多倍。不过,这也证明了ETH在理念上的是完备的,因为这证明了我们转向PoS的决定是正确的。”[2019/1/9]

“实际上,我们该如何为基于零知识证明以太坊区块的正确性创建一个“多客户端”生态系统?”随着以太坊生态系统的不断扩展,VitalikButerin希望保持“多客户端理念”的优势,同时利用ZK-EVM的功能来提高以太坊网络的可扩展性、安全性和去中心化性。

根据VitalikButerin的说法,将零知识证明技术用于多个客户端的主要技术挑战与延迟和数据效率低下有关。此外,由于对协议规则或ZK-EVM实现的特定解释,各个不同以太坊客户端处理零知识证明的方式也不一样。

声音 | 经济学家Tuur Demeester评论V神:硬叉忽视用户主权:V神转发比特币核心开发人员Luke Dashjr的推特,针对其提出的比特币网络太脆弱、易受攻击的观点,V神回复:应该训练用户在治理中发挥积极作用, 并通过更硬的分叉保持他们的软件经常更新。数字货币经济学家Tuur Demeester稍后评论该推文,称硬叉忽视了用户主权,这种做法就相当于宣称为了提高公民的参与度,我们鼓励他们推翻政府、改写宪法。[2018/9/25]

那么,这些问题该如何解决呢?VitalikButerin给出了解决方案——

ZK-EVM多客户端解决方案

尽管以太坊生态存在上述这些挑战,但VitalikButerin认为创建一个开放的多客户端ZK-EVM生态系统是完全可行的,并且有利于以太坊的安全性和去中心化,下图是以太坊生态系统的共识层和执行层中使用各种不同客户端的可视化表示。

金色财经现场报道,V神称:区块链在金融行业最有望成为领跑产业:在以太坊技术及应用大会上,观众提出问题:什么时候区块链能真正和一个特定的领域和行业在一起,成为领跑者?V神表示:金融行业,应用的最早,其他的行业如游戏行业也很有前景。也有人问及以太坊什么时候能涨到1万元,V神坦言不知道。[2018/6/3]

资料来源:vitalik.eth.limo

VitalikButerin相信,拥有多个客户端可以降低一次实施中出现单个灾难性错误的风险,从而提高网络的安全性和去中心化程度,而这种错误可能会导致整个以太坊网络崩溃。此外,多客户理念也有助于防止权力集中在一个开发团队或组织内,继而更好地实现网络去中心化。

针对上述提及的ZK-EVm多客户端问题,VitalikButerin提出了三种可能的解决方案:

1、单一的ZK-EVM:放弃多客户端范式,选择用来验证区块的单一ZK-EVM。

2、封闭的多个ZK-EVM:就一组特定的多个ZK-EVM达成一致并达成共识,并有一个共识层协议规则,即一个区块需要来自该集合中超过一半的ZK-EVM的证明才能被认为是有效的.

3、开放的多个ZK-EVM:不同的客户端有不同的ZK-EVM实现,每个客户端在接受一个区块为有效之前等待与自己的实现兼容的证明。”

在ZK-EVM的背景下,VitalikButerin支持第三种,也就是开放的多个客户端ZK-EVM生态系统的解决方案,他认为不同的客户端有不同的ZK-EVM实现,每个客户端在接受一个区块为有效之前等待与自己兼容的证明。

“对我来说,第三种解决方案似乎是理想的,至少直到并且除非我们的技术改进到可以正式证明所有ZK-EVM实现彼此等效的程度......”不仅如此,一旦技术改进到ZK-EVM实现有些标准化的程度,VitalikButerin认为解决方案将是选择最有效的选项,而他还觉得“第三种解决方案的挑战似乎小于其他两个选项的挑战,至少目前如此。”不过,VitalikButerin提出开放的多个ZK-EVM可能会面临两大挑战:

延迟挑战:恶意攻击者可能会延迟发布一个区块,以及对一个客户端有效的证明。生成对其他客户端有效的证明实际上需要很长时间。这段时间足够长,可能会创建一个临时分叉并中断几个插槽的链。数据效率低下:ZK-SNARKs的一个好处是可以从区块中删除仅与验证相关的数据。例如,一旦你验证了一个签名,就不需要将签名保存在一个区块中,你可以只存储一个表示签名有效的位,以及区块中确认所有签名的单个证明。但是,如果希望能够为一个区块生成多种类型的证明,则需要实际发布原始签名。?未来ZK-EVM将如何进入?Layer1??

选项1?:限制Layer1?,强制几乎所有活动移动到?Layer2??

随着时间的推移,VitalikButerin建议可以将第1层每个区块的gas目标从1500万减少到100万,足以让一个区块包含一个SNARK和一些存款和取款操作,但其他的不多,从而强制几乎所有用户活动移动到Layer2?协议。

选项2?:SNARK-验证Layer1?

VitalikButerin表示可以编写更多的SNARK代码来验证区块共识,但这将是一个具有挑战性的工程问题:现阶段,ZK-EVM需要几分钟到几小时来验证以太坊区块,如果采用该方案则需要:改进以太坊本身以删除对SNARK不友好的组件通过专门的硬件获得巨大的效率提升么(iii)通过更多的并行化改进架构。

总结

VitalikButerin总结称,推动一个开放的多客户端ZK-EVM生态系统运行良好需要大量的工作。但好消息是,实现这个目标的大部分工作正在发生、或是未来无论如何都会发生,因为:

1、以太坊已经有多个强大的?ZK-EVM?实现。

2、在?Helios?和?Succinct?等轻客户端上的工作最终可能会变成对以太坊链的?PoS?共识端进行更全面的SNARK验证。

3、客户端可能会开始尝试使用ZK-EVM来证明自己的以太坊区块执行,特别是当无状态客户端并且没有技术需要直接重新执行每个区块来维护状态的时候,可能会从客户端通过重新执行它们来验证以太坊区块,再过渡到大多数客户端通过检查SNARK证明来验证以太坊区块。?

4、ERC-4337和?PBS?生态系统可能会很快开始使用BLS和证明聚合等技术,这样可以节省大量gas成本。?

值得一提的是,VitalikButerin还对最近人工智能技术的快速发展大加赞扬,他觉得人工智能的进步可以“加速”证明ZK-EVM实现的发展。“从长远来看,当然任何事情都有可能发生。也许?AI?会加强形式验证,使其可以轻松证明ZK-EVM实现等效并识别导致彼此之间差异的所有错误。”

标签:TERITATALITALCOPTERBABYSAITAMA币Vitalick NeuterinTALI币

Gate.io热门资讯
比特币:最强组合HuggingFace+ChatGPT=「贾维斯」现在开放demo了!_比特币今日价格行情中国走势图

来源:新智元 前段时间,浙大&微软发布了一个大模型协作系统HuggingGPT直接爆火.

ING:NexGen:加密世界十个潜在的创新浪潮与方向_GIN

NexGenVenture是一家规模超千万美元的基金,是一个聚焦年轻degen与青年才俊的投资机构,并且坚信新时代年轻力量有潜力塑造并赋能超万亿美元加密货币市场的未来.

NFT:数字集体主义:加密资本主义与产权垄断_INT

现在是2077年,我们进入了新产权时代,通过在元宇宙建立新的秩序,我们为所有人构建了对抗资本垄断的工具-全民公有土地,利用哈伯格税实现全民UBI,通过正确利用资本效率,我们创造了一个新范式.

以太坊:Render Network为何迁往Solana,并构建铸造和销毁模型_VITA

3月21日,分布式渲染项目RenderNetwork宣布在Solana网络上构建BME模型,以回应社区对从Polygon网络转向Solana的提案.

HTT:全网最全的Layerzero交互指南_TPS

注:本文来自@BiteyeCN推特,MarsBit整理如下:未来的区块链必然是多链兴起的世界,而全链协议的未来也会是重点发展的方向之一,Layerzero作为全链协议底层的基础设施.

SWAP:长推:去中心化交易所的最新发展和未来_DEX

注:本文来自@TheDeFinvestor推特,MarsBit整理如下:在过去的几周里,我们看到了DEX创新的激增。这是一个关于DEX领域的最新发展和未来的线程.