Privacy Applications

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

Constructs: Merkle proofs, nullifiers, commitments
Primitives: Poseidon, Pedersen, ElGamal
Read more

Private Control

Uses ZK for proving auth state without exposing logic

email

No detailed information available

ZK Credential

Show qualifications without revealing source

Constructs: Signature verification, range proof
Primitives: zk-SNARKs, BBS+ signatures
Read more

Group Membership

Prove you belong to a group

Constructs: Merkle tree inclusion proof
Primitives: Poseidon hash, Merkle inclusion
Read more

Identity Proof

Prove identity without revealing it

Constructs: Hash preimages, Merkle proofs
Primitives: Poseidon hash, Hash preimage check
Read more

ZK Auction

Bid privately, prove winner fairly

Constructs: Commitment & reveal
Primitives: Commit-reveal, range proof
Read more

Incomplete Info Games

Hidden map + private moves

Private Games

Play hidden state games (e.g., poker)

Constructs: Commitment, reveal, proof of action
Primitives: Commitments, ZK verifications
Read more

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

Constructs: Arithmetic circuit of ML model
Primitives: zkML, polynomial constraints
Read more

por

No detailed information available

kyc

No detailed information available

Anonymous Voting

Cast vote without revealing identity

Constructs: Nullifier, commitment, Merkle proof
Primitives: Hash, Commitment scheme, Nullifier
Read more

Reputation System

Prove score without revealing details

Constructs: Range proof, selective disclosure
Primitives: Range proof, Merkle trees
Read more
Scalability Applications

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

Constructs: State diff proof, Merkle root updates
Primitives: zk-SNARKs/zk-STARKs
Read more

Cross-chain Messaging

Prove state inclusion from source chain to target chain

ZK Bridge

Prove state/receipt across chains

Constructs: SNARK-verifiable state
Primitives: zk-SNARKs, light clients
Read more

Compressed Messaging

ZK-based email metadata hiding + compression

email

No detailed information available