# 选项 2 ：SNARK-验证 Layer 1 

By [何进入 Layer 1](https://paragraph.com/@layer-1) · 2023-04-03

---

Vitalik Buterin 表示可以编写更多的 SNARK 代码来验证区块共识，但这将是一个具有挑战性的工程问题：现阶段，ZK-EVM 需要几分钟到几小时来验证以太坊区块，如果采用该方案则需要：

（i）改进以太坊本身以删除对 SNARK 不友好的组件

（ii）通过专门的硬件获得巨大的效率提升么 

  (iii) 通过更多的并行化改进架构。

Vitalik Buterin 总结称，推动一个开放的多客户端 ZK-EVM 生态系统运行良好需要大量的工作。但好消息是，实现这个目标的大部分工作正在发生、或是未来无论如何都会发生，因为：

1、以太坊已经有多个强大的 ZK-EVM 实现。

2、在 Helios 和 Succinct 等轻客户端上的工作最终可能会变成对以太坊链的 PoS 共识端进行更全面的 SNARK 验证。

3、客户端可能会开始尝试使用 ZK-EVM 来证明自己的以太坊区块执行，特别是当无状态客户端并且没有技术需要直接重新执行每个区块来维护状态的时候，可能会从客户端通过重新执行它们来验证以太坊区块，再过渡到大多数客户端通过检查 SNARK 证明来验证以太坊区块。 

4、ERC-4337 和 PBS 生态系统可能会很快开始使用 BLS 和证明聚合等技术，这样可以节省大量 gas 成本。 

值得一提的是，Vitalik Buterin 还对最近人工智能技术的快速发展大加赞扬，他觉得人工智能的进步可以「加速」证明 ZK-EVM 实现的发展。「从长远来看，当然任何事情都有可能发生。也许 AI 会加强形式验证，使其可以轻松证明 ZK-EVM 实现等效并识别导致彼此之间差异的所有错误。」

---

*Originally published on [何进入 Layer 1](https://paragraph.com/@layer-1/2-snark-layer-1)*