以太坊共同创办人Vitalik%20buterin(V神)今(14)日发布新文章《神圣的ZK-EVm会是什么样子》，内容深入探讨ZK-EVm(Zero-Knowledge%20Ethereum%20Virtual%20machine)的概念及其可能实现的形式。
V神指出，当前的Layer-2%20EVm协定(如optimistic%20Rollups和ZK%20Rollups)需要依赖EVm的验证机制，但这同时意味着他们必须信任庞大的程式码资料，一旦代码资料库中存在漏洞，这些虚拟机器可能面临被攻击的风险。
此外，即便是希望与L1%20EVm保持完全等效的ZK-EVm，也需要一定形式的治理机制，以便将L1%20EVm的变更复制到自己的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功能。
浏览量0
浏览量0
浏览量0
浏览量5
浏览量3
