ZK Projects in 2025
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 [email protected]
ZK projects in 2025
Payments
ZKP2P
ZKP2P is a trustless peer-to-peer (P2P) fiat to crypto onramp and offramp powered by ZK.
Payy
A self-sovereign bank using stablecoins and a private, scalable payments blockchain.
Daimo
A self-custody stablecoin app on Ethereum.
Zcash
A privacy L1 powered by ZKPs focused on payments.
Firo
A privacy preserving cryptocurrency and ecosystem.
ZK Rollups
Aztec
A zk-rollup focused on privacy, enabling confidential transactions on Ethereum using zk-SNARKs.
zkSync
A layer 2 scaling solution that allows fast and low-cost transactions on Ethereum using zk-rollups.
Taiko
A based rollup with a focus on full compatibility with the Ethereum Virtual Machine (EVM).
Scroll
A zk-rollup aimed at replicating the Ethereum development experience.
Polygon zkEVM
A virtual machine that combines the scalability of zk-rollups with full EVM compatibility,
Linea
An EVM-equivalent ZK rollup that provides a scaling solution for Ethereum.
Manta
An EVM-compatible network that offers support for decentralized applications and uses Celestia for data availability
Starknet
A layer-2 scaling solution that uses a zero-knowledge rollup based on StarkWare's trustless “STARK” proof.
Identity
ZK Email
An app that allows users to anonymously prove any subset of any email sent or received, on-chain.
zkLogin (Sui)
A Sui primitive that allow signing in on dApps with familiar web2 credentials.
Keyless (Aptos)
Aptos Keyless allows users to gain ownership of an Aptos account from their existing Web2 accounts.
zPass (Aleo)
A protocol on the Aleo blockchain that uses ZK for Decentralized Identity verification.
Privado
A protocol that provides privacy focused tools to put users in control of their identity across every digital surface.
zkPassport
An Identity Infrastructure provider for Web3.
Semaphore
A ZK protocol that allows you to cast a message as a provable group member without revealing your identity.
Rarimo
A privacy-first (ZK) social protocol.
World ID (Worldcoin)
A privacy-first decentralized identity protoco to prove humanity, without sharing personal data.
Holonym
A protocol that It allows organizations and smart contracts to verify their users without storing their users' sensitive information.
Open Passport
A protocol that lets applications check their users are humans while preserving their privacy.
Verida
A full stack development framework and decentralized personal data network for Web3.
zk.me
Identity Oracles that leverage the power of zero-knowledge-proofs to enable secure and private credential verifications.
Terminal3
Verifiable Private Identity
Gaming
Immutable
An L2 on Ethereum designed for NFTs and gaming.
Dark Forest
The world's first decentralized real-time strategy game. Built on Ethereum with zkSNARKs.
Cartridge
An operator of a decentralized gaming platform.
Blade
A fully on-chain gaming studio.
Zypher
An on-chain gaming platform that provides a decentralized and provably fair gaming experience.
Tileville
On-chain city development arcade game built on MINA.
Ronin Chain
An EVM blockchain crafted for developers building games with player-owned economies.
zkRace
A metaverse project focused on creating a virtual NFT horse racing ecosystem.
Argus
The developer of the Gamechain SDK, a sharded rollup architecture for onchain games.
zkHoldem
Fully On-chain Texas Hold’em powered by zkSNARK
DeFi
Panther Protocol
A ZK cross-chain layer supporting regulated Zones for privacy-enabled DeFi.
Renegade
An on-chain dark pool built on Arbitrum, bringing hidden-size midpoint-pegs to DeFi.
Offshift
"Shifting mechanism" that allows users to Shift between their native token and a full palette of private synthetics.
Penumbra
A Cosmos SDK L1 offering shielded assets across the interchain.
Dark.fi
An L1 for anonymous engineering: the emerging art of building privacy-first applications.
ZK L1s
Mina Protocol
A lightweight blockchain platform, renowned for its small fixed-size blockchain of 22 KB, powered by ZKPs.
Namada
An L1 for interchain asset-agnostic data protection.
Aleo
A programmable L1 for ZK applications.
Penumbra
A Cosmos SDK L1 offering shielded assets across the interchain.
Horizen
A blockchain ecosystem focused on privacy and scalability, using its sidechain solution, Zendoo.
ZCash
An L1 powering a decentralised and anonymous payment system.
Aleph Zero
A layer 1 that enables teams to deploy scalable, secure, and ZK privacy-enhanced products
Anoma
A protocol aimed at enabling private, intent-based transactions within and across different networks.
Midnight
A compliant data-protection blockchain.
Hylé
An L1 focused only on verifying zero-knowledge proofs.
Hardware
Irreducible
A proving as a service provider using FPGA-accelerated server clusters.
Ingonyama
A semiconductor company focusing on ZKPs hardware acceleration.
Cysic
A real-time ZK Proof Generation Layer with their own hardware and prover network.
Supranational
A startup focused on building specialised software and hardware for advanced cryptographic computation.
Fabric
A company building a cryptographic computer.
Prover Networks
Lagrange
A decentralized network for reliable generation of different ZK proofs with high liveness guarantees.
Gevulot
Permissionless and programmable L1 for deploying proof systems as on-chain programs.
Succinct
A decentralised prover network
Nexus
Prover-optimised zkVM.
Fermah
Universal Proof Market
Snarkify
Decentralized proving platform.
Kakarot
A zkEVM implemented in Cairo, designed to generate proofs for Ethereum's execution and consensus layers.
Proof Verification
Nebra
Proof aggregator from any ZK circuit.
Aligned
ZK circuit agnostic proof verification platform.
Sharp
A system designed to generate STARK proofs for aggregated Cairo programs.
Lagrange
Hyper-Parallel Computations & Proving.
zkVerify
A blockchain designed to provide ZKP verifications for any project or dApp using ZKPs.
ZKPool
Aggregates computing power for zero-knowledge proofs, accelerating Ethereum zk-Rollups while maintaining decentralisation.
Electron
Aggregates zero-knowledge proofs to optimize on-chain verification efficiency and cost on Ethereum.
Coprocessors
Cross Chain
Union
Infrastructure layer that unifies networks, unlocking horizontal scalability for any protocol.
Hyperlane
An open interoperability framework for blockchain smart contract devs and users.
AggLayer by Polygon
Enables sovereign chains to securely share liquidity, users, and state.
Succinct
Grants the ability to read Ethereum state securely across multiple supported chains.
=nil; foundation
zkSharding combines a sharded architecture with zk security.
Zeko
A zero-knowledge, cross-chain scaling protocol built on Mina.
Elastic Chain by zkSync
A network of ZK Chains (rollups, validiums and volitions), secured by math and interoperable.
Verifiable Compute
Risc Zero - zkVM 1.0
A General Purpose zkVM.
Succinct - SP1
zkVM that can prove the execution of arbitrary Rust (or any LLVM-compiled language) programs.
Lita - Valida
A modular zkVM.
a16z - Jolt
A zkVM for RISC-V.
Ola
An open-source hybrid zkVM rollup for Ethereum.
NovaNet
Modular ZKP incentive network that brings privacy-preserving proofs to browsers, consumer devices, and across blockchains.
ZKM
An Entangled Rollup Network, where blockchains can share native assets with no added security assumptions.
Powdr
A zkVM supporting multiple proof systems, including Plonky3 and Halo2 built on the powdr SDK.
ZKML/AI
EZKL
An engine for doing inference for deep learning models and other computational graphs in a zk-SNARK.
Modulus Labs
Enable secure and transparent AI models that can be trained and deployed on-chain.
zkAGI
A decentralised privacy-focused AGI.
Noya
Trustless Omnichain AI Agents
ZKML
Developing solutions in the intersection of ZK and AI.
Provably
Developing solutions in the intersection of ZK and AI.
ZK TLS
Pluto
A cryptographic proof of correct internet data.
Opacity
A protocol that connects provers and verifiers for trustless sharing and verification of information.
Reclaim
A protocol that allows users to bring their data across websites.
TLS Notary
An open-source protocol that can verify the authenticity of TLS data while protecting privacy.
zPass (Aleo)
A protocol on the Aleo blockchain that uses ZK for Decentralized Identity verification.
Primus
Develops zkTLS and zkFHE for secure Web2 data verification interoperability.
Private Compute
ZK in Bitcoin
Alpen Labs
ZK-enabled infrastructure on Bitcoin.
Citrea
ZK Rollup on Bitcoin.
BVM
A platform to launch ZK Rollups on Bitcoin.
GOAT Network
BTC L2 offering BTC Yield.
LayerEdge
Verification layer on Bitcoin
Surge
A ecentralised network facilitating modular rollups and dApps on Bitcoin.
R&D
Geometry (Dead)
Focused on security, scalability and privacy of protocols.
Lambda Class
Deep tech venture studio and investment firm
zkSecurity
Audits and development firm.
Nethermind
Research and engineering firm.
Zellic
Audits that stop bugs.
Veridise
Veridise provides formal verification and ZKPs auditing services for blockchain smart contracts and protocols.
Reilabs
Reilabs builds ZK infrastructure, emphasizing zkVM implementations and general-purpose proof system tooling.
ZK Hack
A learning hub that organises workshops and hackathons focused on practical ZKPs implementation and security challenges.
0xParc
A learning hub that organises workshops and hackathons focused on practical ZKPs implementation and security challenges.
Tonk
Tonk is a framework for developing decentralised applications on private, interoperable data stores.
Hexens
Provides blockchain security services, including smart contract audits and cryptography assessments.
Voting
Vocdoni
Open, secure, and universally verifiable voting protocol
Semaphore
Anonymous interactions powered by ZKPs.
zSociety
A community of builders dedicated to creating a world empowered by privacy and decentralization.
Freedom Tool
An open-source software developed by Rarimo for conducting decentralised, anonymous elections and polls.
CoSNARKs
TACEO
Compute on private shared state with TACEO’s MPC-powered coSNARKs.
Proof Block Explorer
EthProofs
A block proof explorer for Ethereum that aggregates data from various zkVMs to provide a comprehensive overview of proven blocks.
Misc.
Clique
Verifiable Compute.
Railgun
A smart contract system that enables Zero-Knowledge Privacy for any on-chain dApp.
OpenBlock
A decentralized network for data provenance and settlement.
Cursive
Research & design studio focus on productionizing cryptography.
Nouns DAO
A decentralised organisation governing Nouns NFTs, integrating ZKPs for governance privacy.
Delphinus Lab
Develops ZK app infrastructure, focusing on zkWASM virtual machine and recursive proofs.
Sindri
A platform for compiling ZK circuits across various frameworks and generating proofs with GPU acceleration.
Proof Lab
A community-driven toolkit designed for developing, testing, and comparing ZK implementations.
Is your project missing?
Start receiving the State of ZK Report
We publish a quarterly report on the State of ZK that includes news, analysis, trends, research, friction points and investments rounds.