ZK Projects in 2024
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 2024
Payments
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.
Privacy 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.
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.
Proof Verification
Nebra
Proof aggregator from any ZK circuit.
Aligned
ZK circuit agnostic proof verification platform.
Hylé
An L1 focused only on verifying zero-knowledge proofs.
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.
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.
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.
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.
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
R&D
Geometry
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.
Voting
Misc.
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.