$404

Level 04 · Zero-Knowledge, Made Simple

Prove it without revealing it.

Zero-knowledge proofs in plain language, with a hands-on analogy, and why Zcash relies on zk-SNARKs.

8 min3-question checkpointReviewed November 2026

The Missing One relaxes with a coffee while chat bubbles around it ask for a face reveal, a real name and where it lives.
404 saysI can prove I’m the real 404 without showing my face. Watch.

BeginnerStart here. No prior knowledge needed.

A zero-knowledge proof lets you convince someone that a statement is true without showing them anything else: not the secret, not the reasoning, nothing extra.

Everyday version: proving you’re over 18 without showing your birthday, your name or your address. The bouncer learns one fact, “yes, over 18”, and nothing more.

Zcash uses this idea so the network can confirm that a shielded payment follows the rules without seeing who sent it, who received it or how much moved.

Try it

A classic analogy, made playable. Your friend holds two balls that look identical to them. Can you prove they’re different colours without saying which is which?

analogy://two-ballsIllustrative example
  1. 01Your friend can’t tell red from green. To them, the two balls look identical.
  2. 02They hide the balls behind their back and either swap them or don’t.
  3. 03You say “swapped” or “not swapped”. You never say which ball is which colour.

Press the button to start round 1.

Rounds passed0
Chance a faker would get this far by luck—

Your friend becomes convinced the balls are different colours, yet never learns which one is red. That’s zero knowledge.

What a Zcash shielded proof convinces the network of

Every validator checks these, without learning the sender, the recipient or the amount:

  • 01
    The funds exist

    The notes being spent were created earlier on the chain.

  • 02
    The spender is authorised

    Whoever built the transaction holds the right spending key.

  • 03
    No double spending

    Each note can only be spent once. A unique “nullifier” is published to enforce that.

  • 04
    The values balance

    Inputs equal outputs plus the fee, so no ZEC is created from nothing.

ExploreOptional. Open what you’re curious about.

What “zk-SNARK” actually meansZcash protocol fact

Zero-Knowledge Succinct Non-interactive ARgument of Knowledge. Word by word:

  • Zero-knowledge: the proof reveals nothing beyond the fact being proven.
  • Succinct: proofs are small and quick to check, even when the statement is complicated.
  • Non-interactive: one proof, checkable by anyone at any time, with no back-and-forth.
  • Argument of knowledge: the prover really knows the secret behind the statement, not just that the statement happens to be true.
Why the ball game isn’t how Zcash works

The ball game needs many rounds of back-and-forth. A blockchain can’t do that, because thousands of validators need to check every transaction, often long after it was made. zk-SNARKs replace the rounds with a single, compact proof that anyone can verify on their own.

Trusted setups and Halo 2Zcash protocol fact

Earlier Zcash proving systems relied on public parameters generated in multi-party “ceremonies”. The Orchard shielded pool, activated in 2022, uses Halo 2, which removes the need for a trusted setup.

Real-world context

Beyond Zcash

Zcash was the first widely used cryptocurrency to put zero-knowledge proofs into production. Today the same family of techniques is used across the industry, for example in scaling systems on other networks, and it is being researched for identity uses such as proving your age or a membership without handing over the document itself.

Key takeaways

  1. A zero-knowledge proof convinces someone without revealing the underlying secret.
  2. Zcash proves that a shielded transaction follows the rules without showing the sender, recipient or amount.
  3. zk-SNARKs are small, fast to verify and non-interactive.
  4. The Orchard pool uses Halo 2, which needs no trusted setup.

Knowledge checkpoint · Level 04

Check what stuck

0 / 3 correct

  1. 01What does a zero-knowledge proof let you do?

  2. 02In the ball game, why does the verifier repeat the test many times?

  3. 03What does “non-interactive” mean in zk-SNARK?

Deep dive

Learning resources

Checked against these sources · reviewed November 2026