AI Cross Matrix （ACM） 是一种以隐私为中心的金融协议，建立在零知识证明 （ZKP）、环签名和基于 AI 的路径混淆机制之上。并致力于实现去中心化、跨链和不可追踪的资产转移。旨在成为开放和安全的 Web3 金融的基础层。

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

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

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

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

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

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

OpenVM 是一个用于定制和扩展性的性能和模块化 ZKVM 框架。OpenVM 通过新颖的模块化设计实现这一点，允许开发人员在一个统一的框架内扩展 ISA、ZK 电路和证明系统。

Psy Protocol是比特币的zk原生执行层，旨在应对Web3开发的挑战。这个横向可扩展、安全且用户友好的平台是为开发者和用户构建的，支持从DeFi到NFT等广泛的应用程序。基于 Psy Protocol 构建的去中心化应用程序可以在本地证明交易，为用户提供固定 Gas 费用的无限计算。这种创新方法确保每个用户的公钥都充当自定义 ZK 电路，具有可从状态读取的“智能签名”，类似于智能合约。

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

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

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

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

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

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

Modulus 是一种以太坊第 2 层可扩展性解决方案，它使用加密零知识证明为链外交易计算（也称为 ZK-Rollup）提供有效性和快速确定性。 ZK-Rollup 通过发布零知识有效性证明来透明地执行智能合约，同时保持与以太坊虚拟机的操作码兼容性。

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

InfinityVM 是一个原生集成链下计算的执行架构。计算可以在链下运行，IVM 确保只包含真实的结果。IVM 使应用程序能够不受限制地实际使用 ZK，从而可以立即使用结果。

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

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

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

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

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

Soundness是一个基于 Walrus 和 Sui 构建的去中心化验证层。它利用零知识证明来增强数据安全性、隐私性和区块链可扩展性。

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

Mystiko.Network 是 Web3 的零知识技术 (ZK) 层，它提供通用的 ZK 协议和 ZK 软件开发套件，同时具有可扩展性、互操作性和隐私性。 Mystiko 充当所有第 1 层、第 2 层、钱包、跨链桥、去中心化交易所 (DEX) 和其他去中心化应用程序 (Dapp) 的通用 ZK 层。

Yona Network 是比特币上的 ZK rollup，具有由 Solana VM、EigenLayer 和去中心化 Espresso 排序器支持的模块化架构。

ZKCross 是一个使用 zkWASM 的多链 zkRollup 执行层。通过解耦执行和结算层，ZKCross 通过 zkWasm 为所有区块链提供可信的通用多链执行层，并通过端到端的 ZKP 协议进行安全保护。多链本地产品也可以通过ZKCross快速开发和部署。

Prism 是一个为消费者加密货币开发信任最小化轻节点的项目。它使用零知识证明在设备上启用 rollup 功能。该系统与 Celestia 集成以实现数据可用性，专注于跨区块链的可扩展性和可访问性。

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