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.

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.

Self Labs is building a scalable trust layer for the internet that puts privacy first. Focused on proving users’ identity and unique attributes without revealing personal data, the company’s open-source platform with Self Pass & Connect offers secure, decentralized verification for millions of users by leveraging zero-knowledge proofs and electronic passport NFC technology. Self Protocol supports global passport (174+ countries) and compliance standards necessary for a thriving digital economy.

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.

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.

Pi Squared uses zero-knowledge proof (ZK) technology to verify the correct execution of any program without relying on a specific programming language (PL) or virtual machine (VM). It is based on the K framework and matching logic to provide a universal and efficient verification method. Designed to enable seamless interoperability of blockchains, languages and applications.

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.

Ethproofs is a block proof explorer for Ethereum. It aggregates data from various zkVM teams to provide a comprehensive overview of proven blocks, including key metrics such as cost, latency, and proving time. Users can compare proofs by block, download them, and explore various proof metadata(size, clock cycle, type) to better understand the individual zkVMs and its proof generation process.

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.

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

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.

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.

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.

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.

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.

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.

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.

Alpen is a scaling Bitcoin with Zero Knowledge technology solution. The platform build infrastructure to enable the broader, adoption of Bitcoin. Ushering a new era of trustless, verifiable computation.

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.

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.

Zeko is a Layer 2 ZK Rollup ecosystem specifically designed for zero-knowledge applications (zkApps), settled by Mina Protocol. Zeko’s initial release will be a fully Mina-equivalent application layer where ZK developers can easily build and deploy zkApps and enjoy dramatically higher throughput and ultra-fast transaction confirmation times.

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.

DeepSafe is a cryptographic random artificial intelligence verification network and independent public chain that creates 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 provide cryptographic security and verifiable fairness, ensuring the privacy, authenticity, and reliability of data and transactions.

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.

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.

zkCandy is a Layer 2 scaling solution for Ethereum, utilizing zero-knowledge proofs to accelerate transaction speed and decrease fees. By processing transactions off-chain and leveraging Ethereum's security, zkCandy enhances scalability, ensuring faster, cost-effective transactions while remaining compatible with the Ethereum ecosystem.

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.

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.