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

2024-08-20 14:10 loading...

阿里快讯(Alibtc.com)：以太坊共同创办人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神还讨论了「开放式」与「封闭式」多客户端系统的优缺点，开放式系统允许不同证明系统的存在，而封闭式系统则限定一组固定的证明系统，他则倾向于开放式系统，因为它们提供更多的灵活性和适应性。