Adrian

Daily #ZK knowledge bites | Making zero-knowledge proofs digestible | From basics to breakthroughs | Built by a ZK enthusiast

[Adrian @0k_Adrian]

Coins & trends are everywhere, but turning a profit? Harder than ever. That's the crypto market today. #Crypto #Blockchain #Investing

[Adrian @0k_Adrian]

@AvberEth @KaitoAI It doesn't seem very optimistic.

[Adrian @0k_Adrian]

@zkPass @BASCAN_io @DoraHacks congratulations

[Adrian @0k_Adrian]

1️⃣5️⃣/n #ZK arithmetic gates?

Like tiny calculators ➗
Each does ONE math operation:

- Add
- Multiply
- Compare

Combined to build complex proofs!
Used in: All circom circuits

[Adrian @0k_Adrian]

1️⃣4️⃣/n What's #plonk proof system?
Like a universal LEGO set 🧱

- One-time setup
- Flexible circuits
- Mix & match constraints

Game changer: Most #zkEVMs use this!

[Adrian @0k_Adrian]

@vezko_zkp HAPPY NEW YEAR

[Adrian @0k_Adrian]

1️⃣3️⃣/n What's a ZK state transition?
Like a board game move 🎲

- Current state (where pieces are)
- Move (what changed)
- Prove move was legal Without showing the full board!

#ZKP #zkTLS #ZKProofs

[Adrian @0k_Adrian]

1️⃣2️⃣/n What's #ZK lookup tables?
Like a cheat sheet in math 📝

- Store common calculations
- Reuse them in proofs
- Save massive computation!

#ZKP #zkTLS #ZKProofs

[Adrian @0k_Adrian]

1️⃣1️⃣/n #ZK friendly hash functions?

Pedersen Hash:

- Hides input perfectly
- Fast for ZK circuits
- Like DNA testing: proves relation without revealing sequence 🧬

#ZKP #zkTLS #zkPass

[Adrian @0k_Adrian]

🔟/n What's recursive proofs in #ZK?

Imagine Russian nesting dolls 🪆
Each proof verifies previous proofs
All packed into one final proof!

Used in: @aztecnetwork rollup chains

#ZKP #zkTLS #zkPass

[Adrian @0k_Adrian]

9️⃣/n What's #zkEVM?
It's like a fast lane for Ethereum:

Runs ETH transactions with #ZK proofs
Same security as ETH mainnet
Way cheaper gas fees 💰
Much faster processing ⚡

Real world: Polygon zkEVM
#ZKProofs #Ethereum #zkTLS

[Adrian @0k_Adrian]

8️⃣/n #ZK's growing toolbox:

circom: Write circuits in JavaScript
noir: Rust-like ZK language
halo2: Powers Polygon's ZK solutions

Tools getting friendlier each day! 👨‍💻

#ZKP #zkTLS

[Adrian @0k_Adrian]

7️⃣/n Fun fact: #ZK was born in 1985!

S.Goldwasser, S.Micali & C.Rackoff first introduced it at MIT

From a theory paper to #Web3 privacy backbone in 38 years! 🚀
#ZKProofs #zkTLS

[Adrian @0k_Adrian]

6️⃣/n #ZK has 2 key roles:
Prover: "I know something!"
Verifier: "Prove it!"

Like a magic show 🎩
Magician performs the trick
Audience knows it's real, but not how!
#ZKProofs #zkTLS

[Adrian @0k_Adrian]

@vezko_zkp Maybe we can create a table to keep track of everything.

[Adrian @0k_Adrian]

5️⃣/n Two main types of #ZK:

#SNARK: Small & fast, but needs setup
#STARK: No setup, but larger proofs

Like choosing between a 🚗(SNARK) or 🚌(STARK)

Both get you there, just different trades!

[Adrian @0k_Adrian]

4/n What's a #ZK circuit?

It's like a recipe 🧑‍🍳
Input: your secret ingredients
Output: proof that you followed the recipe
But nobody sees what you cooked!

#ZKProofs

[Adrian @0k_Adrian]

3/n 3 Magical properties of #ZK:

✅ Completeness: Truth always convinces
🚫 Soundness: Can't fake proofs
🤫 Zero-Knowledge: Verifier learns nothing else

Like a perfect detective: can't be fooled, keeps secrets! 🕵️
#ZKP #zkTLS

[Adrian @0k_Adrian]

2/n Why do we need #ZK?
Imagine sending money to friends:

Traditional way: Bank sees EVERYTHING (amount, sender, receiver)
ZK way: Only proves "valid transfer happened" while hiding details 🎭

Privacy + Security = ZK Magic ✨
#ZKProofs #Privacy #Web3

[Adrian @0k_Adrian]

1/n First byte of #ZK:

Zero-Knowledge Proofs let you prove you know a secret without revealing it.
Like proving you're old enough to enter a bar without showing your actual birth date. 🎯

#ZKProofs #Crypto #Web3 #zkTLKS