ZK Whiteboard Sessions - S3M5: The Ligero Proof System, w/ Muthu Venkitasubramaniam скачать в хорошем качестве

ZK Whiteboard Sessions - S3M5: The Ligero Proof System, w/ Muthu Venkitasubramaniam

ZK Whiteboard Sessions - S3M5: The Ligero Proof System, w/ Muthu Venkitasubramaniam For all additional info and resources watch it here: https://zkhack.dev/whiteboard/s3m5/ Full ZK Whiteboard Sessions - Season 1 playlist here:    • ZK Whiteboard Sessions - S1   Full ZK Whiteboard Sessions - Season 2 playlist here:    • ZK Whiteboard Sessions - S2   Full ZK Whiteboard Sessions - Season 3 playlist here:    • ZK Whiteboard Sessions - S3   In this module, Guillermo Angeris and Muthu Venkitasubramaniam, Co-founder at Ligero Inc, professor at Georgetown University and co-author of the original Ligero paper, deliver a comprehensive technical walkthrough of the Ligero proof system. After situating Ligero within the broader landscape of zero-knowledge proof constructions, Muthu introduces the MPC-in-the-head approach. Using this framework, he explains the Ligero proof system in detail, walking through its use of packed secret sharing, its constraint system, and the three core tests—proximity, multiplication, and linear—that ensure its correctness. Finally, he discusses practical considerations, including how Ligero achieves zero-knowledge, succinct verification, and memory efficiency, making it suitable for client-side proving on resource-constrained devices What you’ll learn: 00:00 Introduction, Session Outline, and the OGs of Cryptography 04:36 Introducing Knowledge Act 07:33 Defining Zero Knowledge 18:55 Defining MPC (Multi-Party Computation) 25:46 The "MPC in the Head" Paradigm 33:39 Ligero Preliminaries: Secret Sharing 40:05 Ligero Proof System: System of Equations 47:08 The Three Core Tests of Ligero: Proximity, Multiplication, and Linear Tests 55:48 Soundness Argument for Ligero 1:02:44 Fixing the Linear Test 1:09:22 Achieving Zero Knowledge with Masking Rows 1:14:08 Making Ligero into a Pre-Processing SNARK 1:18:16 On Memory Efficiency and Client-Side Proving 1:25:15 Summary and Conclusion If you like what we do: Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) Follow us on Twitter @zeroknowledgefm (  / zeroknowledgefm  ) Join us on Telegram (https://zeroknowledge.fm/telegram) Catch us on YouTube (https://zeroknowledge.fm/)