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

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

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

Morph 是一种完全无需许可的 EVM L2，它结合了 optimistic 和 zk rollup 技术，为需要在其上构建金融、游戏、社交媒体和娱乐应用程序的链的开发人员提供了用户友好的选项。

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

Orochi Network 是一种尖端的 ZKO（应用零知识证明的操作系统），旨在应对 Web3 行业中计算限制，数据正确性和数据可用性的挑战。 Orochi Network 使用 MPC 和 ECVRF 为所有类型的Web3应用程序构建了无信任随机性的分布式来源，为EVM和FVM上的智能合约提供可验证的随机性。

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

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

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

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

PolyHedra 是Web3 互操作性的基础设施，使用尖端的零知识证明系统扩展 Web3 互操作性。在 Polyhedra Network 使用 deVirgo 实现 zkBridge，为跨链桥和各种 Web2 和 Web3 系统之间的数据互操作性提供去信任和高效的基础设施。 Polyhedra Network 通过高度可扩展的中间件（包括 ZK-NFT 容器、DAO/DAC 系统和去中心化 Web3 身份）为 Web3 开辟了设计空间。

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

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

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

Linea 是一种 zk-rollup，由ConsenSys R&D设计并由 ConsenSys运营。它允许开发者部署任何智能合约，使用任何工具，并像在以太坊上构建一样进行开发。对于用户来说，这使得以太坊的体验和安全保证成为可能，但交易成本更低。

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

Stoffel 是专为安全多方计算 (MPC) 应用程序设计的虚拟机架构。它为执行 MPC 协议提供了灵活高效的基础，同时保持了协议不可知性。

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

RISC Zero 正在使用零知识证明技术和 RISC-V zkVM 构建下一代可扩展区块链。 RISC Zero 允许习惯使用 Rust、Go、C++ 和其他标准编程语言编程的开发人员编写链上去中心化应用程序。

Primus Labs 是 Privacy-Preserving Attestation Data Operator 的缩写，处于尖端密码学的研究前沿。Primus Labs 将利用密码算法，通过交互式零知识证明（IZK）和安全多方计算（MPC）等技术，率先将链下数据集成到链上世界。确保了合规、安全、私密和可验证的链接，促进互连和可组合的用户信用凭证的创建。Primus Labs 的愿景是建立一个以用户为核心的完全去中心化的信用协议。

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

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

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

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

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

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

Kakarot 是一个用 Cairo 编写的 zkEVM。它旨在允许用户利用有效性 rollup 的扩展优势，同时保持与以太坊生态系统的兼容性。因此，Kakarot 可用于在 Starknet 上运行以太坊智能合约。

Automata Network 是一个模块化证明层，通过在机器性证明方法中利用乐观汇总和零知识证明，将机器级信任扩展到以太坊。特定于应用程序的汇总允许对协议外计算进行链上验证，从而创建一条不间断的信任链，向上延伸到整个 Web3 堆栈。

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

Chakra 是一种基于 ZK 证明的比特币再质押协议。它利用 STARK 来证明比特币上的质押事件，并验证第 2 层链上的证明。