V神深入探讨: ZK-EVM要实现 具有哪些关键属性

以太坊共同创办人Vitalik Buterin(V神)今14)日发布新文章《神圣的ZK-EVM会是什么样子》，内容深入探讨ZK-EVM(Zero-Knowledge Ethereum Virtual Machine)的概念及其可能实现的形式。V神指出，当前的Layer-2 EVM协定(如Optimistic Rollups和ZK Rollups)需要依赖EVM的验证机制，但这同时意味着他们必须信任庞大的程式码资料，一旦代码资料库中存在漏洞，这些虚拟机器可能面临被攻击的风险。

此外，即便是希望与L1 EVM保持完全等效的ZK-EVM，也需要一定形式的治理机制，以便将L1 EVM的变更复制到自己的EVM实作中。

ZK-EVM实现具有哪些关键属性

因此V神认为上述这些情况都不是最理想的，他在文章提及几个可以实现的ZK-EVM版本]，并讨论权衡和设计挑战，以及不朝特定方向发展的原因。

对于ZK-EVM的关键属性，V神列出:

其本功能:ZK-EVM应该具备验证以太坊区块的能力，并与以太坊多客户端哲学相容。这意味着避免固化单一证明系统，而是允许不同客户端使用不同证明系统。

数据可用件和审计性:对于任何由ZK-EVM验证的EVM执行，应确保其底层数据是可用的，以便于出现问题时进行检查和重新验证.

可升级性: 如果某个ZK-EVM方案被发现存在缺陷，应能够迅速修复，无需进行硬分叉

支持几乎是EVM的系统: 该设计应支持与EVM略有差异的第二层(L2)虚拟机器。这意味着L2可以对与EVM完全相同的部分使用固化的ZK-EVM，仅在不同的部分依赖自己的代码。V神还讨论了[开放式与[封闭式多客户端系统的优缺点，开放式系统允许不同证明系统的存在，而封闭式系统则限定一组固定的证明系统，他则倾向于开放式系统，因为它们提供更多的灵活性和适应性。

文章还涉及了实施ZK-EVM的具体方案和扩展，如新的交易类型、区块附属对象的扩展、以及验证和重新证明的机制。

这些设计旨在提高以太坊网络的效率和安全性，同时保持灵活性和可扩展性。透过这些创新，ZK-EVM可以促进以太坊生态系统的整体发展，为用户和开发者带来更多的机会。最后，V神还提到了对 [almost-EVM 的支持，即允许L2的VM在与EVM只有微小差异的情况下，仍能使用协议内的ZK-EVM，同时也为EVM的部分定制化提供了灵活性。

V提出的ZK-EVM概念

总结来说，V神所提出的ZK-EVM概念，旨在将ZK-EVM直接整合进以太坊协议，使其成为协议的一部分，同时减少Layer-2项目对Ethereum协议功能的重复实现，并提高其在验证Layer-1Ethereum区块时的效率另外，V神也展望未来光客户端(lightclients)将更加强大，甚至可能利用ZK-SNARKs(零知识证明)完全验证L1EVM执行，届时Ethereum网络将实质上具备内建的ZK-EVM功能。