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

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

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

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

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

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

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

Espresso 是一个全局确认层，为 L2 链提供由 BFT 共识支持的快速、可靠的交易确认。Espresso 的确认层可以防止序列器模棱两可，防止重组，并降低基于意图的系统中求解器的最终性风险。它的多功能性意味着链还可以将其用作去中心化序列器和低成本数据可用性层。

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

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

ENI 是基于零知识证明 (ZKP) 技术构建的高性能企业级 Web3 区块链。其模块化和多链架构可实现主网和应用链之间的无缝协作，为企业和开发者提供高度可扩展的基础设施。

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

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

Scroll 是以太坊的原生 zkEVM 第 2 层解决方案。可实现对现有以太坊应用程序和工具的原生兼容。Scroll 处理链下交易，并在链上发布简洁的正确性证明。与以太坊基础层相比，这导致更高的吞吐量和更低的成本。

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

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

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

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

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

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

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

Citrea 是一个比特币的 ZK rollup，也是一个以比特币为基础的执行层。 Citrea 上发生的每笔交易均受到零知识证明的完全保护，并通过 BitVM 进行比特币验证。

Delphinus Lab 提供基于 ZKWasm 虚拟机的去信任计算解决方案和应用 SDK。 ZKWASM（支持 Web Assembly 的 ZKSNARK 虚拟机）充当 WASM 运行时上运行的应用程序与链上智能合约之间的去信任层。其使命是构建一个zkWASM 云套件，使用汇总作为应用程序的方法，简化将更通用的web应用程序集成到web3环境中的过程。

Orbiter Finance 是一个去中心化的跨 rollup 桥，用于转移以太坊的原生资产。在 Orbiter Finance 中，有 Sender 和 Maker 两个角色 。当 Sender 发起转账时，Maker 为其提供流动性。智能合约保证了这个过程的安全性。如果 Maker 有不良行为导致转账失败，Sender 可以用 Maker 的保证金向合约发起仲裁请求，然后获得超额补偿。

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

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

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

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

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

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