Cysic is full-stack compute network designed to convert GPUs, ASICs, and computing resources into liquid and profitable assets. Its products include ZK proof layer Cysic Network, Cysic hardware (GPU, ZK Air, and ZK Pro), and Cysic AI.

Brevis is a Zero-Knowledge (ZK) omnichain data attestation platform that enables dApps to access, compute, and utilize arbitrary data across multiple blockchains in a completely trust-free way.Brevis has a wide range of use cases like data-driven DeFi, zkBridges, on-chain user acquisition, zkDIDs, social account abstraction, and much more.

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.

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.

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.

zkPass is a private data protocol leveraging 3P-TLS and Hybrid ZK technologies, providing tools and applications for secure, verifiable data sharing with privacy and integrity assurances from any HTTPS website without Oauth APIs.

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.

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.

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.

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.

Scroll is a zkEVM-based zkRollup on Ethereum that enables native compatibility for existing Ethereum applications and tools. It processes transactions off-chain and posts succinct proofs of correctness on-chain, resulting in higher throughput and lower costs compared to the Ethereum base layer.

ZEROBASE is a real-time ZK prover network designed for speed, decentralization, and regulatory compliance. It generates ZK proofs within hundreds of milliseconds and ensures decentralized, fast consensus through its HUB ring-wake mechanism, enabling large-scale commercial use.

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.

Fermah is the universal proof generation layer. It functions as a marketplace, where the supply side comprises GPUs and FPGAs. On the demand side, Fermah can generate proofs for any instance in which ZK is used.

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.

ENI is a High-Performance Enterprise-Grade Web3 Blockchain built around Zero-Knowledge Proof (ZKP) technology. Its modular and multi-chain architecture enables seamless collaboration between the mainnet and AppChains, providing highly scalable infrastructure for enterprises and developers.

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.

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.

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.

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.

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.

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 is a scalable, privacy-first, trustless blockchain network secured by the innovative Proof-of-Useful-Work (PoUW) 2.0 consensus mechanism.

Intmax is a novel zkRollup as an Ethereum Layer 2 network for all kinds of web services and finance. IntMax will enable Ethereum to empower all online citizens to participate in the economy through payment infrastructure, as well as internet-native ownership with NFTs and community-governed tokens.

OpenbandsXYZ is a decentralized platform based on blockchain and zero-knowledge proof technology that provides anonymous and verifiable company evaluation and salary reporting services, aiming to enhance data privacy and information authenticity.

Delphinus lab provides solutions for trustless computation and application SDK based on ZKWasm virtual machine. The ZKWASM (ZKSNARK virtual machine that supports Web Assembly) serves as a trustless layer between rich applilcations running on WASM runtime and smart contracts on chain. The company’s mission is to construct a zkWASM cloud suite that eases the integration of more generic web applications into the web3 environment using the rollup as an application approach.

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.

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.

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.