文章探讨了不同类型的 ZK-EVM,详细介绍了其分类、优缺点以及未来发展方向。通过对第1类到第4类 ZK-EVM的分析,揭示了如何在以太坊生态系统中实现零知识证明的兼容性和效率的权衡,并指出各类 ZK-EVM 在证明者运算时间和与现有基础设施的兼容性之间的差异。