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.

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.

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.

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.

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.

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.

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.

WORM is a Zero-Knowledge Wormholes build by Nobitex Labs. WORM enables minting of secretly burnt Ethers as a native privacy solution for Ethereum.

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.

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.

Psy is a scalable, privacy-first, trustless blockchain network secured by the innovative Proof-of-Useful-Work (PoUW) 2.0 consensus mechanism.

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.

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.

ENIGMA is a security architecture built on the RAVID framework, providing privacy-preserving smart contract execution and data processing capabilities. Based on zero-knowledge proof technology, it aims to achieve a balance between data privacy and computational efficiency.

ZERA Wallet brings privacy to everyday crypto: featuring shielded balances, private & offline P2P transfer and private swaps on Jupiter/Raydium that route directly to and from shielded balance.

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.

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.

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.

Strobe is a ZK-proof generation network.Strobe building a module for the cosmos-sdk that will allow new and existing L1s, rollups, and apps to build and execute Move smart contracts and then helping them talk to each other over IBC.

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.

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.

Fiamma is a verification network that specializes in zero-knowledge (ZK) proofs, striving to provide a secure, decentralized, and economically efficient solution for universal blockchain integration. At its heart, Fiamma is engineered to leverage the robust cryptoeconomic and network security value of Bitcoin via the integration with Babylon and implementation of BitVM2. This combination enables Fiamma to introduce ZK capabilities into the Bitcoin ecosystem and secure ZK use cases in Ethereum and beyond, enhancing the scope and effectiveness of ZK technology.

QEDIT is a blockchain privacy startup, that add security, privacy and scale to blockchain infrastructure using Zero-Knowledge-Proofs and applied cryptography.

PRXVT is a privacy-preserving protocol focused on infrastructure support in the AI ​​agent economy. It enables anonymous interaction through zero-knowledge proofs, ensuring that transaction verification does not reveal agent history or browsing patterns, and is committed to providing a trusted and identity-protected operating foundation for AI agents.

ZKForge is a zero-knowledge proof infrastructure platform powered by zkSTARK proofs, enabling encrypted messaging, privacy-preserving dApps, and confidential transactions through the x402 protocol layer. The platform aims to build scalable privacy-preserving solutions.

ZK Sea Level is a protocol that enables zero-knowledge compression on Solana blockchain. It allows for scalable state management and data availability through ZK proofs, reducing costs and improving efficiency for high-throughput applications without altering the core consensus mechanism.

Obscura is a privacy layer based on Solana, powered by zk.

Bonsol is a Solana-native verifiable computation framework that enables developers to offload complex computations off-chain while maintaining on-chain verifiability and safeguarding security and trust through zero-knowledge proofs that can be efficiently verified on Solana.

Coset_io is a community organization focused on Web3 development, dedicated to promoting innovation in Zero-Knowledge Proofs (ZK) and blockchain technology.