ZK Rollup：零知识证明与有效性证明
2026/8/24大约 2 分钟
Web3 区块链系列 · 阶段 8 · 共识与扩容 · 第 51/57 篇 · 🚧 占位待学
上一篇：《Optimistic Rollup 与 OP Stack 实操》
下一篇：《跨链桥：机制与史上最大盗案群》
学习大纲：《Web3 区块链学习总纲》
状态：待学习。 本文为占位文档：知识点清单、实验与验收标准已就绪，正文待按「先学习、先实验、再撰写」补全。
对应总纲单元：阶段 8 · 单元 8.4
一、本文要解决的问题
不用挑战期，每个状态根都附带一个数学证明——零知识证明是区块链里最「魔法」的数学。先建立直觉，再看工程落地。
二、知识点清单
- ZKP 三要素：证明者 / 验证者 / 简洁性（证明比计算本身短得多）
- zk-SNARK vs zk-STARK：可信设置与抗量子差异（了解）
- validity proof：执行 trace → 证明 → L1 合约验证
- zkEVM 类型学（Type 1~4）：等价性与工程成本的谱系
- ZK vs Optimistic 全面对比：提款时间 / 证明成本 / 信任假设
- zkSync / Starknet / Linea 现状（了解）
三、动手实验（学习时必须真跑）
- 用 circom 或 noir 写一个最简电路（如证明知道哈希原像）并完成验证
- 对比 OP 与某 zk 链测试网同一操作的费用与到账时间
四、验收标准（全部通过才进入下一篇）
五、写作提示（补正文时遵守）
- 开篇问题驱动；结构走「是什么 → 为什么 → 怎么做 → 背景知识」
- 所有代码、命令、输出必须先在本机跑通再写入，不得杜撰
- 版本口径以总纲环境清单为准（以太坊 Fusaka / Solidity 0.8.36 / Foundry v1.0 / OpenZeppelin Contracts 5.x）
- 涉及版本敏感结论时标注出处与时间
本篇完成后，把文首导航块的「🚧 占位待学」去掉，并在总纲处打卡。