Expert Day 237
Week 35 复习 — ZK 应用全景图
把身份/投票/游戏/隐私 L2/zkEVM 等所有 ZK 应用整合成一张 map
2026-12-24
Phase 4 - ZK电路开发实战 (Day 223-243)ZKapplication-mapreviewecosystem
日期: 2026-12-24 方向: ZK工程 / 电路开发 阶段: Phase 4 - ZK电路开发实战 (Day 223-243) 标签: #ZK #application-map #review #ecosystem
今日目标
| 类型 | 内容 |
|---|---|
| 学习 | 把身份/投票/游戏/隐私 L2/zkEVM 等所有 ZK 应用整合成一张 map |
| 实操 | 写 zk_app_map.md，做未来选型与学习的索引 |
| 产出 | 按 use case / by maturity 双维度的应用全景 |
Week 35 (Day 231-236) 回顾
| Day | 应用 | 关键技术 |
|---|---|---|
| 231 | Semaphore / World ID / Sismo | commitment + nullifier + Merkle tree |
| 232 | MACI 投票 | Coordinator + 加密消息 + ZK 计票 |
| 233 | Dark Forest 游戏 | Hidden state + commit-reveal + procedural gen |
| 234 | zk-Rollup 4 强对比 | Linea / zkSync / Scroll / Polygon zkEVM |
| 235 | zkEVM Type 1-4 | Vitalik 分类法 |
| 236 | Aztec 隐私 L2 | Private state + Notes + PXE |
ZK 应用全景图（按 use case）
1. 隐私支付 / Private Payments
| 项目 | 状态 | 技术栈 | 备注 |
|---|---|---|---|
| Tornado Cash | 制裁中 | Circom + Groth16 | 经典 mixer |
| Privacy Pools (Vitalik) | 提案 | Circom | 可监管的 mixer |
| Aztec | mainnet 计划 | Noir + UltraPlonk | 通用隐私 |
| Zcash | 上线 | Halo2 (Orchard) | 原生隐私链 |
| RailGun | 上线 | Circom + EVM | EVM 上的隐私 |
| NoteUSD / USDC.eu | 计划 | Aztec | 隐私稳定币 |
2. 隐私身份 / Anonymous Identity
| 项目 | 状态 | 技术栈 |
|---|---|---|
| Semaphore | 上线 | Circom + Groth16 |
| Worldcoin / World ID | 上线（争议） | Semaphore + Orb |
| Sismo | 部分关闭 | Hydra-S2 |
| Polygon ID | 上线 | Circom (Iden3) |
| zkPassport | 上线 | Noir + Aztec/ETH |
| Anon Aadhaar | 上线 | Circom |
3. 投票与治理 / Voting & Governance
| 项目 | 状态 | 技术栈 |
|---|---|---|
| MACI | 上线 | Circom + Groth16 |
| clr.fund | 间歇 round | MACI + QF |
| Snapshot X | beta | Vanilla / aggregated proofs |
| Vocdoni | 上线 | Circom |
| OpenZeppelin Governor + ZK | 研究中 | - |
4. ZK 游戏 / ZK Games
| 项目 | 状态 | 技术栈 |
|---|---|---|
| Dark Forest | offline | Circom + xDai/zkSync |
| MUD ecosystem (Lattice) | 活跃 | Solidity + ZK plugins |
| Sky Strife | live | MUD + Redstone |
| Primodium | live | MUD |
| Conquest.eth | beta | DF fork |
5. zk-Rollup（通用计算）
| 项目 | Type | 状态 |
|---|---|---|
| zkSync Era | 4 | mainnet $700M+ TVL |
| Linea | 2.5 | mainnet $1B+ |
| Scroll | 2 | mainnet $200M+ |
| Polygon zkEVM | 3 | mainnet $100M+ |
| Taiko | 1 (target) | mainnet |
| Kakarot | 1 (Cairo) | testnet/early |
6. zkVM (通用 ZK 计算)
| 项目 | 状态 | 应用 |
|---|---|---|
| Risc Zero | mainnet | 通用计算证明 |
| Succinct SP1 | mainnet | 通用 RISC-V ZK |
| Jolt | research | a16z 的 zkVM 论文 + impl |
| Cairo VM | mainnet (StarkNet) | StarkNet smart contracts |
7. zkBridge / Light Client
| 项目 | 状态 | 技术 |
|---|---|---|
| Succinct (Telepathy / SP1) | mainnet | Plonky2 → Groth16 |
| Polyhedra zkBridge | mainnet | 自研 |
| zkLink | mainnet | 自研 |
| Nil Foundation Proof Market | 上线 | zkLLVM |
8. zkML
| 项目 | 状态 | 技术 |
|---|---|---|
| EZKL | beta | Halo2 from ONNX |
| Giza | beta | Cairo from PyTorch |
| DDKang zkml | research | Halo2 |
| opML (ORA) | 上线 | 乐观 ML 验证 |
| Modulus Labs | research | 自研 |
9. ZK Co-processor / 链下计算
| 项目 | 状态 | 用途 |
|---|---|---|
| Axiom | mainnet | 历史区块查询 + ZK 计算 |
| Risc Zero (Bonsai) | mainnet | 通用 zkVM coprocessor |
| Lagrange | beta | SQL on-chain |
| Brevis | mainnet | 历史数据 ZK |
| Herodotus | beta | Storage proof |
按成熟度排序 / By Maturity
Tier 1: Production-grade (主网 + TVL > $100M)
- zkSync Era, Linea, Polygon zkEVM, Scroll
- Tornado Cash (制裁前)
- Zcash
- Risc Zero, SP1 (开始接 production 应用)
Tier 2: Live but Niche
- Aztec V2 (Aztec Connect, 已退役)
- Semaphore (用于多个 dApp)
- Dark Forest（社区驱动 round）
- StarkNet (Cairo)
- World ID
Tier 3: Beta / Early Mainnet
- Aztec V3 (主网即将上线)
- Taiko (alpha-3 mainnet)
- EZKL (beta)
- Axiom (early production use)
Tier 4: Research / Testnet
- Jolt zkVM
- EF zkEVM Type 1
- 大部分 zkML 项目
应用 × 工具链 矩阵
| Circom | Noir | Halo2 | Plonky2/3 | Cairo | RISC0/SP1 | |
|---|---|---|---|---|---|---|
| 隐私支付 | Tornado, RailGun | Aztec | Zcash | - | - | - |
| 身份 | Semaphore, World ID | zkPassport | - | - | - | - |
| 投票 | MACI | - | - | - | - | - |
| 游戏 | Dark Forest | - | - | - | - | - |
| zkEVM | - | - | Scroll, PSE | Polygon zkEVM, zkSync | - | - |
| zkBridge | - | - | - | Succinct (legacy) | - | SP1 |
| zkML | - | - | EZKL, DDKang | - | Giza | - |
| zkVM | - | - | - | - | StarkNet | RISC0, SP1 |
| Coprocessor | - | - | Axiom | - | - | Bonsai |
投资 / 求职热度地图（2026 视角）
Hottest:
- zkVMs (RISC0, SP1) — 通用化、可与现有代码结合
- zkML — AI x Crypto narrative
- ZK Coprocessors (Axiom, Brevis) — 历史数据 + 重计算
Stable:
- zk-Rollups (4 强稳定竞争)
- Privacy L2 (Aztec 上线)
- zkBridges (Succinct, Polyhedra)
Cooling:
- Pure mixers (Tornado 制裁阴影)
- Type 4 zkEVM (zkSync 工具链问题导致 dev 流失)
Emerging:
- ZK 游戏（autonomous worlds）
- ZK FHE 结合
- ZK 跨链聚合层
学习者路径建议 / Learning Path (Beyond)
你现在在 Day 237，已经会：
✓ 读 / 写 Circom 电路
✓ 用 Noir 写 Aztec 合约
✓ 用 Halo2 写 fibonacci
✓ 理解 Tornado / Semaphore / MACI 内部
✓ 比较 4 大 zkEVM
✓ 理解 Aztec 隐私模型
下一步：
Day 238-241: 进阶专题 (zkML / ML 验证 / zkBridge / Coprocessor)
Day 242-243: 安全审计 + 总结
毕业之后：
- 深入一个方向：zkML or zkVM or zkRollup engineering
- 参加 PSE workshop / 0xPARC residency / Aztec hack
- 写一个 production-grade ZK app（学完 Day 243 完全有能力）
关键速查（合集）
| 用例 | 推荐栈 | 关键命令 |
|---|---|---|
| 简单 ZK demo | Circom + snarkjs | circom; snarkjs groth16 ... |
| 隐私 dApp | Noir + Aztec | nargo; aztec-cli |
| 高性能电路 | Halo2 | cargo run --release |
| 历史数据查询 | Axiom SDK | axiom queryBlock |
| 通用 ZK 计算 | RISC0 | cargo risczero build |
| zkML | EZKL | ezkl gen-srs; ezkl prove |
Week 35 复盘问题
- 我能不能解释 Tornado / Semaphore / MACI 的相同点和差异？✓
- 我能不能选 4 大 zkEVM 中之一并讲清楚？✓
- 我能不能解释 Aztec 的 PXE 为什么要用 client-side prove？✓
- 我能不能给团队/朋友讲一遍 ZK 应用全景？✓
面试题
-
Q: 给一个非技术 PM 解释 ZK 在 2026 年的产业格局，你会如何讲？ A: 三大方向：(a) rollup（zkSync/Linea/Scroll）— 给 Ethereum 扩展；(b) 隐私（Tornado/Aztec/Zcash）— 给 web3 加 confidentiality；(c) 轻客户端 / 跨链 / coprocessor（Succinct/Axiom/RISC0）— 给链外计算可信化。每一类都有 mainnet 应用和 TVL，不是 vaporware。
-
Q: 现在 ZK 行业最缺人的方向是？ A: (a) 应用层 ZK 工程师（能用 Circom/Noir 写产品）；(b) zkVM/zkEVM circuit engineers（极少，薪资 $300k+）；(c) ZK auditor（市场对 ZK audit 求超过供）；(d) PM / DevRel 懂 ZK 的（连接技术与产品）。
-
Q: ZK 的杀手应用还没出现吗？ A: 部分出现：rollup 是「隐形」杀手应用（用户不知道但日活百万）；隐私支付（Tornado 高峰 $200M）；身份（World ID 5M+ 用户）。还没出现的：消费级 ZK 游戏；ZK 社交；ZK AI（仍 early）。
明日预告
Day 238 — zkML 基础 (EZKL/Giza/zkML 架构)。把 ML 推理压成 ZK proof，让链上可验证 AI 输出。