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.

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.

Axiom is a ZK Coprocessor that enables smart contracts to access and process all on-chain data trustlessly. Coprocessor, a piece of software which processes data off-chain and then transports that data to the main Ethereum blockchain, and verifies it with ZK proofs.

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 fully permissionless EVM L2 that uses a combination of optimistic and zero-knowledge rollup technology to enable a user-friendly option for developers who require a chain on which to build finance, gaming, social media, and entertainment apps.

zkΔ is an academic journal ran by a group of cryptographers in specialized in zero-knowledge, privacy & L2-7 networking.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Orochi Network is a cutting-edge zkOS (operating system applying zero-knowledge proof) designed to tackle the challenges of computation limitation, data correctness, and data availability in the Web3 industry. Orochi Network used MPC and ECVRF to build a distributed source of trustless randomness for all type of Web3 applications.Provide verifiable randomness for smart contracts on EVM and FVM.

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.

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.