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.

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.

AI Cross Matrix (ACM) is a privacy-focused financial protocol built on zero-knowledge proofs (ZKPs), ring signatures, and AI-based path obfuscation mechanisms. and is committed to enabling decentralized, cross-chain, and untraceable asset transfers. Designed to be the foundational layer of open and secure Web3 finance.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Sovereign is an ecosystem of interoperable and scalable rollups that can be run on any blockchain. The Sovereign SDK will provide all the necessary components of a blockchain, such as a peer-to-peer network, a database, and an RPC node, allowing developers to focus on the business logic of their chain. Furthermore, it provides a set of default modules that can work efficiently in a zero-knowledge environment, including a token implementation, an authenticated data store, and a bridging module. Developers can combine these primitives into app-chains or build their own state-transition functions from scratch by implementing a standard set of APIs.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Aligned Layer is a ZK verification layer developed on top of the EigenLayer. This will enable cost-effective verification of any SNARK proof, leveraging Ethereum validators' security without the limitations of Ethereum. As an Eigen Layer AVS, it promises affordable verification and versatile proving systems for L2s and bridges, addressing critical needs in the blockchain ecosystem.

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.

EZKL is supporting verifiable AI systems with zero knowledge cryptography. The project was founded by Jason and Dante as an exploration in both privacy-preserving machine learning and as method for bringing machine learning models on-chain.

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.

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.