A list of categorised projects pushing the ZK ecosystem further.
This map was curated and organised by the ZKV team, but if you see any errors in our categorisation or believe there are important projects missing, please contact us about it at research@zkv.xyz
ZKP2P is a trustless peer-to-peer (P2P) fiat to crypto onramp and offramp powered by ZK.
A self-sovereign bank using stablecoins and a private, scalable payments blockchain.
A self-custody stablecoin app on Ethereum.
A privacy L1 powered by ZKPs focused on payments.
A privacy preserving cryptocurrency and ecosystem.
A zk-rollup focused on privacy, enabling confidential transactions on Ethereum using zk-SNARKs.
A layer 2 scaling solution that allows fast and low-cost transactions on Ethereum using zk-rollups.
A based rollup with a focus on full compatibility with the Ethereum Virtual Machine (EVM).
A zk-rollup aimed at replicating the Ethereum development experience.
A virtual machine that combines the scalability of zk-rollups with full EVM compatibility,
A zero-knowledge blockchain with client-side execution and proving ("edge blockchain").
An EVM-compatible network that offers support for decentralized applications and uses Celestia for data availability
A layer-2 scaling solution that uses a zero-knowledge rollup based on StarkWare's trustless “STARK” proof.
An EVM-equivalent ZK rollup that provides a scaling solution for Ethereum.
A stage 2 rollup built as a public good for Ethereum.
Ethereum Layer 2 network focused on delivering a seamless consumer-centric blockchain experience.
An app that allows users to anonymously prove any subset of any email sent or received, on-chain.
A Sui primitive that allow signing in on dApps with familiar web2 credentials.
Aptos Keyless allows users to gain ownership of an Aptos account from their existing Web2 accounts.
A protocol on the Aleo blockchain that uses ZK for Decentralized Identity verification.
A protocol that provides privacy focused tools to put users in control of their identity across every digital surface.
An Identity Infrastructure provider for Web3.
A ZK protocol that allows you to cast a message as a provable group member without revealing your identity.
A privacy-first (ZK) social protocol.
A privacy-first decentralized identity protoco to prove humanity, without sharing personal data.
A decentralized identity platform offering privacy-preserving proofs of personhood.
An L2 on Ethereum designed for NFTs and gaming.
The world's first decentralized real-time strategy game. Built on Ethereum with zkSNARKs.
An operator of a decentralized gaming platform.
A fully on-chain gaming studio.
An on-chain gaming platform that provides a decentralized and provably fair gaming experience.
On-chain city development arcade game built on MINA.
An EVM blockchain crafted for developers building games with player-owned economies.
A metaverse project focused on creating a virtual NFT horse racing ecosystem.
The developer of the Gamechain SDK, a sharded rollup architecture for onchain games.
Fully On-chain Texas Hold’em powered by zkSNARK
Onchain gaming for casual players. Word puzzles and zero knowledge.
A ZK cross-chain layer supporting regulated Zones for privacy-enabled DeFi.
An on-chain dark pool built on Arbitrum, bringing hidden-size midpoint-pegs to DeFi.
"Shifting mechanism" that allows users to Shift between their native token and a full palette of private synthetics.
A Cosmos SDK L1 offering shielded assets across the interchain.
An L1 for anonymous engineering: the emerging art of building privacy-first applications.
A defi chain using Succinct's validity proofs.
Enables private withdrawals through a combination of ZKPs and commitment schemes.
A lightweight blockchain platform, renowned for its small fixed-size blockchain of 22 KB, powered by ZKPs.
An L1 for interchain asset-agnostic data protection.
A programmable L1 for ZK applications.
A Cosmos SDK L1 offering shielded assets across the interchain.
A blockchain ecosystem focused on privacy and scalability, using its sidechain solution, Zendoo.
An L1 powering a decentralised and anonymous payment system.
A layer 1 that enables teams to deploy scalable, secure, and ZK privacy-enhanced products
A protocol aimed at enabling private, intent-based transactions within and across different networks.
A compliant data-protection blockchain.
An L1 focused only on verifying zero-knowledge proofs.
A sovereign Layer 1 blockchain that's EVM-compatible and purpose-built for AI and heterogeneous compute workloads.
A Layer‑1 enabling private, compliant tokenization of securities and financial assets
Prover-optimised zkVM.
A proving as a service provider using FPGA-accelerated server clusters.
A semiconductor company focusing on ZKPs hardware acceleration.
A real-time ZK Proof Generation Layer with their own hardware and prover network.
A startup focused on building specialised software and hardware for advanced cryptographic computation.
A company building a cryptographic computer.
ZK acceleration libraries and cloud GPU servers.
ASIC dedicated chip for privacy computing
ZKProof Commoditization by HW-SW Co-design.
A decentralized network for reliable generation of different ZK proofs with high liveness guarantees.
Universal proving layer optimizing ZK workloads across diverse applications.
A decentralised prover network
Universal Proof Market
Decentralized proving platform.
A zkEVM implemented in Cairo, designed to generate proofs for Ethereum's execution and consensus layers.
A real-time ZK Proof Generation Layer with their own hardware and prover network.
Prover-optimised zkVM.
Proof aggregator from any ZK circuit.
ZK circuit agnostic proof verification platform.
StarkWare’s next-gen STARK prover, delivering proofs using the Circle STARK protocol.
Hyper-Parallel Computations & Proving.
A blockchain designed to provide ZKP verifications for any project or dApp using ZKPs.
Aggregates computing power for zero-knowledge proofs, accelerating Ethereum zk-Rollups while maintaining decentralisation.
Aggregates zero-knowledge proofs to optimize on-chain verification efficiency and cost on Ethereum.
Recursive proof system enabling efficient verification of complex off-chain computation.
Transforms ordinary devices into zk-verifiers — creating the world’s first people-powered verification layer.
Infrastructure layer that unifies networks, unlocking horizontal scalability for any protocol.
An open interoperability framework for blockchain smart contract devs and users.
Enables sovereign chains to securely share liquidity, users, and state.
Grants the ability to read Ethereum state securely across multiple supported chains.
zkSharding combines a sharded architecture with zk security.
A zero-knowledge, cross-chain scaling protocol built on Mina.
A network of ZK Chains (rollups, validiums and volitions), secured by math and interoperable.
A General Purpose zkVM.
zkVM that can prove the execution of arbitrary Rust (or any LLVM-compiled language) programs.
A modular zkVM.
A zkVM for RISC-V.
An open-source hybrid zkVM rollup for Ethereum.
Modular ZKP incentive network that brings privacy-preserving proofs to browsers, consumer devices, and across blockchains.
An Entangled Rollup Network, where blockchains can share native assets with no added security assumptions.
A zkVM supporting multiple proof systems, including Plonky3 and Halo2 built on the powdr SDK.
A zkVM designed to enable efficient and scalable zero-knowledge proofs for complex computations, including AI model inference.
Nock zkVM is a tiny, Turing-complete verifiable virtual machine that targets a version of the Nock ISA optimized for use with finite-field atoms.
An open-source zero-knowledge proving toolstack featuring a zkVM that enables verifiable execution of programs written in high-level languages like Rust.
A protocol for accessing verifiable compute on any chain and rewarding nodes for contributing useful work.
A zero-knowledge reduction engine with a minimal instruction set for use across cryptographic backends and language frontends.
A performant and modular zkVM framework built for customization and extensibility.
Prover-optimised zkVM.
A modular, RISC-V-based zkVM with customizable coprocessors and multi-backend STARK proving.
A ZKP enabled WebAssembly virtual machine that enables verifiable and trustless computation for WASM-based applications.
An engine for doing inference for deep learning models and other computational graphs in a zk-SNARK.
Enable secure and transparent AI models that can be trained and deployed on-chain.
A decentralised privacy-focused AGI.
Trustless Omnichain AI Agents
Developing solutions in the intersection of ZK and AI.
Developing solutions in the intersection of ZK and AI.
DeepProve is a ZK framework for verifying AI model inferences without revealing model parameters or inputs.
A sovereign Layer 1 blockchain that's EVM-compatible and purpose-built for AI and heterogeneous compute workloads.
Integrates AI with blockchain using zero‑knowledge proofs to enable secure, verifiable, private AI inference.
Prover-optimised zkVM.
A cryptographic proof of correct internet data.
A protocol that connects provers and verifiers for trustless sharing and verification of information.
A protocol that allows users to bring their data across websites.
An open-source protocol that can verify the authenticity of TLS data while protecting privacy.
A protocol on the Aleo blockchain that uses ZK for Decentralized Identity verification.
Develops zkTLS and zkFHE for secure Web2 data verification interoperability.
ZK-enabled infrastructure on Bitcoin.
ZK Rollup on Bitcoin.
A platform to launch ZK Rollups on Bitcoin.
BTC L2 offering BTC Yield.
A ecentralised network facilitating modular rollups and dApps on Bitcoin.
Focused on security, scalability and privacy of protocols.
Deep tech venture studio and investment firm
Audits and development firm.
Research and engineering firm.
Audits that stop bugs.
Veridise provides formal verification and ZKPs auditing services for blockchain smart contracts and protocols.
Reilabs builds ZK infrastructure, emphasizing zkVM implementations and general-purpose proof system tooling.
A learning hub that organises workshops and hackathons focused on practical ZKPs implementation and security challenges.
A learning hub that organises workshops and hackathons focused on practical ZKPs implementation and security challenges.
Tonk is a framework for developing decentralised applications on private, interoperable data stores.
Provides blockchain security services, including smart contract audits and cryptography assessments.
A punk org for ZKP R&D.
Open, secure, and universally verifiable voting protocol
Anonymous interactions powered by ZKPs.
A community of builders dedicated to creating a world empowered by privacy and decentralization.
An open-source software developed by Rarimo for conducting decentralised, anonymous elections and polls.
A decentralised voting platform made to ensure every vote is counted and protected.
Compute on private shared state with TACEO’s MPC-powered coSNARKs.
A block proof explorer for Ethereum that aggregates data from various zkVMs to provide a comprehensive overview of proven blocks.
Exploring composable, first-party attested data for verifiable digital trust.
A smart contract system that enables Zero-Knowledge Privacy for any on-chain dApp.
A decentralized network for data provenance and settlement.
Research & design studio focus on productionizing cryptography.
A decentralised organisation governing Nouns NFTs, integrating ZKPs for governance privacy.
Develops ZK app infrastructure, focusing on zkWASM virtual machine and recursive proofs.
A platform for compiling ZK circuits across various frameworks and generating proofs with GPU acceleration.
A community-driven toolkit designed for developing, testing, and comparing ZK implementations.
