Zero Knowledge Cryptography: Creating a zk Circuit with Poseidon Hash Function

In this video I show how to create a zk circuit for proving a user knows the hash preimage of a hash using the Poseidon hash function. Then I explain how to write a zk circuit that proves knowledge of a leaf in an intermediate merkle tree. I am using the Noir programming language.

My instagram: https://www.instagram.com/alexanderjohnlee
My github: https://github.com/partylikeits1983

Noir Docs: https://noir-lang.org/docs
ZK-IMT repo: https://github.com/partylikeits1983/zk-imt

0:00 - Intro
1:00 - Why I am making this video
1:30 - why is zk tech illegal when used in production?
1:50 - goals for the video
2:20 - what is a hash function
3:00 - zk crypto is magic
4:35 - what is a merkle tree
6:00 - be careful with zk
7:00 - writing code with noir
8:00 - why poseidon hash function
9:40 - writing the circuit
12:30 - hashing with poseidon in solidity
13:25 - creating witness
14:55 - rust time
15:45 - generate witness in hex format
16:10 - solidity verifier generation
17:00 - verifying proof in solidity
18:20 - !!!! moment of truth !!!!
19:10 - IMT crash course time
23:00 - Merkle Tree Depth
25:30 - Conclusion :)