# zkEVM > zkEVM 是一种等效于 EVM 的二层扩展解决方案，它在链下打包交易，并为以太坊主网生成加密证明，以提高吞吐量并降低成本，让验证者无需重新执行每笔交易即可进行验证。 - Canonical URL: https://iq.wiki/zh/wiki/zkevm - Categories: Glossary - Created: 2026-01-25T20:59:29.686Z - Last updated: 2026-06-18T13:21:26.429Z - Source: IQ.wiki — the world's largest blockchain and crypto encyclopedia (https://iq.wiki) --- **zkEVM**（零知识 [以太坊](https://iq.wiki/wiki/ethereum) 虚拟机）是一种虚拟机，它执行与 [以太坊](https://iq.wiki/wiki/ethereum) 虚拟机 (EVM) 兼容的智能合约，并利用零知识技术生成这些执行过程的加密证明。它被设计为 [以太坊](https://iq.wiki/wiki/ethereum) 的扩展解决方案，旨在通过利用 [以太坊](https://iq.wiki/wiki/ethereum) 主网，在保持高度安全性的同时提高交易吞吐量并降低成本。通过打包大量交易、在链下执行，然后向主区块链发布简洁的有效性证明，zkEVM 允许在不需要每个网络节点重新执行计算的情况下验证计算。 [\[1\]](#cite-id-YzN33EzGHbw4gYke) [\[2\]](#cite-id-W33Vyfkw4Luwc37W)​ ## 概述 zkEVM 开发的主要动力是解决 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 网络的扩展性瓶颈。在 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 的标准模型中，每个验证者节点都必须重新执行区块内的每笔交易以验证其有效性，这一过程被称为“N-of-N 执行”。这种冗余计算限制了网络的容量，也是高需求期间 Gas 费用居高不下的原因之一。[\[3\]](#cite-id-gc95gGWOgBclYq8M)​ zkEVM 提出了一种“1-of-N”模型，其中一个被称为“证明者 (prover)”的专门实体执行一批交易，并生成一个简洁的密码学证明（零知识证明，即 ZK-proof）来确认执行的正确性。网络验证者随后只需验证这个计算成本极低的证明，而无需重新运行整个区块。这种范式转变极大地减轻了网络的计算负荷，从而实现了更高的吞吐量和更实惠的费用。[\[4\]](#cite-id-iWBf8EOLu0Q7PgB8)​ 虽然早期的 [ZK-Rollups](https://iq.wiki/wiki/zk-rollup) 提供了扩展性优势，但它们往往以牺牲 EVM 兼容性为代价，将其用途限制在特定应用中，并要求开发人员学习新的语言或工具。zkEVM 是一项重大的演进，因为它们旨在与 EVM 兼容或等效，允许开发人员以极少甚至无需修改代码的方式，将现有的 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 智能合约和 [去中心化应用程序 (dApps)](https://iq.wiki/wiki/decentralized-application) 部署到更具扩展性的层级上。这种方法允许项目利用 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 广泛的开发者、工具和基础设施生态系统。[\[1\]](#cite-id-YzN33EzGHbw4gYke) [\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9)​ 该技术主要应用于两个场景：作为运行在 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 之上的 [二层网络 (Layer 2)](https://iq.wiki/wiki/layer-2) Rollups，以及一个更具雄心的提案，即直接将 zkEVM 集成到 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 的一层网络 (Layer 1) 协议中，以扩展主网本身。[\[6\]](#cite-id-dUFHTZG5dix4tsRk)​ ## zkEVM 的工作原理 zkEVM 架构从根本上由三个核心组件组成，这些组件促进了链下计算与链上验证。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W)​ ### 核心组件 * **执行环境 (Execution Environment)**：该组件复制了 [以太坊](https://iq.wiki/wiki/ethereum) 虚拟机，为使用 [Solidity](https://iq.wiki/wiki/solidity) 等语言编写的智能合约提供执行空间。它获取当前的区块链状态，处理用户提供的一批交易，并计算出更新后的新状态。它与 EVM 的兼容性使得现有的 dApp 能够无缝迁移。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W) * **证明电路 (Proving Circuit)**：这是 zkEVM 的密码学引擎。它观察交易执行过程并生成零知识证明，通常是 `zk-SNARK` 或 zk-STARK。该证明在密码学上证明了状态转换（从初始状态到新状态）是有效的，并且所有计算都是根据 EVM 规则正确执行的。证明的生成过程不会泄露底层交易数据本身。 [\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9) [\[2\]](#cite-id-W33Vyfkw4Luwc37W) * **验证者合约 (Verifier Contract)**：这是一个部署在底层第 1 层区块链（例如 [以太坊](https://iq.wiki/wiki/ethereum)）上的智能合约。zkEVM Rollup 将生成的有效性证明和更新后的状态数据提交给该合约。验证者合约的唯一功能是检查密码学证明。如果证明有效，新状态将被接受并在第 1 层链上最终确定。这种验证过程非常高效，避免了每个第 1 层节点重新执行交易的需要。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W) ### 证明过程 在 zkEVM 系统中，证明者以“无状态”方式执行区块，这意味着它不需要维护整个区块链状态的完整副本。相反，正在处理的交易所需的状态数据作为输入提供，通常被称为“见证数据 (witness)”。该输入伴随着默克尔证明 (Merkle proofs)，用于根据父区块的已知状态根验证其完整性。 [\[4\]](#cite-id-iWBf8EOLu0Q7PgB8)​ 需要注意的是，在扩容的语境下，“zk”（零知识）一词在某种程度上可能存在误导。虽然该技术可用于隐私保护，但 zkEVM 主要利用了 SNARKs 等零知识证明系统的“简洁性”（证明很小）和“完整性”（证明在计算上是可靠的）特性。它们证明了计算被正确执行，而不一定隐藏交易细节，因为隐私保护会增加额外的复杂性和证明者成本。 [\[6\]](#cite-id-dUFHTZG5dix4tsRk)​ k)​ ## zkEVM 的类型 ​[以太坊](https://iq.wiki/wiki/ethereum)联合创始人 [Vitalik Buterin](https://iq.wiki/wiki/vitalik-buterin) 提出了一个 zkEVM 分类系统，根据它们与 [以太坊](https://iq.wiki/wiki/ethereum) 的兼容程度将其分为不同类型。该系统揭示了一个核心权衡：兼容性越高（编号越小的类型）越容易使用现有基础设施，但证明速度较慢且成本较高；而兼容性较低（编号越大的类型）虽然打破了 [以太坊](https://iq.wiki/wiki/ethereum) 标准，但能实现更快的证明时间。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W)​ #### Type 1（完全以太坊等效） Type 1 zkEVM 旨在与 [以太坊](https://iq.wiki/wiki/ethereum) 完全且毫不妥协地等效。它们不对 [以太坊](https://iq.wiki/wiki/ethereum) 系统做任何更改，包括哈希函数（如 Keccak）、状态树或其他共识逻辑。 * **优点**：与所有 [以太坊](https://iq.wiki/wiki/ethereum) dApp 和基础设施完美兼容。区块浏览器和执行客户端等工具无需修改即可重用。 * **缺点**：证明生成速度极慢，因为 [以太坊](https://iq.wiki/wiki/ethereum) 协议的某些部分对 ZK 并不友好。 * **示例**：这是 [以太坊基金会](https://iq.wiki/wiki/ethereum-foundation-ef) 用于 Layer 1 集成的 zkEVM 项目的既定目标。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W) [\[3\]](#cite-id-gc95gGWOgBclYq8M) #### Type 2（完全 EVM 等效） 从开发者的角度来看，Type 2 zkEVM 是完全等效的，但它们对底层的 [以太坊](https://iq.wiki/wiki/ethereum) 架构进行了微调（例如使用不同的状态树结构），以加速证明生成。 * **优点**：兼容大多数现有应用程序，提供比 Type 1 更快的证明时间。 * **缺点**：对于某些用例，证明时间可能仍然是一个瓶颈。 * **示例**：[Polygon](https://iq.wiki/wiki/polygon) zkEVM 和 [Scroll](https://iq.wiki/wiki/scroll) 是旨在达到这一等效水平的项目。 [\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9) [\[2\]](#cite-id-W33Vyfkw4Luwc37W) #### Type 2.5（除 Gas 成本外 EVM 等效） 这是 Type 2 的一种变体，它增加了在 ZK 电路中特别难以证明的特定操作的 Gas 成本。这种修改改善了最坏情况下的证明时间，但可能会破坏依赖精确 Gas 成本计算的开发者工具和智能合约。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W)​ #### Type 3（几乎 EVM 等效） Type 3 zkEVM 牺牲了完美的 EVM 兼容性，以进一步简化开发并提高证明器性能。它们可能会省略在 ZK 电路中特别难以实现的特性，例如某些预编译合约。 * **优点**：更易于构建，且提供比 Type 2 更快的证明生成。 * **缺点**：某些应用程序可能需要修改代码才能部署。目前 [Polygon](https://iq.wiki/wiki/polygon) zkEVM 和 [Scroll](https://iq.wiki/wiki/scroll) 的实现通常被认为更接近这种类型。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W) #### Type 4（高级语言等效） Type 4 系统不追求在 EVM 字节码层面的直接兼容。相反，它们将使用 [Solidity](https://iq.wiki/wiki/solidity) 或 Vyper 等高级语言编写的智能合约源代码直接编译为 ZK 友好的语言或指令集。 * **优点**：可以显著缩短证明生成时间。 * **缺点**：字节码层面的不兼容可能会导致调试工具、合约地址以及使用手写 EVM 字节码的应用程序出现问题。 * **示例**：zkSync Era 是 Type 4 zkEVM 的一个突出代表。 [\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9) [\[2\]](#cite-id-W33Vyfkw4Luwc37W) ## 优势与挑战 ### 优势 * **安全的可扩展性**：zkEVM 在链下执行交易以提高速度，但通过提交有效性证明在第 1 层（Layer 1）进行结算。这使得它们能够继承父链的安全性和去中心化特性，同时以更高的吞吐量运行，有可能将交易容量从 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 的每秒约 30 笔交易 (TPS) 提升到 2,000 TPS 以上。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W) [\[1\]](#cite-id-YzN33EzGHbw4gYke) * **低成本**：通过将数千笔交易打包，并将单次链上证明的成本分摊到这些交易中，zkEVM 可以大幅降低 Gas 费用。每笔交易的成本可以从近一美元降低到不到一美分。 [\[7\]](#cite-id-u0PWKjnePNWBv6Gr) [\[1\]](#cite-id-YzN33EzGHbw4gYke) * **快速最终性**：一旦有效性证明被 [第 1 层 (Layer 1)](https://iq.wiki/wiki/layer-1) 上的验证者合约接受，zkEVM 上的交易即被视为最终完成。这避免了 Optimistic Rollups 所需的一到两周的挑战期，提高了资金效率和用户体验，尤其是在提现方面。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W) * **开发者体验**：EVM 兼容性或等效性是一项重大优势，允许开发者迁移现有的 dApp，并利用成熟的 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 开发者生态系统和工具，且只需进行极少改动。这利用了巨大的网络效应，并降低了构建者的学习曲线。 [\[7\]](#cite-id-u0PWKjnePNWBv6Gr) ### 发展挑战 * **证明成本与复杂性**：零知识证明的生成是一个计算密集型过程，通常需要专门且强大的硬件，这可能成为瓶颈和成本中心。 [\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9) * **架构不匹配**：EVM 在设计之初并未考虑 ZK 证明。其基于栈的架构、复杂的指令集（如 `CALL`）以及使用 Keccak 等对 ZK 不友好的哈希函数，在为其执行过程创建证明时带来了巨大的技术挑战和开销。 [\[2\]](#cite-id-W33Vyfkw4Luwc37W) * **兼容性与性能的权衡**：正如 zkEVM 类型中所详述的，在实现完全的 [以太坊 (Ethereum)](https://iq.wiki/wiki/ethereum) 兼容性与设计能够高效生成证明的系统之间存在内在的矛盾。 [\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9) * **去中心化担忧**：证明生成对昂贵专用硬件的依赖引发了对潜在中心化的担忧，因为可能只有少数资源充足的实体能够作为证明者（prover）或排序器（sequencer）参与其中。 [\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9) ## 安全考量 将 zkEVM 集成到 [以太坊](https://iq.wiki/wiki/ethereum) 生态系统中（无论是作为 [第 2 层](https://iq.wiki/wiki/layer-2) 还是 [第 1 层](https://iq.wiki/wiki/layer-1)）都会引入新的安全考量和潜在的攻击向量。[以太坊基金会](https://iq.wiki/wiki/foundation) 的研究已经确定了许多值得关注的领域。[\[6\]](#cite-id-dUFHTZG5dix4tsRk)​ ### 系统多样性 首要关注点是单点故障风险。如果生态系统仅依赖一两个执行层 (EL) 客户端进行证明，或依赖单一的底层 zkVM 实现，那么该主导软件中的漏洞可能会导致整个网络停摆或受损。一种提议的缓解措施是“多重证明策略”，即只有在收到来自多个不同 zkEVM 系统的证明后，区块才被视为有效。[\[6\]](#cite-id-dUFHTZG5dix4tsRk)​ ### 客户程序与编译 使 EL 客户端变得“可证明”的过程存在重大风险。EL 客户端是为具有缓存和系统调用等功能的复杂 CPU 设计的，而这些功能在 zkVM 的受限环境中是不存在的。这些环境之间的不匹配是一个高层面的担忧。此外，在修改客户端时可能会引入漏洞，而且针对 zkVM 使用的 `RV32IM` 等利基指令集架构 (ISA) 的编译器，其经过实战检验的程度不如主流编译器。用于加速 Keccak 哈希等 ZK 不友好操作的自定义“zkVM 预编译”也增加了复杂性并引入了自身的攻击面。[\[6\]](#cite-id-dUFHTZG5dix4tsRk)​ ### 证明器与电路正确性 zkEVM 最关键的组件是定义虚拟机规则的算术电路以及底层的加密协议。其中任何一个环节出现漏洞都可能是灾难性的，可能允许恶意证明者为无效的状态转换创建看似有效的证明，从而导致资金被盗。此类缺陷可能源于原始研究论文、规范中的歧义或实现过程中的错误。其他实现风险包括错误的“见证 (witness)”生成、程序格式之间的转译漏洞，或偏离协议已证明安全保证的不安全“优化”。[\[6\]](#cite-id-dUFHTZG5dix4tsRk)​ ### 缓解策略 为了应对这些风险，生态系统依赖于多种策略，包括形式化验证（使用数学证明代码的正确性）、针对标准化测试套件（如 [以太坊](https://iq.wiki/wiki/ethereum) 执行规范测试）进行广泛测试、独立安全审计、激励白帽黑客的漏洞赏金计划，以及多重证明策略等架构设计。[\[6\]](#cite-id-dUFHTZG5dix4tsRk)​ ### 形式化验证倡议 为了加强安全性，[以太坊基金会](https://iq.wiki/wiki/ethereum-foundation-ef) 发起了 **zkEVM 形式化验证项目**，这是一项全生态范围的努力，旨在将形式化验证方法应用于整个 zkEVM 堆栈，目标是创建“无漏洞的 zkEVM”。该项目预计将持续到 2026 年底，旨在开发工具、标准和流程，以确保 zkEVM 的正确性和安全性。[\[8\]](#cite-id-b06Kd3tbzmm7gYcK)​ 该倡议分为三个主要关注领域或“轨道”：[\[8\]](#cite-id-b06Kd3tbzmm7gYcK)​ * **RISC-V zkVM 轨道**：专注于验证基于 RISC-V 的 zkVM 的多项式约束是否正确实现了官方 RISC-V 指令语义。 * **EVM 轨道**：旨在证明在 RISC-V 架构上运行的 EVM 实现是官方 EVM 规范的正确实现。 * **密码学轨道**：验证底层加密证明系统和原语的规范、安全证明及实现。 该项目通过一项资助计划运作，为应对这些挑战的各个团队提供资金。受支持的工作包括：`ArkLib` 的开发，这是一个在 Lean 证明助手中的形式化密码学证明库；`cLean`，一种用于在 Lean 中编写电路的领域特定语言 (DSL)；以及 `LLZK`，一种用于零知识语言的统一中间表示。这些努力突显了一种社区驱动、开放且方法多样化的方式，旨在保障下一代 [以太坊](https://iq.wiki/wiki/ethereum) 扩展方案的安全。 [\[8\]](#cite-id-b06Kd3tbzmm7gYcK)​ ## 历史与著名项目 虽然早期的 [zk-Rollups](https://iq.wiki/wiki/zk-rollup)（如 [dYdX](https://iq.wiki/wiki/dydx) 和 [Loopring](https://iq.wiki/wiki/loopring)）展示了 ZK 技术在扩展方面的威力，但它们缺乏通用的 EVM 兼容性。zkEVM 的开发代表了将 ZK 证明与 EVM 可编程性相结合的一项重大努力。[\[1\]](#cite-id-YzN33EzGHbw4gYke)​ ### 早期开发与主网发布 首批公共 zkEVM 主网于 2023 年 3 月上线，标志着 [以太坊](https://iq.wiki/wiki/ethereum) 扩展的一个重要里程碑。 * **zkSync Era**：由 [Matter Labs](https://iq.wiki/wiki/matter-labs) 开发，zkSync Era 于 2023 年 3 月 24 日发布了其公共主网。作为 Type 4 zkEVM，它将 [Solidity](https://iq.wiki/wiki/solidity) 和 Vyper 代码编译成 ZK 友好格式，以实现更快的证明时间。[\[1\]](#cite-id-YzN33EzGHbw4gYke) [\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9) * **Polygon zkEVM**：[Polygon](https://iq.wiki/wiki/polygon) 于 2023 年 3 月 27 日发布了其 zkEVM [主网](https://iq.wiki/wiki/mainnet) Beta 版。该项目以开源著称，其第一笔交易由 [以太坊](https://iq.wiki/wiki/ethereum) 联合创始人 [Vitalik Buterin](https://iq.wiki/wiki/vitalik-buterin) 发送。它通常被归类为 Type 2 或 Type 3 zkEVM。zkSync 和 [Polygon](https://iq.wiki/wiki/polygon) 团队在发布时都承认该技术仍处于早期阶段。[\[1\]](#cite-id-YzN33EzGHbw4gYke) ### Polygon zkEVM 的演进 在整个 2024 年，[Polygon](https://iq.wiki/wiki/polygon) zkEVM [主网](https://iq.wiki/wiki/mainnet) Beta 版进行了多次升级，包括 “Etrog”、“Elderberry” 和 “Eggfruit” 更新，引入了 cdk-erigon 排序器等功能。然而，在一次战略转型中，[Polygon](https://iq.wiki/wiki/polygon) Labs 于 2026 年 1 月宣布计划弃用 [Polygon](https://iq.wiki/wiki/polygon) zkEVM [主网](https://iq.wiki/wiki/mainnet) Beta 版。该项目的技术和经验正被整合到其他生态系统产品中，例如 [Polygon](https://iq.wiki/wiki/polygon) 链开发套件 (CDK)，它允许开发人员启动自己的 ZK 驱动链。[\[7\]](#cite-id-u0PWKjnePNWBv6Gr)​ ### 其他项目 * **Scroll**：一个被归类为 Type 2 的 zkEVM 项目，是与 [以太坊](https://iq.wiki/wiki/ethereum) 基金会的隐私与扩展探索 (PSE) 小组合作开发的。[\[5\]](#cite-id-7ZsQ1WKYVHUM6HG9) * **Linea**：由 Consensys 开发的 zkEVM，Consensys 是 [以太坊](https://iq.wiki/wiki/ethereum) 生态系统中领先的软件公司之一。[\[1\]](#cite-id-YzN33EzGHbw4gYke) * **Taiko**：另一个开发 zkEVM 解决方案以扩展 [以太坊](https://iq.wiki/wiki/ethereum) 的项目。[\[1\]](#cite-id-YzN33EzGHbw4gYke) ### 以太坊基金会的 L1 计划 [以太坊基金会](https://iq.wiki/wiki/ethereum-foundation-ef) 正在研究将 Type 1 zkEVM 直接集成到 [以太坊](https://iq.wiki/wiki/ethereum) 基础层中。其目标是实现“实时证明”（RTP），即在 12 秒的插槽时间内为完整的 [以太坊](https://iq.wiki/wiki/ethereum) 区块生成 ZK 证明。这将使整个网络从 ZK 扩展中受益，而无需用户迁移到单独的 Layer 2。该项目的指导原则是“完全、不妥协的 EVM 等效性”。[\[3\]](#cite-id-gc95gGWOgBclYq8M)​ > “我们的目标是完全、不妥协的 EVM 等效性。” [\[3\]](#cite-id-gc95gGWOgBclYq8M) 截至 2026 年初，该计划涉及对 OpenVM 和 RISC0 等 zkVM 实现进行持续的基准测试，并致力于让 Reth 和 [Geth](https://iq.wiki/wiki/geth) 等 [以太坊](https://iq.wiki/wiki/ethereum) 客户端为潜在的基于证明的验证集成做好准备。[\[3\]](#cite-id-gc95gGWOgBclYq8M)​