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

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

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

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

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

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

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

本文对比 ZK Rollup 的密码学证明与 Optimistic Rollup 的欺诈证明：确认速度、挑战机制、证明者/挑战者集中化风险各自不同，并给出按信任假设比较两条路线的框架。

本文解释 zkEVM 与 zkVM 的定位差异：zkEVM 追求以太坊字节码级别的等价兼容，zkVM 追求更高效的通用证明机器，说明两者在证明成本、合约迁移和证明者吞吐上的取舍。