类型 1(完全等效于以太坊)ZK-EVM可用于验证 (Layer 1) 以太坊块的 EVM 执行。我们可以编写更多的 SNARK 代码来验证区块的共识侧。这将是一个具有挑战性的工程问题：今天，ZK-EVMs 需要几分钟到几个小时来验证以太坊区块，并且实时生成证明将需要一个或多个
从近期来看
要让一个开放的多客户端 ZK-EVM 生态系统运行良好，需要做大量的工作。但真正的好消息是，大部分工作正在进行或即将进行： •我们已经有了多个强大的ZK-EVM实现。这些实现还不是类型 1(完全等效于以太坊)，但其中许多正在积极地朝着这个方向发展。 •在轻客户端 (如Helios和Succinct) 上的工作最终可能会变成以太坊链 PoS 共识端的更完整的 SNARK 验证。 •客户端可能会开始尝试 ZK-EVM 来证明以太坊区块的执行，特别是当我们有了无状态的客户端时，在技术上不需要直接重新执行每个区块来维护状态。我们可能会从客户端通过重新执行来验证以太坊区块，过渡到大多数客户端通过检查 SNARK 证明来验证以太坊区块，这将是一个缓慢而渐进的过渡。 •ERC-4337 和 PBS 生态系统可能很快就会开始使用 BLS 和证明聚合等聚合技术，以节省 gas 成本。在 BLS 聚合上，工作已经开始。 有了这些技术，未来看起来非常美好。以太坊区块将比今天更小，任何人都可以在他们的笔记本电脑，甚至他们的手机或在浏览器扩展中运行一个完全验证的节点，而这一切都将在保留以太坊多客户端理念的...
从近期来看
要让一个开放的多客户端 ZK-EVM 生态系统运行良好，需要做大量的工作。但真正的好消息是，大部分工作正在进行或即将进行： •我们已经有了多个强大的ZK-EVM实现。这些实现还不是类型 1(完全等效于以太坊)，但其中许多正在积极地朝着这个方向发展。 •在轻客户端 (如Helios和Succinct) 上的工作最终可能会变成以太坊链 PoS 共识端的更完整的 SNARK 验证。 •客户端可能会开始尝试 ZK-EVM 来证明以太坊区块的执行，特别是当我们有了无状态的客户端时，在技术上不需要直接重新执行每个区块来维护状态。我们可能会从客户端通过重新执行来验证以太坊区块，过渡到大多数客户端通过检查 SNARK 证明来验证以太坊区块，这将是一个缓慢而渐进的过渡。 •ERC-4337 和 PBS 生态系统可能很快就会开始使用 BLS 和证明聚合等聚合技术，以节省 gas 成本。在 BLS 聚合上，工作已经开始。 有了这些技术，未来看起来非常美好。以太坊区块将比今天更小，任何人都可以在他们的笔记本电脑，甚至他们的手机或在浏览器扩展中运行一个完全验证的节点，而这一切都将在保留以太坊多客户端理念的...
结论
计，即使需要很多年，它也会实现。 在这里我们看到了与多客户端范例的交集：如果我们使用 ZK-EVM 来验证 Layer 1，我们使用哪个 ZK-EVM？ 我有三个选择：单个 ZK-EVM：放弃多客户端范例，选择单个 ZK-EVM 来验证区块。封闭多 ZK-EVM：对一组特定的多个 ZK-EVM 达成共识，并将其封存在共识层协议规则中，即一个区块需要该集合中超过一半的 ZK-EVM 的证明才能被认为是有效的。开放多 ZK-EVM：不同的客户端有不同的 ZK-EVM 实现，每个客户端在接受一个有效的块之前等待与自己的实现兼容的证明。对我来说，(3) 似乎是理想的，至少在我们的技术进步到可以形式证明所有 ZK-EVM 实现彼此等效的程度之前，我们可以选择最有效的一个。(1) 将牺牲多客户端模式的好处，(2) 将关闭开发新客户端的可能性，并导致一个更加中心化的生态系统。(3) 有挑战，但这些挑战似乎比其他两种选择的挑战要小，至少目前是这样。 实现 (3) 不会太难：每个类型的证明都有一个 p2p 子网络，使用一种类型证明的客户端会在相应的子网络上监听并等待，直到他们收到验证者认为有效的证...
结论
计，即使需要很多年，它也会实现。 在这里我们看到了与多客户端范例的交集：如果我们使用 ZK-EVM 来验证 Layer 1，我们使用哪个 ZK-EVM？ 我有三个选择：单个 ZK-EVM：放弃多客户端范例，选择单个 ZK-EVM 来验证区块。封闭多 ZK-EVM：对一组特定的多个 ZK-EVM 达成共识，并将其封存在共识层协议规则中，即一个区块需要该集合中超过一半的 ZK-EVM 的证明才能被认为是有效的。开放多 ZK-EVM：不同的客户端有不同的 ZK-EVM 实现，每个客户端在接受一个有效的块之前等待与自己的实现兼容的证明。对我来说，(3) 似乎是理想的，至少在我们的技术进步到可以形式证明所有 ZK-EVM 实现彼此等效的程度之前，我们可以选择最有效的一个。(1) 将牺牲多客户端模式的好处，(2) 将关闭开发新客户端的可能性，并导致一个更加中心化的生态系统。(3) 有挑战，但这些挑战似乎比其他两种选择的挑战要小，至少目前是这样。 实现 (3) 不会太难：每个类型的证明都有一个 p2p 子网络，使用一种类型证明的客户端会在相应的子网络上监听并等待，直到他们收到验证者认为有效的证...
