Applications
Real-world applications of zero-knowledge proofs

Privacy Applications
Applications related to privacy and confidentiality in zero-knowledge systems.
Private L1 Blockchain
Fully private blockchain, often built-in proving system
zCash
No detailed information available
Mina
No detailed information available
Aleo
No detailed information available
Private Transactions
Uses Merkle trees and nullifiers for unlinkable transfers
Tornado Cash
No detailed information available
ZK Mixer
Hide sender and receiver of transaction
Private Control
Uses ZK for proving auth state without exposing logic
No detailed information available
ZK Credential
Show qualifications without revealing source
Group Membership
Prove you belong to a group
Identity Proof
Prove identity without revealing it
ZK Auction
Bid privately, prove winner fairly
Incomplete Info Games
Hidden map + private moves
Private Games
Play hidden state games (e.g., poker)
dark-forest
No detailed information available
Privacy Proof
Application-specific proofs for data, ML, or identity
market
No detailed information available
ML Inference Verification
Prove a model inference without revealing input or model
por
No detailed information available
kyc
No detailed information available
Anonymous Voting
Cast vote without revealing identity
Reputation System
Prove score without revealing details

Scalability Applications
Applications related to scalability and performance in zero-knowledge systems.
zk-Rollup (L2)
Compress multiple transactions into a single proof
Scroll
No detailed information available
zkSync
No detailed information available
Linea
No detailed information available
ZK Rollup
Batch and prove L2 state transition
Cross-chain Messaging
Prove state inclusion from source chain to target chain
ZK Bridge
Prove state/receipt across chains
Compressed Messaging
ZK-based email metadata hiding + compression
No detailed information available