# 从近期来看

**Published by:** [ SNARK – 验证 Layer 1](https://paragraph.com/@snark-layer-1/)
**Published on:** 2023-04-03
**URL:** https://paragraph.com/@snark-layer-1/0rnvXPR8jzosfhN1JzXP

## Content

要让一个开放的多客户端 ZK-EVM 生态系统运行良好，需要做大量的工作。但真正的好消息是，大部分工作正在进行或即将进行： •我们已经有了多个强大的ZK-EVM实现。这些实现还不是类型 1(完全等效于以太坊)，但其中许多正在积极地朝着这个方向发展。 •在轻客户端 (如Helios和Succinct) 上的工作最终可能会变成以太坊链 PoS 共识端的更完整的 SNARK 验证。 •客户端可能会开始尝试 ZK-EVM 来证明以太坊区块的执行，特别是当我们有了无状态的客户端时，在技术上不需要直接重新执行每个区块来维护状态。我们可能会从客户端通过重新执行来验证以太坊区块，过渡到大多数客户端通过检查 SNARK 证明来验证以太坊区块，这将是一个缓慢而渐进的过渡。 •ERC-4337 和 PBS 生态系统可能很快就会开始使用 BLS 和证明聚合等聚合技术，以节省 gas 成本。在 BLS 聚合上，工作已经开始。 有了这些技术，未来看起来非常美好。以太坊区块将比今天更小，任何人都可以在他们的笔记本电脑，甚至他们的手机或在浏览器扩展中运行一个完全验证的节点，而这一切都将在保留以太坊多客户端理念的同时发生。 从长远来看，当然任何事情都有可能发生。也许人工智能会加强形式验证，使其可以轻松证明 ZK-EVM 实现是等效的，并识别出导致它们之间差异的所有错误。这样的项目甚至可能是现在就开始工作的东西。如果这种以核查为基础的形式方法取得成功，就需要建立不同的机制，以确保议定书在政治上继续去中心化的执行。也许到那时，协议将被认为是「完整的」，不可变性规范将更强。但即使这是更长远的未来，开放的多客户端 ZK-EVM 世界似乎是一个天然的垫脚石，无论如何都可能发生。 从近期来看，这仍是一段漫长的旅程。ZK-EVM 已经在这里了，但是 ZK-EVM 要想在 Layer 1 真正可行，就需要它们成为类型 1，并且足够快地证明它可以实时发生。有了足够的并行化，这是可行的，但要达到这个目标仍然需要做很多工作。像提高 KECCAK、SHA256 和其他哈希函数预编译的 gas 成本这样的共识变化也将是图景的重要组成部分。 也就是说，过渡的第一步可能会比我们预期的发生得更快：一旦我们切换到 Verkle 树和无状态客户端，客户端就可以开始逐渐使用 ZK-EVM，向「开放的多 ZK-EVM」世界的过渡可能会自行开始。

## Publication Information

- [ SNARK – 验证 Layer 1](https://paragraph.com/@snark-layer-1/): Publication homepage
- [All Posts](https://paragraph.com/@snark-layer-1/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@snark-layer-1): Subscribe to updates