ZisK 是一个开源的零知识证明工具包，其特点是配备了一个 zkVM，可验证以 Rust 等高级语言编写的程序的执行。

Privacy Pool 是一种在以太坊上实现匿名交易的协议。它使用零知识证明来分离非法资金，让用户无需透露身份即可证明合规性。

StarkNet 是一种无需许可的去中心化 Validity-Rollup（也称为“ZK-Rollup”）。它作为以太坊上的 L2 网络运行，使任何 dApp 能够实现其计算的无限规模 - 而不会影响以太坊的可组合性和安全性，这要归功于 StarkNet 对最安全和最具可扩展性的加密证明系统 STARK 的依赖。

zkSync 是 Matter Labs 开发的第 2 层扩展解决方案，通过利用最新一代简洁的零知识证明来保留底层区块链的安全属性。 zkSync 中的所有资金都由主链上的智能合约持有，而计算和存储则在链下执行。对于每个 Rollup 块，都会生成状态转换零知识证明 (SNARK)，并由主链合约进行验证。这个 SNARK 包括 Rollup 块中每笔交易的有效性证明。

Ethproofs 是以太坊的区块证明资源管理器。它汇总来自不同 zkVM 团队的数据，提供已证明区块的全面概览，包括成本、延迟和证明时间等关键指标。用户可以按区块比较证明、下载证明并探索各种证明元数据（大小、时钟周期、类型），以便更好地了解单个 zkVM 及其证明生成过程。

Self Labs 正在为互联网构建一个可扩展的信任层，将隐私放在首位。该公司的开源平台 Self Pass & Connect 专注于在不泄露个人数据的情况下证明用户的身份和独特属性，通过利用零知识证明和电子护照 NFC 技术为数百万用户提供安全、去中心化的验证。Self Protocol 支持全球护照（174 多个国家）和蓬勃发展的数字经济所必需的合规标准。

Brevis 是一个零知识 (ZK) 全链数据证明平台，它使 dApp 能够以完全无信任的方式跨多个区块链访问、计算和利用任意数据。Brevis 拥有广泛的用例，例如数据驱动的 DeFi、zkBridges、链上用户获取、zkDID、社交账户抽象等等。

Nockchain 是一个基于 ZKVM 的实用工作证明区块链。 利用 Nock 的美丽简单性，它构建了第一个基于组合器的虚拟机，可以有效地与零知识证明一起使用。 Nockchain 是一条高吞吐量链，提供计算、存储和新域名空间的证明。

Pi Squared 使用零知识证明（ZK）技术来验证任何程序的执行正确性，无需依赖于特定的编程语言（PL）或虚拟机（VM）。其基于K框架和匹配逻辑，提供一种通用且高效的验证方法，旨在实现区块链、语言和应用程序的无缝互操作性。

ZEROBASE 是一个实时 ZK 证明器网络，专为速度、去中心化和法规遵从性而设计。它在数百毫秒内生成 ZK 证明，并通过其 HUB 环唤醒机制确保去中心化、快速达成共识，从而实现大规模商业使用。

Aztec Network 是以太坊上的隐私 ZK-rollup，使去中心化应用程序能够访问隐私和扩展。 Aztec 的汇总由领先的零知识扩展项目使用的行业标准 PLONK 证明机制保护。

Lagrange 是一种零知识协处理协议，支持跨各种区块链的大数据规模的可验证计算。其独特的 ZK 协处理方法涉及一个去中心化的节点网络，该网络在链外执行计算，并以超并行的方式生成结果的 ZK 证明以在链上提交，从而释放显著的效率和成本收益。通过提供超可扩展的证明，Lagrange 为跨链互操作性和需要大数据复杂计算的应用程序的创新打开了大门。

Succinct 正在构建一个去中心化的证明者网络，以便任何人都可以构建由加密事实（而不是信任）保护的区块链应用程序和基础设施。 Succinct 统一了证明供应链，为使用零知识证明的 rollup、协处理器和其他应用程序提供了高度可用的证明生成基础设施和一流的定价。

通过利用零知识证明，Boundless 使区块链能够验证计算的正确性，而无需重新执行。这种功能被称为可验证计算，它允许网络中单个节点执行的操作可以由每个节点以低廉的成本进行验证。

Orochi 是一个可验证数据基础设施，旨在通过先进的加密技术确保数据完整性和隐私性。Orochi 网络提供了一个安全的基础架构，用于处理和验证数据，且不会损害机密性。这种先进的加密原语组合使用户能够信任系统的输出，同时保护敏感信息，使其成为同时需要透明度和隐私性的应用的强大解决方案。

Cysic是一个全栈计算网络，旨在将 GPU、ASIC 和计算资源转化为具有流动性和收益性的资产。其产品包含ZK 证明层Cysic Network、Cysic 硬件（GPU、ZK Air 和 ZK Pro）、Cysic AI。

Manta Network 是零知识应用程序的多模块生态系统。Manta Atlantic 是最快的 ZK L1 链，通过合规的链上隐私和身份为 web3 带来了可编程隐私。Manta Pacific 是 EVM 原生 ZK 应用程序的独特 L2 生态系统，为 ZK 应用程序提供了一个可扩展且廉价的 Gas 费环境，以便仅使用 Solidity 进行部署。Manta Atlantic 和 Manta Pacific 共同通过零知识加密技术的应用，为下一代 Web3 应用程序开发和采用提供无与伦比的体验。

Inference Labs 专注于开发 web3 上的 AI 基础设施和产品，并专注于区块链上的 AI 推理互操作。零知识证明在不影响速度或效率的情况下确保隐私和安全。用户可以验证链下人工智能输出的正确性，而无需自己计算。

Psy 是一个可扩展、隐私优先、无需信任的区块链网络，并由创新的有用工作量证明 (PoUW) 2.0 共识机制保障安全。

zkPass 是一种利用 3P-TLS 和混合 ZK 技术的隐私数据协议，提供工具和应用程序，用于从任何无需 Oauth API 的 HTTPS 网站进行安全、可验证的数据共享，并提供隐私和完整性保证。

Obscura 是基于 Solana 的隐私层，由 zk 提供支持。

Billions Network 是一个数字身份验证平台，旨在为人类和人工智能提供相互信任的未来，包括 Sam Altman 的加密项目 World。该平台利用零知识证明技术，旨在提供一种可扩展且安全的方法来验证人类和人工智能的身份。

Polyhedra 正在为人工智能和区块链系统构建基础性基础设施，以实现信任和可扩展性，从而支持安全、可验证的高性能应用。Polyhedra 由来自包括加州大学伯克利分校、斯坦福大学和清华大学在内的世界级工程师、研究人员和商业领袖领导，他们在零知识证明和分布式系统方面拥有深厚的专业知识，为我们的技术解决方案的开发奠定了基础，这些解决方案将助力构建未来的 AI 基础设施。

zkMe 是一个去中心化的 Web3 凭证网络，它利用零知识证明的力量来实现安全和隐私的凭证发布和验证。ZkMe 使用户能够有选择地向授权方披露他们的凭据，而不会损害他们的隐私，从而授予他们对其数字身份的完全控制权。用户可以创建和管理他们的数字身份，而不必担心他们的个人信息被泄露。该协议在各个行业都有潜在的用例，包括公平空投的反女巫保护、GameFi 集成的匿名网络数据证明以及 DeFi 的私人 KYC 合规性。

Nexus Network是一个大规模并行化的证明挖矿网络。它是 Nexus zkVM 的世界级实例化，旨在以每秒一万亿个 CPU 周期的速度运行，前提是它连接了足够的计算能力。Nexus zkVM（零知识虚拟机）是一个模块化、可扩展、开源、高度并行化、验证优化、贡献者友好的 zkVM，用 Rust 编写，专注于性能和安全性。

DeepSafe 是一个加密随机人工智能验证网络及独立公链，专为区块链与人工智能（AI）打造去中心化、零信任的验证层。融合 MPC、ZKP、TEE 和 Ring-VRF 等前沿密码技术，DeepSafe 旨在提供加密安全性与可验证的公平性，保障数据和交易的隐私性、真实性与可靠性。

Fermah 是一个通用的零知识证明生成层。它充当市场，供应方包括 GPU 和 FPGA。在需求方面，Fermah 可以为任何使用 ZK 的实例生成证明。

Union 是一个高效的互操作协议，连接了任何生态系统中的所有区块链和 rollup。它基于共识验证，不依赖于受信任的第三方、预言机、多重签名或 MPC。

Zypher Network 是一个服务于无需信任的 AI 代理的 ZK 计算层，通过中间件解决方案（Prompt 证明，推理证明）确保了 AI 代理数据的一致性和完整性，同时不公开数据内容。通过 ZK 驱动的应用基础设施，Zypher 正在为人类和 AI 代理提供安全、自主的关键任务和金融敏感的链上操作。

Iron Fish 是第 1 层区块链，旨在成为所有 Web3 的通用隐私层。 Iron Fish 使用零知识证明 (zk-SNARK) 和最高的行业加密标准，使用户能够进行完全私密的交易——所有区块链的真正 SSL 层。2025年3月 Base 收购 Iron Fish 开发团队，为 Base 开发隐私保护原语，具体收购金额未披露。此次收购仅限于 Iron Fish 团队，未涉及 Iron Fish 网络、代币或其技术，Iron Fish 项目将保持独立，不隶属于 Coinbase 或 Base 无关。