So you arrive at this club, but you forgot your ID and the bouncer is staring.
If only you could prove you’re old enough without revealing too muc

Zero-Knowledge Magic for Cheap

submited by

Style Pass

2024-11-23 14:00:05

So you arrive at this club, but you forgot your ID and the bouncer is staring. If only you could prove you’re old enough without revealing too much info.

Starknet is like a super-powered highway where complex smart contracts can run fast for cheap. Think of it as Ethereum’s speedy cousin.

Garaga is Starknet’s proof checker. Like a very sophisticated bouncer who can verify mathematical proofs directly on Starknet.

First, we need to code the computation we want to check in a language supporting zk-proofs. Such languages allow to specify private inputs, and can be compiled into what we call a zk-circuit.

Then, we need to chose a framework to generate and verify proofs, depending on whether you only need local verification or if you prefer to publish proofs on-chain for everyone to see.

1. 🧑‍💻 Code and compile your zk-circuit 3. 🧮 Prove: Generate a proof 4. 🏗️ Deploy a verifier on-chain 5. ✅ Verify: Publish and verify a proof on-chain