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 :)