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