https://x.com/opensensepw
https://x.com/zokyo_io
This video introduces zero knowledge proofs and explains how they work through real-world examples. It covers the main components, verifier properties, and the flow of ZKPs. You will also learn about the Noir programming language, proof generation, finite field arithmetic, and practical coding concepts like tuples, arrays, structs, and functions. The session explores learning resources, challenges, and ends with generating a Solidity verifier contract and exploring the ZKPs Dungeon.
Timestamps
00:00 Intro
00:23 What is zero knowledge Proofs
01:21 Three component in ZKPs
02:34 Understanding ZKPs with real word example
06:25 First and Second solution
09:16 More examples
09:30 Three properties of the verifier
11:29 What ZKPs solve
12:00 ZKPs flow
14:57 Getting a bit into the Math
18:55 The Noir programming language
20:25 Noir Proof generation
22:20 The setup of the Noir language
23:06 Finite Field Arithmetic
26:17 The Noir docs
30:33 Baby Jubjab docs
31:46 How Tuple work
32:50 For loop
33:13 Arrays
34:55 Structs
36:13 Why we prefer field our integers?
37:09 Functions
41:52 Vectors
43:52 ZkComp's Aztec Noir Course
44:24 How these wrork?
53:00 Nodeguardian.io
56:44 Nodeguardian challenge
01:06:23 Generating solidity verifier contract
01:13:50 ZKPs Dungeon
