Learn the basics of Zero Knowledge (ZK) security. This beginner-friendly video covers everything you need to know about getting started with ZK verification, from basic principles to practical applications. Whether you're just starting out or looking to build a solid foundation, this video is packed with valuable insights and real-world examples.

Time stamp:

• 00:00 Introduction
• 00:50 Motivations for learning ZK auditing
• 02:15 ZK Basics
• 03:40 Completeness
• 04:05 Solidity
• 04:50 Zero Knowledge
• 05:20 zkEVM
• 08:20 Coding circuits
• 11:00 Finite Bodies
• 13:00 False Evidence, Zcash
• 15:40 The importance of the prover's challenge
• 17:30 zkSNARK process
• 21:50 Hacked by Solidity
• 23:30 Circom examples from 0xPARC
• 25:55 Arithmetic overflows/underflows
• 31:40 Auditing of central control systems
• 34:40 Trail of bits leads to scroll
• 36:50 Reference tables
• 41:15 Extropia

Are you looking for an audit for your project?
Contact us here:
https://docs.google.com/forms/d/e/1FAIpQLSesoiyXriwNlvfbaZJx1rrE1nAaNPAm055C2E2U1Pz5D88QCg/viewform

#ZeroKnowledgeProofs #Blockchain #Cryptography #Web3Security

Please take the opportunity to connect with your friends and family and share this video with them if you find it useful.