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.

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.

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.

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

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.

Billions Network is a digital identity verification platform designed to offer a future where humans and AI can trust each other, including Sam Altman’s crypto project, World. The platform, which utilizes zero-knowledge proof tech, seeks to provide a scalable and secure method for verifying both human and AI identities.

ZkCloud is a universal proving layer for ZK, an on-demand proving network aggregating proof demand that enables new applications utilizing provable compute to become economically viable by decreasing costs to a fraction of what’s available through standard proof outsourcing like AWS and GCP. It also ensures prover nodes can achieve the highest possible resource efficiency by aggregating workloads from across the industry for both scaling and privacy use cases, and many more to come.

PolyHedra is an infrastructure for Web3 Interoperability, featuring cutting-edge zero-knowledge proof systems. It opens up the design space for Web3 through highly scalable middlewares, such as ZK-NFT containers, DAO/DAC systems, and decentralized Web3 identities.

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.

Aztec Network is the first private ZK-rollup on Ethereum, enabling decentralized applications to access privacy and scale. Its industry-standard PLONK proving mechanism is used by the leading zero-knowledge scaling projects, ensuring the security of its rollup.

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.

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.

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.

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.

Morph is a consumer infrastructure that expands encrypted consumer payments through a completely permissionless architecture, decentralized technology, and developer friendly ecosystem, committed to integrating blockchain into real-life scenarios.

Midnight Network is a data protection blockchain, where Developers and businesses can build decentralized applications that safeguard sensitive data, without sacrificing performance and regulatory requirements. Developers can build on Midnight in a novel and easy to use programming model based on Typescript, and zero knowledge (ZK) proofs.

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.

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.

Chakra is a Bitcoin restaking protocol based on ZK proofs. It utilizes STARKs to prove staking events on Bitcoin and verifies proofs on layer-2 chains.

Soundness Layer is a decentralized verification layer built on Walrus and Sui. It leverages zero-knowledge proofs to enhance data security, privacy, and blockchain scalability.

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.

Jiritsu has developed technologies such as Unlimited Verifiable Compute (UVC), aiming to offer an easily programmable approach that can be applied to any workflow and generates Proof of Workflow.

zkVerify is a dedicated zero-knowledge proof verification network designed for settlement optimization. Designed for seamless integration with existing blockchain networks, zkVerify minimizes technical overhead and provides a developer-friendly environment for proof verification across a wide range of zk-rollups and settlement layers.

Gasp is a L2 cross-rollup protocol, with the vision to make Ethereum the settlement layer for all cross-chain transactions. Gasp offers native cross-chain swaps without resorting to traditional bridges through the power of escape hatches which guarantee the withdrawal of user funds at all times, ZK proofs and decentralized sequencers.

Zorp is the Nock company that solve cyber risk at the civilization level with zero-knowledge proofs, its Eden zkVM generates zero-knowledge proofs..

zkMe is a decentralized Web3 credential network that leverages the power of zero-knowledge proofs to enable secure and private credential issuance and verification. ZkMe enables users to selectively disclose their credentials to authorized parties without compromising their privacy, granting them full control over their digital identities. Users can create and manage their digital identities without the fear of their personal information being exposed. The protocol has potential use cases in various industries, including anti-sybil protection for fair airdrops, anonymous web data attestation for GameFi integrations, and private KYC compliance for DeFi.

Moved features a parallelized ZK proving architecture optimized to execute Move bytecode efficiently, achieving unprecedented scalability through advanced cryptography and execution models. By processing transactions off-chain in parallel and generating succinct ZK-Proofs, Moved inherits Ethereum’s security while achieving orders-of-magnitude higher throughput than executing transactions directly on Ethereum.

LumiBit is a Bitcoin Layer 2 solution, leveraging ZK-EVM to offer enhanced scalability, privacy, and decentralization. It features a universal circuit design for seamless Ethereum smart contract migration, efficient transaction verification using Halo2 + FRI, and rollup optimizations to reduce costs using ZKG commitment scheme.

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.

DeGate is a decentralized exchange protocol built on Zero Knowledge (ZK) technology. As a ZK Rollup, it fills a key gap in the market by providing spot order book trading and grid trading within the Ethereum ecosystem, offering an experience similar to centralized exchanges (CEX). Moreover, DeGate is DAO-centric, with a DAO fully controlling its treasury.