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

本文来自cryptoslate,原文作者:Liam'Akiba'Wright?

Odaily星球日报译者|Moni

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

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

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

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

V神:经过认证的去中心化区块链世界即将到来:金色财经报道,以太坊联合创始人兼核心开发人员Vitalik Buterin针对Reddit社区的《我对web3的第一印象》话题回复称,我认为经过认证的去中心化区块链世界即将到来,而且比许多人想象的更接近于此。当然,所有这些技术都有可能建立起来,而很多人不会关心。但我比较乐观。用户通常接受开发者给出的默认设置,而且很多开发者确实真正关心去中心化和不可信任的问题(而运行中心化信任节点的法律问题越来越多,会促使他们更加关心)。用户今天拒绝的去中心化选项(例如,运行一个完整的节点)在今天确实是相当困难,所以用户坚持使用更中心化的选项是可以理解的,至少他们可以轻松使用。这里列出的建议都没有那么困难,甚至运行一个完整的节点本身也会随着时间的推移变得更容易和更便宜。因为像无状态和历史过期的想法开始发挥作用,所以我看不出为什么未来需要像今天这样的技术原因。[2022/1/9 8:35:19]

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

动态 | V神对ProgPoW提案“先斩后奏”的方式表示批判:以太坊联合创始人Vitalik Buterin对于部分社区成员悄无声息的就表示“批准”了ProgPoW提案这种方式表示批判。实际上该提案仍在讨论中,而社区开发人员也并就为此事达成一致。V神表示,ProgPoW从“唷,这件事已经过去了,很久没有被提起了”突然在1.5个小时里就变成了“天啊,它现在被安排在下一次硬分叉的日程上了???! ”据外媒报道,ETH 1开发人员在上周五突然宣布:“以太坊核心开发者正在推进抗ASIC的ProgPoW,硬分叉升级暂定在7月进行”。然而,其实以太坊核心开发者并未就ProgPoW达成一致意见,也没有暂定硬分叉升级时间。V神表示,他对此事是否能通过持中立态度,只批评这决策的过程。不过在过去两年中,他也曾三、四次微妙地明确疑似表示出他不是很赞成这个提议,当然并没有明确说过“不赞成”。(Trustnodes)[2020/2/25]

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

声音 | V神:考虑支持一个社区规范,用来奖励钱包和客户端开发者:V神在推特表示:“我建议我们考虑支持一个社区规范,即客户端/钱包开发者可以/应该对通过他们的钱包发送的tx收取1 gwei/gas费用,我们不试图规避这些费用,我们支持协议更改以使这些费用变得更容易。V神还补充道:“以用户平均gas成本增加约7%计算,可以为客户/钱包开发者提供可持续的非机构偏向市场资金,每年可筹集高达200万美元的资金。作为参考,这将涵盖迄今为止所有EF授权给eth2客户端的开发者。一旦使用量达到一定数量,这些费用可最好为一次性交易。将费用设为1 gwei而不是x%的原因是为了避免不优化gas费产生不正当奖励。”[2019/3/8]

“实际上,我们该如何为基于零知识证明以太坊区块的正确性创建一个“多客户端”生态系统?”

声音 | 赵长鹏反驳V神:创新将继续:针对此前V神在接受彭博采访时称“区块链行业将难以继续爆炸式增长”,币安创始人赵长鹏在其社交媒体表示,2000年,每个人都听说过互联网,但当时google,facebook,airbnb,uber,阿里巴巴规模有多大?赵长鹏称自己不能同意这种逻辑,创新将继续。[2018/9/12]

随着以太坊生态系统的不断扩展,VitalikButerin希望保持“多客户端理念”的优势,同时利用ZK-EVM的功能来提高以太坊网络的可扩展性、安全性和去中心化性。

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

斯坦福计算机科学家启动区块链研究中心 V神表示支持:对于斯坦福计算机科学家新近启动的区块链研究中心,V神最近表示十分兴奋并支持。该中心由计算机科学教授Dan Boneh和DavidMazières领导 ,首任教师将包括Alex Aiken、David Dill等人。以太坊基金会也支持该中心。[2018/6/21]

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

资料来源: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的一个好处是可以从区块中删除仅与验证相关的数据。例如,一旦你验证了一个签名,就不需要将签名保存在一个区块中,你可以只存储一个表示签名有效的位,以及区块中确认所有签名的单个证明。但是,如果希望能够为一个区块块生成多种类型的证明,则需要实际发布原始签名。?

Layer2??

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

选项2?:SNARK-验证Layer1?

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

PoS共识端进行更全面的SNARK验证。

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

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

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

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

区块博客

[0:31ms0-4:894ms