[ad_1]
以太坊联合创始人 Vitalik Buterin 在本周末最近的一篇博客文章中分享了他对以太坊生态系统“未被充分讨论但非常重要”的方面的思考。
题为“以太坊的多客户端哲学将如何与 ZK-EVM 交互?”的帖子专注于为 ZK-EVM 创建多客户端生态系统的技术挑战、权衡和潜在解决方案。
Zk-EVM 的多客户端问题
Vitalik 相信 ZK-EVM 将在未来发展成为以太坊第 1 层安全和验证过程的重要组成部分。 零知识 (ZK) 技术允许开发人员在不透露任何额外信息的情况下证明交易或消息的真实性。 因此,它允许一方说服另一方消息是真实的,而无需透露消息有效性以外的任何知识。
然而,根据以太坊联合创始人的说法,ZK 技术的隐私保护性质可能会破坏更广泛的 EVM 格局,因为以太坊客户在实施协议规则方面存在细微差别。
ZK 汇总中的第 2 层协议已成功使用 ZK 证明,并通过将多个交易捆绑到一个证明中来帮助扩展以太坊。 然而,随着 ZK-EVM 发展到验证主网上的执行,“ZK-EVM 实际上成为第三种以太坊客户端,与今天的执行客户端和共识客户端一样对网络安全至关重要。”
将 ZK-EVM 视为第三种类型的以太坊客户端引发了 Vitalik 的以下问题,
“我们实际上如何为 ZK 证明以太坊区块的正确性创建一个“多客户端”生态系统?”
随着生态系统的扩展,Vitalik 希望保持“多客户端理念”的优势,同时利用 ZK-EVM 的功能来提高以太坊网络的可扩展性、安全性和分散性。
根据 Vitalik 的说法,将 ZK 技术用于多个客户端的主要技术挑战与延迟和数据效率低下有关。 此外,由于对协议规则或 ZK-EVM 实现的特定解释,各个以太坊客户端处理零知识证明的方式不同。
ZK-EVM 多客户端解决方案
尽管存在这些挑战,Vitalik 认为创建一个开放的多客户端 ZK-EVM 生态系统是可行的,并且有利于以太坊的安全性和去中心化。
下面是以太坊生态系统的共识层和执行层中使用的各种客户端的可视化表示。
Vitalik 认为,拥有多个客户端可以降低一次实施中出现单个灾难性错误的风险,从而提高网络的安全性和去中心化程度,而这种错误可能会导致整个网络崩溃。 此外,多客户理念有助于防止权力集中在一个开发团队或组织内,促进政治权力下放。
Vitalik 针对该问题提出了三种可能的解决方案,如下所示。
- “单一 ZK-EVM:放弃多客户端范式,选择我们用来验证区块的单一 ZK-EVM。
- Closed multi ZK-EVM:就一组特定的多个 ZK-EVM 达成一致并达成共识,并有一个共识层协议规则,即一个区块需要来自该集合中超过一半的 ZK-EVM 的证明才能被认为是有效的.
- 开放多 ZK-EVM:不同的客户端有不同的 ZK-EVM 实现,每个客户端在接受一个块为有效之前等待与自己的实现兼容的证明。”
在 ZK-EVM 的背景下,Vitalik 支持开放的多客户端 ZK-EVM 生态系统的想法。 不同的客户端有不同的 ZK-EVM 实现,每个客户端在接受一个块为有效之前等待与自己兼容的证明。
“对我来说,(3) 似乎是理想的,至少直到并且除非我们的技术改进到我们可以正式证明所有 ZK-EVM 实现彼此等效的程度……”
然而,一旦技术改进到 ZK-EVM 实现有些标准化的程度,Vitalik 认为解决方案将是选择最有效的选项。 他认为“挑战 [for option 3] 似乎比其他两个选项的挑战要小,至少目前是这样。”
Vitalik 还对人工智能最近的快速发展点头表示,人工智能的进步可以“加速”证明 ZK-EVM 实现的发展。
“从长远来看,当然任何事情都有可能发生。 也许 AI 会加强形式验证,使其可以轻松证明 ZK-EVM 实现等效并识别导致它们之间差异的所有错误。”
[ad_2]
Source link