Week 36 复习 — ZK 工程能力整合

日期: 2026-12-30 方向: ZK工程 / 电路开发 阶段: Phase 4 - ZK电路开发实战 (Day 223-243) 标签: #ZK #engineering #review #portfolio #career

---

今日目标

---

Phase 4 实战阶段（Day 223-243）回顾

整体路径

入门工具链 (Day 223-230)
  ↓
ZK 应用 (Day 231-237)
  ↓
专业进阶 (Day 238-243)

21 天产出物清单

总计: 7 个完整 demo 项目 + 14 个深度技术文档 + 21 篇笔记。

---

ZK 工程师能力图谱 / Skill Map

Tier 1: Foundation（已完成）

✅ 数学基础 (Day 181-200)

• Finite fields, elliptic curves, pairings
• Polynomial commitments (KZG, IPA)
• Lagrange interpolation, FFT

✅ Proof Systems (Day 200-222)

• Groth16 (R1CS → QAP → pairing)
• PLONK / PLONKish (custom gates, lookup, recursion)
• STARK (FRI, AIR)

✅ DSL 工具链 (Day 223-230)

• Circom + snarkjs (生产)
• Noir + Barretenberg (生产)
• Halo2 + Rust (Scroll, PSE)
• 选型决策能力

Tier 2: Application（已完成）

✅ 核心 use cases (Day 231-237)

• 隐私支付 (Tornado, Aztec)
• 匿名身份 (Semaphore, World ID)
• 防贿选投票 (MACI)
• ZK 游戏 (Dark Forest)
• zk-Rollup (Linea/zkSync/Scroll/Polygon)
• zkEVM 选型 (Type 1-4)

Tier 3: Advanced（已完成）

✅ 进阶专题 (Day 238-243)

• zkML (EZKL)
• opML / TEE-ML
• zkBridge (Succinct SP1)
• ZK Coprocessor (Axiom, Risc Zero, Brevis)
• ZK 安全审计

Tier 4: Production（下一阶段）

⏳ 需要在工作中实战获得

• 大型电路工程化（电路拆分 / 分布式 prove）
• GPU prover 优化
• Recursion / aggregation 工程
• 电路 audit 实战
• 生产 trusted setup ceremony 主持

---

ZK 工程师能力自评矩阵

Day 243 末自评：你应该达到 Mid level in 大部分维度，Junior in zkEVM 设计 / zkVM 内部。

---

ZK 工程师求职路径

适合的岗位

你的差异化

10年金融零售 PM/BA/Dev + ZK 工程能力 = 极稀缺

可瞄准方向：
├── ZK PM 在金融科技公司（Coinbase ZK, Stripe Crypto, Visa B2B）
├── 隐私 DeFi 协议 PM (Aztec, Penumbra, Renegade)
├── ZK Coprocessor PM (Axiom, Brevis) — 桥接业务与 ZK
├── RWA × ZK（合规隐私）— 用金融背景
└── zkEVM Ecosystem BD (Scroll, zkSync) — 拉应用上链

---

GitHub Portfolio 整理建议

推荐结构

github.com/your-handle/
├── zk-circuit-demos/           # Day 223-229 的代码
│   ├── circom/
│   ├── noir/
│   └── halo2/
├── mini-tornado-cash/          # Day 227 完整项目
├── semaphore-app/              # Day 231 demo
├── ezkl-mnist-demo/            # Day 238 demo
├── risc0-demo/                 # Day 241 demo
└── zk-research-notes/          # 14 个 .md 文档归档

README 模板

# ZK Engineering Portfolio

After 243 days of self-study (Phase 4 of my 240-day Web3+Math+ZK plan),
I've built end-to-end ZK applications and deeply analyzed the major
ZK toolchains and rollups.

## Highlight Projects
- [mini-tornado-cash](./mini-tornado-cash) — Reimplementation of Tornado Cash from circuits to UI
- [ezkl-mnist-demo](./ezkl-mnist-demo) — On-chain ML inference proof
- [risc0-fib](./risc0-demo) — RISC-V zkVM with Solidity verifier

## Knowledge Notes
21 deep-dive technical docs covering:
- Circom / Noir / Halo2 toolchain comparison
- 4 major zk-Rollups (Linea, zkSync, Scroll, Polygon zkEVM)
- zkML, opML, TEE-ML trade-offs
- ZK audit findings from Aztec, Tornado Cash, zkSync

---

下一步学习路径建议

路径 A：深耕 ZK 工程

Month 1-2: Plonky3 / Plonky2 deep dive — write a custom AIR
Month 3-4: 贡献 ZK opensource — PSE, Aztec, Risc Zero
Month 5-6: 写 production-grade ZK app（独立 launch）

路径 B：ZK x AI

Month 1: deep dive zkML — read Modulus papers
Month 2: 实现 transformer attention in Halo2
Month 3-4: 一个 ZK Agent prototype
Month 5-6: 与 AI 公司合作 PoC

路径 C：ZK PM / 业务

Month 1: 跟 5 个 ZK 项目 PM 1on1，了解日常工作
Month 2: 投 10 个 ZK PM 岗位，至少面 5 个
Month 3: 写一篇 ZK 产品分析文章（如 zkSync Era 4M+ users 增长拆解）
Month 4-6: 入职 + 起步

---

ZK 行业 2026+ 重大趋势

1. zkVM 普及：Risc Zero, SP1, Jolt 让任何 Rust 工程师能写 ZK 应用
2. Recursion + Aggregation 成熟：proof 聚合让大规模 ZK 经济可行
3. GPU prover 标准化：ICICLE / Sppark 成为 prover 通用 lib
4. zkML 进入生产：从小模型 (MNIST) 扩展到中等模型 (BERT, Llama-7B with opML)
5. Aztec 主网 + 隐私 DeFi：Aztec V3 上线开启「隐私 EVM」时代
6. Type 1 zkEVM 出现：Taiko / Kakarot 为 EF "L1 自身 ZK 化" 铺路
7. ZK 监管接口：view keys / selective disclosure 成为合规默认
8. Coprocessor 杀手应用：Axiom-style 历史查询解锁复杂 dApp

---

完整能力 checklist

我能做的事（Day 243 末）

• 写一个 Circom 电路从零到部署
• 写一个 Noir 智能合约
• 写一个 Halo2 简单电路
• 部署 Tornado-style 隐私应用
• 部署 Semaphore-based 匿名应用
• 跑通 EZKL ML 推理 proof
• 跑通 Risc Zero zkVM 程序
• 比较 4 大 zkEVM 选合适的
• 阅读 ZK audit report 找漏洞
• 解释 ZK 大部分概念给非 ZK 工程师
• 评估一个新 ZK 项目的技术合理性

还需要在工作中练习的（Mid → Senior）

• 主导一个 production ZK audit
• 优化电路约束数 30%+
• 写 GPU MSM kernel
• 主持 trusted setup ceremony
• 设计自定义 zkEVM precompile
• 发表 ZK 论文 / 演讲

---

关键资源（合集）

必读论文

• Groth16 (2016): "On the Size of Pairing-Based Non-interactive Arguments"
• PLONK (2019): "PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge"
• Halo (2019): "Halo: Recursive Proof Composition without a Trusted Setup"
• STARK (2018): "Scalable, transparent, and post-quantum secure computational integrity"

必读博客

• Vitalik 的 ZK 系列 (vitalik.eth.limo)
• 0xPARC blog (0xparc.org)
• Aztec engineering blog
• Scroll engineering blog

必学项目

• iden3/circom（Circom 实现）
• noir-lang/noir
• privacy-scaling-explorations/halo2
• zcash/halo2

必访社区

• ZK Discord (zkproof.org)
• 0xPARC Discord
• PSE Discord
• ETH Research forum (ethresear.ch)

---

Phase 4 总结陈词

240 天前：我是金融零售 PM，知道 ZK 是某种「神秘加密技术」
240 天后：我能从数学基础 → 工具链 → 应用 → 审计 → 项目部署 ✓

这不是「学完了」，而是「能进入 ZK 行业并持续成长」的门槛。

最重要的转变：从「ZK 是黑盒」到「ZK 是工具集」——任何业务问题都能问「这里能不能用 ZK 解决？」

---

面试题（Phase 4 大总结）

1. Q: 给我 5 分钟讲清楚 ZK 是什么、能做什么、有哪些主要工具。 A: ZK = 不暴露数据但能让对方信任结果。三大方向：(a) scale——zk-Rollup 让 EVM 扩 100×；(b) privacy——隐私支付/身份/投票；(c) trust——zkBridge/Coprocessor/zkML 给链上提供可信外部数据/计算。工具栈：Circom + snarkjs（入门）；Noir + Aztec（隐私 dApp）；Halo2 + KZG（zkEVM）；Risc Zero/SP1 (zkVM)；EZKL（ML）。

2. Q: 你做完 240 天 ZK 学习，能解决的产品问题举 3 个？ A: (1) 隐私积分系统：用 Semaphore + Merkle 让用户匿名累积积分但仍可证明 tier；(2) 链上 KYC 一次复用：用 zkPassport / Polygon ID 让 dApp 不重复 KYC；(3) 历史行为奖励：用 Axiom / Brevis 给「过去 6 个月日均余额 > 1k 的钱包」发奖励，无需信任 indexer。

3. Q: ZK 行业最大的瓶颈是什么？你看好哪个方向破局？ A: 瓶颈：(a) Prover 速度 — 大电路 prove 仍 5-30 min；(b) 开发者门槛 — 写 ZK 比写 Solidity 难 10×；(c) Verifier gas 高 — EVM 上一次 verify 250k+ gas。破局者：(a) GPU + recursion 把 prove 时间降到秒级；(b) zkVM (Risc Zero/SP1) 让任何 Rust 工程师能写 ZK；(c) EVM precompile (BLS12-381 EIP-2537) 降 verify gas。

4. Q: 240 天学习的 ROI 怎么衡量？ A: 短期：能进 ZK PM/工程师岗位（薪资上 30-50%）。中期：建立独特的「金融业务 + ZK 技术」差异化定位（市场极少）。长期：ZK 是 web3 未来 10 年最重要的密码学进步，懂 ZK 等于懂 next-gen Web3 基础设施，类比 2010 年懂分布式系统的工程师。

---

结语

Phase 4 (Day 181-243) 完成 = 60 天密码学 + ZK 数学 + 21 天 ZK 实战

接下来路径有三条：(A) 深耕 ZK 工程；(B) 组合 ZK + AI；(C) ZK PM 求职。

任何一条都是稀缺人才路径。重点是「输出倒逼输入」：写文章、做开源、参加 hackathon、求职 — 在外部世界证明你的能力。

下一阶段（Day 244+）：暂未规划，可以是：

• Phase 5: 持续 ZK 实战 + 开源贡献
• 转入实战求职（200+ 简历投递、面试)
• 写一本《ZK 工程实战》中文书
• 创业（金融 × ZK）

---

Phase 4 完结。21 天实战。240 天总耕耘。 🎓