从长远来看，当然任何事情都有可能发生。也许人工智能会加强形式验证，使其可以轻松证明ZK-EVM实现是等效的，并识别出导致它们之间差异的所有错误。这样的项目甚至可能是现在就开始工作的东西。如果这种以核查为基础的形式方法取得成功，就需要建立不同的机制，以确保议定书在政治上继续去中心化的执行。也许到那时，协议将被认为是“完整的”，不可变性规范将更强。但即使这是更长远的未来，开放的多客户端ZK-EVM世界似乎是一个天然的垫脚石，无论如何都可能发生。

从近期来看，这仍是一段漫长的旅程。ZK-EVM已经在这里了，但是ZK-EVM要想在Layer 1真正可行，就需要它们成为类型1，并且足够快地证明它可以实时发生。有了足够的并行化，这是可行的，但要达到这个目标仍然需要做很多工作。像提高KECCAK、SHA256和其他哈希函数预编译的gas成本这样的共识变化也将是图景的重要组成部分。也就是说，过渡的第一步可能会比我们预期的发生得更快：一旦我们切换到Verkle树和无状态客户端，客户端就可以开始逐渐使用ZK-EVM，向“开放的多ZK-EVM”世界的过渡可能会自行开始。