Vitalik Buterin 发文探讨 ZK-EVM 的未来展望与挑战
VitalikButerin发文探讨ZK-EVM的未来展望与挑战12月13日消息,以太坊联合创始人VitalikButerin发文深入探讨了ZK-EVM(Zero-KnowledgeEthereumVirtualMachine)的概念及其可能实现形式。文章指出,当前的Layer-2EVM协议(如OptimisticRollups和ZKRollups)需要依赖于EVM的验证机制,但这同时意味着他们必须信任庞大的代码库。一旦代码库中存在漏洞,这些虚拟机可能面临被攻击的风险。此外,即便是希望与L1EVM保持完全等效的ZK-EVM,也需要一定形式的治理机制,以便将L1EVM的变更复制到自己的EVM实现中。Buterin提出的ZK-EVM概念,旨在减少Layer-2项目对Ethereum协议功能的重复实现,并提高其在验证Layer-1Ethereum区块时的效率。他还展望了未来光客户端(lightclients)将更加强大,甚至可能利用ZK-SNARKs(零知识证明)完全验证L1EVM执行,届时Ethereum网络将实质上具备内置的ZK-EVM功能。文章还讨论了实现ZK-EVM的不同版本,包括它们的设计挑战、权衡利弊,以及为何某些方向可能不被采纳。强调了在实现协议功能时,应权衡其优势与保持基础协议简洁性的好处。对于ZK-EVM的关键属性,Buterin强调了其基本功能性、与Ethereum多客户端哲学的兼容性、数据可用性要求、可审计性和可升级性。此外,他还提到了对almost-EVM的支持,即允许L2的VM在与EVM只有微小差异的情况下,仍能使用协议内的ZK-EVM,同时也为EVM的部分定制化提供了灵活性。