Vitalik Buterin 提出“神圣的 zkEVM”来解决以太坊上的第 2 层挑战

2023-12-14 11:39

免责声明 免责声明:内容来源于网络收集,不构成任何投资建议!

Buterin 的新提案通过直接在以太坊内部构建零知识以太坊虚拟机来解决可扩展性问题。

Vitalik Buterin 提出“神圣的 zkEVM”来解决以太坊上的第 2 层挑战

以太坊联合创始人Vitalik Buterin 在12 月向区块链平台引入了一个新概念,称为“零知识虚拟机(ZK-EVM)”。 13 篇博客文章。

该提案的主要目标是显着提高基于太坊第的第2层协议(包括optimistic和ZK rollups)的效率和安全性。

解决第 2 层协议中的挑战

Buterin 的提议源于简化以太坊当前第2 层解决方案的需要。这些协议对于以太坊的可扩展性至关重要,并且严重依赖EVM 验证,而EVM 验证目前涉及依赖庞大且可能存在漏洞的代码库。

此外,旨在模拟Layer-1 EVM 的ZK-EVM 面临着跟上主要以太坊协议变化的挑战,从而导致冗余工作并增加安全缺陷的风险。

Buterin 提出的解决方案是将ZK-EVM 直接嵌入到以太坊网络中。这个内部ZK-EVM 将负责验证第1 层以太坊块,提供更高效、更安全的方法。

随着以太坊的发展,特别是随着使用ZK-SNARK的轻客户端的发展,原生ZK-EVM的概念变得越来越实用和有吸引力。

拟议的 ZK-EVM 的核心方面

Buterin 设想ZK-EVM 主要关注通过处理前状态根、块和后状态根等输入来验证以太坊块。

这将确保后状态根作为块执行的真实结果的完整性。该提案还符合以太坊的多客户端理念,支持使用不同的证明系统,并强调数据可用性和可审计性的重要性。

正如Buterin 所描述的,实施ZK-EVM 会带来一些设计挑战和权衡。基本属性包括:

1. 兼容性和适应性:系统应该足够灵活,能够支持多种认证系统,体现以太坊对多客户端环境的承诺。

2. 确保数据可用性:对于实现不同客户的验证至关重要。

3、强调可审核性和可升级性:任何问题都可以轻松排查并快速解决,无需硬分叉。

4. 支持“几乎EVM”创新:允许第2 层解决方案在标准EVM 功能之上进行扩展和创新。

Buterin 讨论的一个关键部分围绕着开放式多客户端系统和具有预定证明系统的封闭系统之间的选择,其中证明在外部进行验证。 Buterin 主张建立一个可用的系统,尽管其复杂性更高,但仍然灵活且与以太坊的基本原则兼容。

Buterin 强调速度对于ZK-EVM 的实现至关重要。随着并行化和硬件加速方面的技术进步,目标是减少证明生成时间,实现近乎瞬时的处理。