以太坊的联合创始人Vitalik Buterin引入了一种概念架构，称为神圣的零知识以太坊虚拟机（ZK-EVM），以提高主链的效率。

根据Buterin的最新博客，ZK-EVM的这一提议旨在将先进的加密技术直接集成到以太坊的主链中。通过这样做，它试图为以太坊交易提供一个更安全、更高效的验证过程。具体而言，它旨在改进和优化第二层应用程序的操作。

在第1层发布了一篇关于神圣ZK EVM的好处和挑战的帖子：有不同的选择，权衡变得复杂！——vitalik.eth（@VitalikButerin）2023年12月13日

第1层上的收缩ZK-EVM

嵌入式ZK-EVM的关键思想是提供一个本地协议内系统，用于使用零知识证明验证以太坊块。该系统旨在减少对外部代码库的依赖，并将与这些外部系统中的错误相关的风险降至最低。

Buterin解释道：“这种情况是次优的，因为这些项目正在复制以太坊协议中已经存在的功能。”。内置的ZK-EVM将基本上执行与当前第1层以太坊区块类似的功能，但具有增强的安全性和效率。“除了正确功能和安全性的基本保证外，最重要的特性是速度。”

该提议的一个重要方面是与以太坊的多客户端哲学相兼容。Buterin强调了用不同的证明系统支持不同客户的重要性。

Buterin说：“与以太坊的多客户端哲学相兼容……意味着我们希望避免使用单一的证明系统，而是允许不同的客户端使用不同的证明系统。”。

此外，Buterin还讨论了确保该系统中数据可用性和可审计性的重要性。他认为，ZK-EVM证明的任何执行都必须保证在出现问题时可以访问底层数据进行检查。这种透明度对于保持网络中的信任和可靠性至关重要。

关键术语和概念

为了更好地理解零知识以太坊虚拟机的上下文，必须澄清一些关键术语和概念：

零知识证明（ZK证明）：这些是加密方法，允许一方向另一方证明声明是真实的，而不会透露任何超出声明本身有效性的信息。在区块链的背景下，ZK-Proofs能够验证交易，同时保护隐私并减少需要处理和存储的数据量。

以太坊虚拟机（EVM）：EVM作为一台去中心化的全球规模计算机运行，所有以太坊账户和智能合约都存在于其中并进行交互。在以太坊上执行的每一笔交易或智能合约都通过EVM进行处理，EVM是所有网络活动的中央执行器。

第2层解决方案：这些技术建立在区块链（称为第1层）之上，以提高其可扩展性和效率。第二层解决方案，如汇总或状态通道，处理主链外的交易，但仍从底层的第一层区块链获得安全性。

微信里点“发现”，扫一下二维码便可将本篇文章分享至朋友圈