By utilizing zero-knowledge proofs, Boundless enables blockchains to verify the correctness of calculations without the need for re-execution. This ground-breaking feature, known as verifiable computing, allows actions performed by a single node in a network to be validated inexpensively by each node.

Zypher Network is a ZK computing Layer for Trustless AI Agents. Its middleware solutions (Proof of Prompt, Proof of Inference) guarantee AI agent data consistency & integrity without public knowledge. With a ZK-driven application infrastructure, Zypher is delivering secure, autonomous mission-critical and financially sensitive on-chain operations for human and AI agents.

Lagrange is a Zero-Knowledge Coprocessing protocol that enables verifiable computations at big data scale across various blockchains. Its unique ZK Coprocessing approach involves a decentralized network of nodes that execute computations off-chain and generate ZK proofs of the results to submit on-chain, in a hyper-parallel manner, thereby unlocking significant efficiency and cost gains. By providing hyper-scalable proving, Lagrange opens the door for innovations in cross-chain interoperability and applications requiring complex computations over big data.

RISC Zero is building a next-generation, scalable blockchain using zero-knowledge proof technology and RISC-V zkVM. Developers familiar with programming in Rust, Go, C++, and other standard programming languages can write on-chain decentralized applications.

Espresso is a global confirmation layer that provides L2 chains with fast, reliable transaction confirmations backed by BFT consensus. Espresso's confirmation layer can prevent sequencer equivocation, protect against reorgs, and reduce finality risk for solvers in intent-based systems. Its versatility means chains can also use it as a decentralized sequencer and low-cost data availability layer.

Cysic is a ZK-hardware acceleration project dedicated to designing advanced ASIC chips to reduce the time needed to generate ZK proofs for zk-based systems.

Hyli is the new proof-powered L1 to build the next generation of apps onchain. It runs complex logic off-chain, submit a proof, and will verify it natively before settling onchain.

Nexus Network is a massively-parallelized proof mining network. It is a world-scale instantiation of the Nexus zkVM, designed to run at a trillion CPU cycles per second, given enough computing power connected to it. The Nexus zkVM (zero-knowledge virtual machine) is a modular, extensible, open-source, highly-parallelized, prover-optimized, contributor-friendly, zkVM written in Rust, focused on performance and security.

Citrea is a Bitcoin’s ZK rollup and an execution layer that settles on Bitcoin. Every transaction occurring on Citrea is fully secured by zero-knowledge proofs and verified by Bitcoin through BitVM.

Privacy Pool is a protocol that enables anonymous transactions on Ether. It uses zero-knowledge proofs to segregate illicit funds, allowing users to prove compliance without revealing their identity.

StarkNet is a permissionless, decentralized Validity-Rollup (also known as a "ZK-Rollup"). It operates as an L2 network over Ethereum, enabling any dApp to achieve unlimited scalability for its computations without compromising Ethereum's composability and security. This is possible due to StarkNet's reliance on the safest and most scalable cryptographic proof system: STARK.

Sophon is an entertainment-focused ecosystem built as a modular rollup leveraging zkSync’s ZK Stack technology. As a ZK chain leveraging the ZK Stack, Sophon is intended to be tailored for any high throughput applications such as artificial intelligence and gaming.

Psy Protocol is Bitcoin’s native execution layer, designed to address the challenges of Web3 development. The horizontally scalable, secure, and user-friendly platform is built for developers and users alike, supporting a wide range of applications from DeFi to NFTs and beyond. Decentralized applications built on Psy Protocol can locally prove transactions, providing users with unlimited computation for a fixed gas fee. This innovative method ensures that every user’s public key functions as a custom ZK circuit, featuring ‘smart signatures’ that can be read from state, resembling a smart contract.

Linea is a layer2 Zero Knowledge Ethereum Virtual Machine (zkEVM). It replicates the Ethereum environment as a rollup, allowing developers to build on it as they would on Ethereum mainnet. This provides users with the same experience and security guarantees of Ethereum, but with reduced transaction costs.

zkSync is a Layer-2 scaling solution that preserves the security properties of the underlying blockchain by leveraging the latest generation of succinct zero-knowledge proofs. All funds in zkSync are held in a smart contract on the mainchain, while computation and storage are performed off-chain. For each Rollup block, a state transition zero-knowledge proof (SNARK) is generated and verified by the mainchain contract. This SNARK includes the proof of the validity of every transaction in the Rollup block.

Nockchain is a proof-of-useful-work blockchain that sits atop novel ZKVM. Leveraging the beautiful simplicity of Nock, It built the first combinator-based virtual machine that can be efficiently used with Zero-Knowledge Proofs. Nockchain is a high-throughput chain that provides proofs of computation, storage, and a new namespace.

Succinct is building a decentralized prover network so that anyone can build blockchain applications and infrastructure secured by cryptographic truth, not trust. Succinct unifies the proof supply chain, providing highly available proof generation infrastructure with best-in-class pricing, for rollups, coprocessors and other applications using zero-knowledge proofs.

Orbiter Finance is a decentralized cross-rollup bridge for transferring Ethereum native assets, providing the infrastructure for Layer 2.In Orbiter Finance, there are two roles they are Sender and Maker. When the Sender initiates a transfer, the Maker provides liquidity for it. The smart contract ensures the security of this process. If the Maker does bad behaviors and the transfer fails, the Sender can initiate an arbitration request to the contract with Maker’s margin and then get the excess compensation.

Fiamma is a verification network that specializes in zero-knowledge (ZK) proofs, striving to provide a secure, decentralized, and economically efficient solution for universal blockchain integration. At its heart, Fiamma is engineered to leverage the robust cryptoeconomic and network security value of Bitcoin via the integration with Babylon and implementation of BitVM2. This combination enables Fiamma to introduce ZK capabilities into the Bitcoin ecosystem and secure ZK use cases in Ethereum and beyond, enhancing the scope and effectiveness of ZK technology.

Orochi Network is a Verifiable Data Infrastructure designed to ensure data integrity and privacy through advanced cryptographic techniques. Orochi Network provides a secure infrastructure for processing and proving data without compromising confidentiality. This combination of cutting-edge cryptographic primitives allows users to trust the system’s outputs while keeping sensitive information protected, making it a powerful solution for applications requiring both transparency and privacy.

InfinityVM is the execution architecture that natively integrates offchain compute. Compute can run offchain and IVM ensures that only honest results are included. IVM enables applications to practically use ZK without constraints, allowing for results to be used instantly.

ZisK is an open-source zero-knowledge proving toolstack featuring a zkVM that enables verifiable execution of programs written in high-level languages like Rust

Inference Labs specializes in developing infrastructure and products for AI on web3, and focuses on AI inference interoperating on the blockchain. The zero-knowledge proofs ensure privacy and security without compromising on speed or efficiency. User can verify the correctness of off-chain AI outputs without having to calculate them yourself.

Manta Network is the multi-modular ecosystem for zero-knowledge (ZK) applications. Manta Atlantic, the fastest ZK L1 chain, brings programmable privacy to web3 through compliant on-chain privacy and identity. Manta Pacific, the unique L2 ecosystem for EVM-native ZK applications, provides a scalable and inexpensive gas-fee environment for ZK applications to deploy simply using Solidity. Together, Manta Atlantic and Manta Pacific deliver an unparalleled experience for the next generation of web3 application development and adoption with the applied usage of zero-knowledge cryptography.

Union is a yper-efficient interoperability protocol connects all blockchains and rollups, across any ecosystem. It's based on consensus verification and has no dependencies on trusted third parties, oracles, multi-signatures, or MPC.

Polyhedra is building foundational infrastructure for trust and scalability in AI and blockchain systems, enabling secure, verifiable, and high-performance applications. Led by a world-class team of engineers, researchers, and business leaders from institutions including UC Berkeley, Stanford, and Tsinghua University, Polyhedra's deep expertise in zero-knowledge proofs and distributed systems underpins the development of our technical solutions that will help form the AI infrastructure of the future.

vlayer is a trustless verifiable data infrastructure powered by zero-knowledge proofs.

DeepSafe is a cryptographic random verification proxy solution and independent public chain, which is dedicated to creating a decentralized, zero-trust verification layer for blockchain and artificial intelligence (AI). Integrating cutting-edge cryptographic technologies such as MPC, ZKP, TEE and Ring-VRF, DeepSafe aims to provides cryptographic security and verifiable fairness to ensure the privacy, authenticity and reliability of data and transactions.

Primus Labs, an acronym for Privacy-Preserving Attestation Data Operator, is at the forefront of cutting-edge cryptography. Primus Labs will use cryptographic algorithms to take the lead in integrating off-chain data into the on-chain world through technologies such as interactive zero-knowledge proof (IZK) and secure multi-party computation (MPC). Compliant, secure, private and verifiable links are ensured, facilitating the creation of interconnected and composable user credentials. Primus Labs's vision is to build a completely decentralized credit protocol centered on users.

Taiko is a decentralized Ethereum-equivalent ZK-EVM and general-purpose ZK-Rollup. Its purpose is to enable developers and users of dApps developed for Ethereum L1 to use them on Taiko without any modifications. Therefore, dApps can be quickly deployed to L2, preserving Ethereum's security while incurring lower transaction fees than on L1.