ZK
ZK
Zero Knowledge Proof（零知识证明）— 区块链可扩展性 + 隐私 + 信任最小化的核心技术。
2024-2026 主流化：zkSync Era / StarkNet / Linea / Scroll / Polygon zkEVM 五大 zkEVM 协议全部主网。
浩峰 2021 起持续追踪。
一、概念定义
零知识证明（Zero-Knowledge Proof, ZKP）= 一方向另一方证明"我知道某个秘密"而不泄露秘密本身。1985 年由 Goldwasser / Micali / Rackoff 提出。
两类主要技术：
- ZK-SNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）：证明小（200 字节），验证快（毫秒），需要可信设置（trusted setup）
- ZK-STARK（Zero-Knowledge Scalable Transparent Argument of Knowledge）：无需可信设置（透明），证明稍大（几十 KB），抗量子攻击
在区块链的三大应用：
1. 可扩展性（ZK Rollup）：zkSync / StarkNet / Linea / Scroll
2. 隐私：Zcash / Aztec / Tornado Cash（被制裁）
3. 跨链桥 / 互操作性：ZKM / Polymer / zkLink
二、关键时间点
| 日期 | 事件 | 影响 |
|---|---|---|
| 1985 | Goldwasser / Micali / Rackoff 提出 ZKP 概念 | 理论奠基 |
| 2013 | Zcash 创立（ZK-SNARK 应用） | 区块链首个 ZK 主流项目 |
| 2018 | Matter Labs / StarkWare 创立 | ZK Rollup 行业起点 |
| 2019-2020 | Loopring（DEX）+ Aztec（隐私）ZK 部署 | ZK 实际落地 |
| 2021-03 | zkSync 1.x（Lite） | 第一个主流 ZK Rollup L2 |
| 2021-11 | Matter Labs B 轮 5000 万美元（a16z 领投） | ZK Rollup 主流化 |
| 2021-11 | StarkWare C 轮 5000 万美元（红杉领投） | STARK 主流化 |
| 2022-03 | StarkWare D 轮 1 亿美元（估值 80 亿） | ZK 估值高峰 |
| 2022-10 | zkSync 2.0 测试网 | zkEVM 时代 |
| 2023-03 | zkSync Era 主网 | 第一个 zkEVM |
| 2023-07 | Linea 主网（ConsenSys） | 字节级 zkEVM |
| 2023-08 | Base 主网（虽然不是 ZK Rollup，但 L2 趋势代表） | L2 时代 |
| 2023-10 | Scroll 主网 | 字节级 zkEVM |
| 2024-03 | Dencun 升级（EIP-4844） | L2 费用降 90%+ |
| 2024-2025 | Polygon zkEVM 改名 Polygon | zkEVM 主流化 |
| 2024-2026 | RWA / AI 场景应用 ZKP（隐私推理 / 合规跨链） | 新叙事 |
三、ZK Rollup vs Optimistic Rollup
| 维度 | ZK Rollup | Optimistic Rollup |
|---|---|---|
| 证明系统 | zk-SNARK / zk-STARK | 欺诈证明（Fraud Proof） |
| 提款时间 | 几小时（数学证明） | 7 天（挑战期） |
| 计算复杂度 | 高（生成 ZKP） | 低 |
| EVM 兼容性 | 难（zkEVM 仍在追赶） | 容易（兼容 Solidity） |
| 代表 | zkSync / StarkNet / Linea / Scroll | Arbitrum / Optimism / Base |
| 2026 主流度 | 快速增长 | 仍占 L2 TVL 大头 |
浩峰判断：
- ZK Rollup 是技术未来，Optimistic 是当前主流
- zkEVM 难题 2024-2026 逐步解决，2026 ZK Rollup 份额会显著上升
- 提款时间：ZK Rollup 几小时，Optimistic 7 天 — ZK 优势
- EVM 兼容：Optimistic 兼容 Solidity 几乎无改动，ZK 需特殊编译
四、关键 ZK 项目（2026）
| 项目 | 母公司 | 关键技术 | 状态 |
|---|---|---|---|
| zkSync | Matter Labs | zk-SNARK, zkEVM | Era 主网 2023-03 |
| Starknet | StarkWare | zk-STARK, Cairo | 主网 2021-11 |
| Linea | ConsenSys | zk-SNARK, zkEVM | 主网 2023-07 |
| Scroll | Scroll 社区 | zk-SNARK, zkEVM | 主网 2023-10 |
| Polygon zkEVM | Polygon Labs | zk-SNARK, zkEVM | 主网 2023-03 |
| ZKM | ZKM Labs | zk-STARK, 通用计算 | 2024 融资 |
| zkLink | zkLink Labs | 跨链 ZK | 2021 融资 |
| ZKM | ZKM | 跨链 RWA | 2024-2025 |
| zkPass | zkPass | 零知识身份验证 | 2024 融资 |
| zkMe | zkMe | KYC 零知识化 | 2024 融资 |
五、关键人物
| 人物 | 项目 | 浩峰观察 |
|---|---|---|
| Alex Gluchowski | StarkWare 联合创始人 | ZK 行业领袖，以色列 |
| Eli Ben-Sasson | StarkWare 联合创始人 / Zcash 联合创始人 | STARK 共同发明人 |
| Alex Vlasov | Matter Labs / zkSync | 高级密码学家 |
| Josh Stark | L2 标准化核心 | 浩峰追踪的 Vitalik 关注的人 |
六、未解问题
- ZK 性能 vs 中心化云：ZK 证明生成时间 5-30 分钟，能否优化到秒级？
- zkEVM 兼容性：Solidity 100% 兼容 vs 部分兼容？
- ZK 监管问题：ZK 隐私功能是否会被 OFAC 制裁？
- 量子计算威胁：ZK-STARK 抗量子，ZK-SNARK 不抗量子？
- ZK 在 AI 推理 / RWA / 跨链 的应用
相关概念
相关来源
^[raw/mirror/blockchain/区块链研究/2020-2026年融资的区块链项目研究/2022年/2022年已AI分析项目/专题研究N1323：2021年融资区块链项目研究322之Matter Labs（zkSync）.md]
^[raw/mirror/blockchain/区块链研究/2020-2026年融资的区块链项目研究/2022年/2022年已AI分析项目/专题研究N991：区块链项目StarkWare.md]
^[raw/mirror/blockchain/区块链研究/2020-2026年融资的区块链项目研究/2022年/2022年专项及人物/专题研究N2253：VITALIK关注的人（项目）之八十四Josh Stark.md]
^[raw/mirror/blockchain/区块链研究/2020-2026年融资的区块链项目研究/2024年/已转音频/专题研究N：2024年融资区块链项目研究ZKM.md]
^[raw/mirror/blockchain/区块链研究/2020-2026年融资的区块链项目研究/2024年/已转音频/专题研究N：2024年区块链项目研究Linea.md]
(浩峰点评) ZK 是 2021 我追踪的"下一个 10 倍赛道"之一。Vitalik 关注的 Josh Stark 当时让我意识到 ZK 不只是技术问题，而是"区块链的下一代基础设施"。
我的判断：
1. ZK Rollup 是 L2 的"技术未来" — 提款时间几小时 vs Optimistic 7 天是杀手锏优势。EVM 兼容性 2024-2026 已大幅改善。
2. Starknet 估值 80 亿美元（2022）是市场过度乐观 — 实际 2024-2026 Cairo 生态挑战大；非 EVM 兼容是双刃剑。
3. ZK 隐私赛道 2024 受 OFAC 制裁压力 — Tornado Cash 案例让 ZK 隐私项目在美国运营困难。
4. ZK 在 RWA / AI / 跨链 的应用是新方向 — 2024-2026 ZKM / zkLink / zkPass 都在探索。
5. ZK 量子安全话题升温 — STARK 抗量子，SNARK 不抗 — 长期看 STARK 优势更明显。
我对 ZK 关注点：
- zkEVM 字节级兼容性 2026 全面成熟？
- ZK 在 AI 推理（ZK-ML）应用
- ZK 在 RWA 合规跨链应用
- 量子计算对 SNARK 的威胁时间线