Where ZK Lives Today

The real products in action

ZK proofs are running in production right now across finance, identity, gaming, and AI. Here is a honest map of where they actually live and what they are doing.

What ZK is being used for

Scaling blockchains — batching thousands of transactions into a single proof so a chain like Ethereum only has to verify once instead of thousands of times. Lower cost, faster settlement, same security.

Private identity — proving you hold a valid passport, that you are over 18, or that you are a unique human, without handing over the document itself. The credential stays on your device. The proof travels.

Anonymous credentials — proving membership in a group without revealing which member you are. Used in voting systems, whistleblower tools, and private access control.

Shielded transactions — sending funds on a public blockchain where the amounts and addresses are hidden. The proof confirms the transaction is valid. Nothing else is visible.

Hidden information in games — proving a move is valid or a hand was dealt correctly without revealing cards, positions, or game state to other players on a public chain.

Verifiable AI — proving a machine learning model ran correctly on specific inputs without exposing the model weights or the private data it processed.

Proof of trading performance — proving profit and loss figures are accurate for a public leaderboard without revealing the wallet address or individual trades behind them.

Real projects doing this now

| Category | Project | What it proves | |---|---|---| | Scaling | zkSync Era, Scroll, Starknet, Polygon zkEVM | Transaction validity at scale | | Identity | Proof of Passport, Worldcoin, Anon Aadhaar | Document or biometric validity | | Anonymous groups | Semaphore, Zupass | Group membership without identity | | Private finance | Zcash, Aztec | Transaction validity without amounts | | Gaming | Dark Forest | Valid moves without revealing position | | Verification layer | zkVerify | Proof verification across all systems | | AI verification | EZKL, Risc Zero | Correct model inference |

Why this matters for you

Every project in that table needed developers who understand how proofs are generated, verified, and settled. Circuit writers, integration engineers, protocol designers.

The skillset is in short supply. The demand is not. You are learning this at the right time.