用途：帮助开发者为隐私型 DApp 选择 ZK、FHE 或 MPC。ZK 证明某陈述为真而不暴露底层数据；FHE 直接在密文上计算；MPC 让多方在不暴露各自原始输入的前提下联合计算。
主要能力与差异：ZK 只公开被证明的陈述，计算在数据所在处进行，仅证明上链；FHE 全程保持加密，由单一计算方在密文上运算；MPC 分散在多个不串通的参与方之间，隐私依赖各方不勾结。性能上，FHE 对每次密文操作都有开销，ZK 成本集中在证明生成（每次交互一次），MPC 成本在网络通信且随参与方数量增长。工具链方面，ZK 智能合约工具相对成熟，有 Compact（Midnight）、Noir（Aztec）、Leo（Aleo）等专用语言；FHE 工具较年轻，以库和 Solidity 扩展为主，如 Zama 的 FHEVM；MPC 工具通常与平台绑定，如 Partisia。
代表平台：ZK 有 Midnight、Aztec、Aleo、Mina、Starknet、ZKsync；FHE 有 Zama、Fhenix、Duality Technologies、OpenFHE、Microsoft SEAL，Inco 正在构建 FHE 协议；MPC 有 Partisia Blockchain、Lit Protocol、Threshold Network。TEE（如 Oasis Sapphire、Secret Network、Inco Lightning）属硬件信任模型，不是密码学协议，应单独归类。
典型场景：ZK 适合私有智能合约、身份证明、选择性披露；FHE 适合加密数据处理与机密分析；MPC 适合门限密钥管理、分布式签名、互不信任组织间的联合计算。三者可组合，例如 MPC 管密钥加 ZK 保证交易隐私，部分 FHE 设计用 ZK 证明加密输入格式正确。
Midnight 的选择：Midnight 使用 zk-SNARK，通过基于 TypeScript 的领域专用语言 Compact 编译为电路，协议层分离公开与私有状态，证明默认由本地证明服务器生成，仅证明与公开数据上链，支持默认保密、按需披露的“理性隐私”。
限制：各平台生产状态变化频繁，需查阅其官方文档确认当前状态；本页不主张 ZK 普遍优于 FHE 或 MPC。