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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

vlayer is a trustless verifiable data infrastructure powered by zero-knowledge 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.

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.

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.

Psy Protocol is Bitcoin’s native execution layer, designed to address the challenges of Web3 development. The horizontally scalable, secure, and user-friendly platform is built for developers and users alike, supporting a wide range of applications from DeFi to NFTs and beyond. Decentralized applications built on Psy Protocol can locally prove transactions, providing users with unlimited computation for a fixed gas fee. This innovative method ensures that every user’s public key functions as a custom ZK circuit, featuring ‘smart signatures’ that can be read from state, resembling a smart contract.

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.

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.

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.

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.

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.

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.

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.

Three Protocol(Jobs3) is a No-KYC ZKP Pseudoanonymity, Neural Network AI and Tri-Signature DAOs for crypto marketplaces, whose objective is to establish a network of autonomous marketplaces rooted in blockchain technology. These marketplaces aim to facilitate Product, service and Real World Asset financial inclusion for individuals lacking traditional banking facilities, to use the latest Neural Network Artificial intelligence technologies to increase marketplace procurement efficiency, to enable the utilization of cryptocurrencies for transactions and to instate equitable governance via a Decentralized Autonomous Organization (DAO). The first platform, Jobs3, is set to emerge as a decentralized contender to existing employment marketplaces such as Upwork and Fiverr. Central to this project is the $THREE governance token, Neural Network machine learning, and ZKP pseudo-anonymisation alongside smart contract technology, which together will enable secure escrow services, efficient procurement of marketplace products, services, real world assets, DAO-facilitated dispute resolution mechanisms, and seamless cryptocurrency purchase transactions.

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.

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.

ZkAGl is a decentralized AI privacy solution that combines the computing power of the GPU DEPIN network with the security of the ZKML coprocessor. This integration facilitates secure AI model training and inference by ensuring that computations are verified without exposing sensitive data. The key components of ZkAGl include the federated learning framework, ZKP, and the trusted execution environment.

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.