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.

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.

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.

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.

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.

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.

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.

Ola is an Earning-Enhancing Network incentivized by the Bitcoin ecosystem. With two core products, Onis and Massive, Ola creates a comprehensive ecosystem where users can become BitVM challengers, ZK bridge supervisors, ZK verifier nodes, DA samplers, and a variety of monitoring roles to empower the Bitcoin ecosystem.

Polyhedra is building foundational infrastructure for trust and scalability in AI and blockchain systems, enabling secure, verifiable, and high-performance applications. Led by a world-class team of engineers, researchers, and business leaders from institutions including UC Berkeley, Stanford, and Tsinghua University, Polyhedra's deep expertise in zero-knowledge proofs and distributed systems underpins the development of our technical solutions that will help form the AI infrastructure of the future.

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.

Automata Network is a modular attestation layer that extends machine-level trust to Ethereum by leveraging optimistic rollups and zero-knowledge proofs in its Proof of Machinehood approach. The application-specific rollup allows on-chain verification for out-of-protocol computation, which creates an unbroken chain of trust that extends upwards through the entire Web3 stack.

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.

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.

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.

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.

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.

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.

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

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.

Fabric Cryptography is a start-up company focusing on developing advanced crypto algorithm hardware, especially building special computer chips for Zero-knowledge proof technology.

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.

The Data Ownership Protocol (DOP) is utilizing zero-knowledge proofs in order to allow flexible transparency on top of Ethereum L1. DOP allows users and DApps to store assets and make transactions privately, or selectively disclose token holdings and historical information.

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.

Opacity is the ZKP protocol for proving anything without revealing the details. Opacity’s zero-knowledge proof protocol connects provers and verifiers for trustless sharing and verification of information—within minutes.

Reclaim protocol, which allows for computationally efficient, secure and private generation of proofs of provenance (PoP) completely on client side that users can then share to any third-party. Furthermore, users can generate zero-knowledge proofs of features of their data to avoid sharing sensitive information. Reclaim also describe a decentralized extension of the protocol that eliminates the need to use any trusted parties, by implementing an economic mechanism to incentivize honest behavior.

ZK Email has a ZK suite includes ZK Email Verifier, Email Wallet, Email Wallet SDK and ZK Regex. ZK Email directly verify the signatures on your emails within a zk proof, including regex parsing within zk.

Tusima is an infrastructure that bridges Web3.0 with real-world business, dedicated to establishing RWB (Real-World Business) entirely on the efficient, low-cost, decentralized networks of Web3.0. It aims to leverage transformative innovation infrastructure to unlock the full potential of real-world commerce by integrating Web3.0 into business operations.

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.

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.