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

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

Midnight Network 是一种新型区块链，可用于构建保护敏感数据的去中心化应用程序，而不会牺牲性能和监管要求。开发人员可以在 Midnight 上构建基于 Typescript 和零知识 (ZK) 证明的新颖且易于使用的编程模型。

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

Sophon 是一个以娱乐为中心的生态系统，利用 zkSync 的 ZK Stack 技术构建为模块化汇总。作为利用 ZK Stack 的 ZK 链，Sophon 旨在为任何高吞吐量应用程序（如人工智能和游戏）量身定制。

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

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

WORM 是 Nobitex Labs 构建的零知识虫洞。WORM 可以铸造隐秘销毁的 ETH，作为以太坊的原生隐私解决方案。

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

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

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

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

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

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

ENIGMA 是一款基于 RAVID 框架构建的安全架构，提供隐私保护的智能合约执行和数据处理功能，基于零知识证明技术，致力于实现数据隐私与计算效率的平衡。

ZERA 是一个安全、私密的统一 ZK 层，用于从货币和身份到市场、协调和创造力的一切。ZERA 钱包为日常加密货币带来隐私保护：提供屏蔽余额、私密离线 P2P 转账以及 Jupiter/Raydium 上的私密兑换功能，可直接与用户的屏蔽余额进行兑换。

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

zkVerify 是一个专为结算优化而设计的专用零知识证明验证网络。 zkVerify 专为与现有区块链网络无缝集成而设计，可最大限度地减少技术开销，并为跨各种 zk-rollups 和结算层的证明验证提供开发人员友好的环境。zkVerify 由 Horizen Labs（兼容 EVM 的 Horizen 网络背后的开发工作室）构建。

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

Strobe 是一个 ZK 证明生成网络，为 cosmos-sdk 构建一个模块，允许新的和现有的 L1、rollup 和应用程序构建和执行 Move 智能合约，然后帮助它们通过 IBC 交互。

DeGate 是一种基于零知识（ZK）技术的去中心化交易协议。作为 ZK Rollup，DeGate 通过在以太坊生态系统内提供现货订单簿交易和网格交易来填补市场的关键空白，提供类似于中心化交易所（CEX）的体验。 DeGate 是一个以 DAO 为中心的协议，DAO 完全控制其资金。

Taiko 是一个去中心化的以太坊等效 (Type-1) ZK-VM 和通用 ZK-Rollup 二层网络。其目的是让以太坊 L1 的 dApp 开发者和用户无需任何更改和摩擦，即可在 Taiko 上部署和使用，在最大化继承以太坊安全性的同时，提供比 L1 更快的速度和更低的交易费用。

Fiamma 是一个专门从事零知识 (ZK) 证明的验证网络，致力于为通用区块链集成提供安全、去中心化且经济高效的解决方案。从本质上讲，Fiamma 旨在通过与 Babylon 的集成和 BitVM2 的实施来利用比特币强大的加密经济和网络安全价值。这种组合使 Fiamma 能够将 ZK 功能引入比特币生态系统，并在以太坊及其他地区保护 ZK 用例，从而增强 ZK 技术的范围和有效性。

QEDIT 是一家区块链隐私公司，使用零知识证明和应用密码学为区块链基础设施增加企业级的安全性、隐私性。

PRXVT 是一款隐私保护协议，专注于 AI 代理经济中的基础设施支持，通过零知识证明实现匿名交互，确保交易验证不泄露代理历史或浏览模式，致力于为 AI 代理提供可信且不泄露身份的运行基础。

ZKForge 是一款零知识证明基础设施平台，由 zkSTARK 证明提供支持，通过 x402 协议层实现加密消息传递、隐私保护 dApp 和机密交易。该平台致力于构建可扩展的隐私保护解决方案。

ZK Sea Level 是一个在 Solana 区块链上实现零知识压缩的协议。它通过 ZK 证明实现可扩展的状态管理和数据可用性，从而降低成本并提升高吞吐量应用的效率，而不改变核心共识机制。

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

Bonsol 是一个 Solana 原生的可验证计算框架，它使开发人员能够将复杂的计算卸载到链下，同时保持链上可验证性，并通过可在 Solana 上有效验证的零知识证明来维护安全性和信任。

Coset_io 是一个专注于 Web3 开发的社区组织，致力于推动零知识证明与区块链技术的创新。