从 zkVM 到开放证明市场：RISC Zero 与 Boundless 解析(2)

• 扩容（Scalability） 是 ZK 最早落地、也是应用最广的场景。其核心思想是将交易执行移到链下，再用简短的证明在链上验证，从而在不牺牲安全性的前提下显著提升 TPS、降低成本。典型路径包括：zkRollup（zkSync、Scroll、Polygon zkEVM），通过批量交易压缩实现扩容；zkEVM，在 EVM 指令级别构建电路，实现以太坊原生兼容；以及更通用的 zkVM（RISC Zero、Succinct），支持任意逻辑的可验证外包。

• 隐私保护（Privacy） 旨在证明交易或行为的合法性，同时避免暴露敏感数据。典型应用包括：隐私支付（Zcash、Aztec），保证资金转移有效性而不公开金额与对手方；隐私投票与 DAO 治理，在不泄露投票内容的情况下完成治理；以及 隐私身份 /KYC（zkID、zkKYC），仅证明「符合条件」，而不披露额外信息。

• 互操作与数据证明（Interoperability & Data Integrity） 则是 ZK 技术解决「多链世界」信任问题的关键路径。通过生成另一条链状态的证明，跨链交互可摆脱中心化中继。典型形式包括 zkBridge（跨链状态证明）与 轻客户端验证（在目标链上高效验证源链区块头），代表项目有 Polyhedra、Herodotus 等。同时，ZK 也被广泛用于 数据与状态证明，如 Axiom、Space and Time 的 zkQuery/zkSQL，或 IoT 与存储场景的数据完整性验证，确保链下数据可信上链。

在这三大基础场景之上，未来 ZK 技术有机会逐渐延伸至更广阔的行业应用：包括 AI（zkML），为模型推理或训练生成可验证证明，实现「可信 AI」；金融合规，如交易所储备证明（PoR）、清算与审计，降低信任成本；以及 游戏与科学计算，在 GameFi 或 DeSci 中确保逻辑与实验结果的真实性。本质上，它们都是「可验证计算 + 数据证明」在不同行业的落地扩展。

以太坊创始人 Vitalik 在 2022 年提出的 ZK-EVM 四类分类（Type 1–4），揭示了 兼容性与性能之间的权衡：

• Type 1（完全等价）：字节码与以太坊 L1 完全一致，迁移成本最低，但证明最慢。代表项目：Taiko。

• Type 2（完全兼容）：保持高度 EVM 等价，仅做极少底层优化，兼容性最强。代表项目：Scroll、Linea。

• Type 2.5（准兼容）：小幅修改 EVM（如 gas 成本、预编译支持），牺牲少量兼容性换取性能提升。代表项目：Polygon zkEVM、Kakarot（运行在 Starknet 上的 EVM）。

• Type 3（部分兼容）：对底层修改更彻底，能跑大多数应用，但无法完全复用以太坊基础设施。 代表项目：zkSync Era。