2025 年 10 月的 Atlas 协议升级给 ZK Stack 换上 ZKsync OS 与 Airbender 证明器。本文按官方文档拆解双编译架构：同一段状态转换函数编译成 x86 跑出块、编译成 RISC-V 供证明器回放，切块并行证明后经递归折叠成链上可验的 SNARK，以及 AIR 约束与 Mersenne31 域的技术选择。

同为配对型零知识证明体系，Groth16 按电路单独做可信初始化、证明紧凑，PLONK 用可复用的通用字符串、电路改动更灵活。本文从初始化负担、证明体积与适用场景对比两条路线，并给出普通用户的核验问题清单。

同样自称 zkEVM 的项目，内部路线差异很大。2022 年 8 月 Vitalik Buterin 的一篇分类文章给出 Type 1 到 Type 4 的坐标系：Type 1 对以太坊不做任何改动，Type 2 换掉区块结构与状态树，Type 3 删改个别特性，Type 4 直接从高级语言编译。编号越低越兼容越慢，越高越快越要付迁移成本。本文按这份分类讲清每一型的改动位置、受益者与代价，并说明类型本身会随时间移动。

ZK Rollup 是以太坊扩容中常见的 Layer2 方案，核心是把大量链下交易打包执行，再把零知识证明和必要数据提交到主网验证。本文解释它的流程、优势、限制与使用风险。

本文介绍 Starknet 的架构特点：基于 STARK 的无需可信初始化、Cairo 语言与约束系统、EVM 兼容层（SNIP-11）的现状，以及使用 STARK 路线链时的特有注意事项。

本文以 zkSync 为例解释 ZK Rollup 的完整工作流：证明者如何生成状态证明、L1 验证合约如何接受状态、账户模型与提现流程，以及 ZK 链特有的 prover 集中化风险。

本文对比 Scroll 与 Linea 两条 EVM 等价的 ZK Rollup：证明路线、排序器模式、数据提交方式与生态定位的差异，并给出同清单比较 ZK 链的实用框架。

本文对比 zk-SNARK 与 zk-STARK 两条零知识证明路线：是否需要可信初始化、证明大小与验证速度、安全假设与可扩展性的差异，以及各自适合什么场景。

本文解释可信初始化的作用与风险：毒参数是什么、多方仪式如何把风险分散、为什么“诚实多数”假设很重要，以及无初始化路线（如 STARK）如何绕开这个问题。

本文从零知识证明的三个性质讲起，用洞穴寓言解释证明如何完成而不泄露信息，说明算术电路如何把问题压缩成可验证的短证明，以及它在 L2、隐私和身份场景的用途与风险边界。