Zero Knowledge Security Explained: A Starter's Guide to ZK Audits

Sdílet
Vložit
  • čas přidán 26. 06. 2024
  • x.com/extropy
    x.com/extropyLaurence
    Learn the fundamentals of Zero Knowledge (ZK) Security. This beginner-friendly video covers everything you need to know about getting started with ZK auditing, 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.
    Timestamps:
    • 00:00 Intro
    • 00:50 Motivations to learn ZK auditing
    • 02:15 ZK essentials
    • 03:40 Completeness
    • 04:05 Soundness
    • 04:50 Zero Knowledginess
    • 05:20 zkEVM
    • 08:20 Coding circuits
    • 11:00 Finite Fields
    • 13:00 False proofs, Zcash
    • 15:40 The importance of challenging the prover
    • 17:30 zkSNARK process
    • 21:50 Hacked by soundness
    • 23:30 Circom examples from 0xPARC
    • 25:55 Arithmetic Over/Underflows
    • 31:40 Auditing ZK systems
    • 34:40 Trail of bits leads on Scroll
    • 36:50 Look-up tables
    • 41:15 Extropy
    Looking for an audit for your project?
    Contact us here:
    docs.google.com/forms/d/e/1FA...
    #zeroknowledgeproofs #blockchain #cryptography #web3security
  • Věda a technologie

Komentáře • 7