现有项目问题

当前有不少项目在对以太坊协议已有的功能进行复制。以太坊自身的治理负责升级以及修复错误，而像 ZK - EVM 其工作基本与验证主网区块相同。这种复制功能的状况并不好，会导致资源被浪费以及生态出现冗余，对以太坊生态的健康发展会产生影响。

众多复制以太坊功能的项目会分散开发者和用户的精力，这可能使得每个项目都难以做到足够完善，同时也不利于以太坊整体生态的集中发展以及创新突破，从而阻碍了以太坊向更高水平迈进的步伐。

轻客户端趋势

未来几年，轻客户端的能力会逐渐增强。它很快就能够借助 ZK - SNARKs 对主网 EVM 的执行进行完全验证。这是技术持续发展进步所带来的必然结果，这种方式将大幅提高验证的效率以及准确性。

轻客户端的强大会带来改变，它将改变以太坊的使用模式。这样一来，更多的设备和用户能够很便捷地参与到以太坊网络当中。同时，使用门槛也会降低，进而推动以太坊更广泛地被应用。最终，能让以太坊的生态更加繁荣。

数据可用性要求

对于 EVM 执行采用内置 ZK - EVM 证明的情况，需要确保底层数据是可用的。如此一来，不同证明系统的证明者就能够对执行进行重新证明，而依赖该证明系统的客户端也能够对新证明进行验证。

确保数据可用是保障整个证明过程准确且可靠的基础。如果数据不可用，那么后续的证明和验证工作就会失去意义，可能会引发一系列问题，还会危及以太坊网络的稳定性。

证明结构特点

内置 ZK - EVM 功能不会将 SNARK 当作 EVM 内部的输入。不同的客户端期望着不同类型的 SNARK。它类似于 blob 验证，交易中包含着需要被证明的声明，客户端的共识规则会对数据的可用性和证明进行检查。

这种证明结构让不同客户端可以灵活地选择符合自身的 SNARK 类型。交易中的声明以及检查机制，保障了数据和证明的安全性。这有利于提升以太坊网络的互操作性。

用户验证情况

个人用户可以自由地选择客户端来进行区块验证。只要存在一个证明者为相应的证明系统创建证明，就能够完成验证。这样的方式给予了用户极大的自主性，使得不同需求的用户能够方便地参与到以太坊网络中。

大量用户使用不同客户端来验证区块。只要证明者创建了证明，就能够维持网络的正常运行，也能保障网络的安全性，进而保障了整个以太坊生态的开放性和包容性。

ZK - EVM运作模式

类型为 4 的 ZK - EVM 可以通过多种实现方式来运作，其中包括直接转换和编译后执行这两种。如果数据已经是可用的状态，那么再次要求数据可用就是在浪费资源。

多种实现模式能够满足不同开发者以及用户的需求。要根据实际状况来选择恰当的模式，以此提升开发和使用的效率，防止资源出现过度消耗的情况，进而推动 ZK - EVM 在以太坊当中更好地发展。