56、区块链可扩展性与隐私：技术解析与未来展望

区块链可扩展性与隐私：技术解析与未来展望

1. ZK - EVM 类型及特点

ZK - EVM 有不同类型，各有特点：
- Type 3 ：与 EVM 最为接近，但为了提高证明生成时间和简化开发做了一些权衡。这些权衡导致部分应用不兼容，例如若 dApp 使用预编译，由于 Type 3 不支持，就必须重写。Scroll 和 Polygon 是 Type 3 ZK - EVM 的典型例子。它的证明生成速度快，且与大多数以太坊 dApp 完全兼容。
- Type 4 ：将用 Solidity 或其他语言编写的高级语言合约编译成专用虚拟机。它与一些以太坊 dApp 不兼容，也无法共享其大部分基础设施。不过，它的证明生成时间最快，从而降低了成本和中心化风险。

ZK - EVM 实现面临复杂性和性能方面的关键挑战。创建和维护 EVM 操作（即操作码）的电路（算术化）具有挑战性，并且需要以最低成本尽可能快地生成证明，实现高性能较为困难，但已有许多可行的例子。证明生成时间通常与程序大小呈线性关系，而验证时间远低于程序执行本身。

常见的 ZK - EVM 项目包括 Scroll ZK - EVM（https://scroll.io/）、ConsenSys ZK - EVM（https://consensys.net/blog/news/consensys - launches - private - beta - zkevm - testnet - to - scale - ethereum/）、zkSync（https://zksync.io）和 Polygon ZK - EVM。