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