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

Hyli 是基于证明的 L1，用于构建下一代链上应用程序。Hyli 在链下运行复杂的逻辑，提交证明，并在链上结算之前在本地验证它。

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

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

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

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

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

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

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

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

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

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

ZkCloud 是 ZK 的通用证明层，可聚合证明需求，使利用可证明计算的新应用程序通过将成本降低到 AWS 和 GCP 等标准证明外包成本的一小部分而变得经济可行。它还通过聚合整个行业的工作负载来确保证明者节点能够实现最高的资源效率，以满足扩展和隐私用例以及未来的更多需求。

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

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

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

vlayer 是一个由零知识证明驱动的可信可验证数据基础设施。

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

Jiritsu 开发了无限可验证计算（UVC）等技术，旨在提供一种易于编程的方法，可以应用于任何工作流程并生成工作流程证明，集成 L1、L2 和中间件的任意组合。

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

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

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

ZKBase是一个基于零知识（ZK）证明技术的基础设施协议，致力于为以太坊、比特币等主流区块链提供扩容解决方案。ZKBase已经实现了ZKSpace（DEX、ZNS、ZKSea、ZKSquare）、ZKSwap（ ZKSync）和ZKSwap（ZKFair）为用户提供一系列服务，包括去中心化交易所、跨链桥、二层支付、NFT市场和二层域名。

Three Protocol（Jobs3）是一个用于加密市场的 No-KYC ZKP 伪匿名、神经网络 AI 和三签名 DAO，其目标是建立一个植根于区块链技术的自治市场网络。这些市场旨在促进缺乏传统银行设施的个人的产品、服务和现实世界资产金融包容性，使用神经网络人工智能技术来提高市场采购效率，使加密货币能够用于交易，并通过以下方式实现公平治理：去中心化自治组织（DAO）。旗下首个平台 Jobs3 将成为 Upwork 和 Fiverr 等现有就业市场的去中心化竞争者。该项目的核心是 $THREE 治理代币、神经网络机器学习和 ZKP 伪匿名以及智能合约技术，这些技术共同将实现安全托管服务、市场产品、服务、现实世界资产的高效采购、DAO 促进的争议解决机制以及无缝的加密货币购买交易。

Tusima是一个连接Web3.0与现实世界商业的基础设施，致力于完全在Web3.0高效、低成本、去中心化的网络上建立RWB（现实世界商业）。 它旨在通过将 Web3.0 集成到业务运营中，利用变革性创新基础设施来释放现实世界商业的全部潜力。

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

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

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

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

Cysic是一个ZK硬件加速项目，致力于设计先进的ASIC芯片来帮助减少ZK证明生成时间，已经拥有多个生态系统合作伙伴，包括 Scroll、Nil Foundation 和 Hyper Oracle。