Archetype's banner

Archetype

@archetypevc • 11,587 subscribers

early stage crypto fund accelerating the programmable future

Videos

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

Free preview available • Premium content

Now 10 years old, Groth16 is still one of the most widely used ZK proof systems today So in Session 10 of Proof is in the Pudding, David Wong works backward from Groth16’s famously compact verifier equation to explain why the protocol is structured the way it is ⌛️TIMESTAMPS 00:00 Intro 02:10 Why Groth16 Is Still Used 04:10 Downsides of Groth16 06:00 R1CS Recap 11:30 From R1CS to Polynomial Identities 14:00 Vanishing Polynomials 17:32 Schwartz-Zippel Lemma 22:45 Why Groth16 Needs Pairings 28:10 The Initial Verification Check 29:45 Witness Consistency and Random Linear Combinations 34:39 Encoding the Circuit in the CRS 36:19 Constructing the C Proof Element 37:53 The CRS as Lego Pieces and Separating Factors 43:16 Enforcing the Quotient Polynomial 48:14 Merging the Verification Checks 54:04 Deriving the Final Groth16 Equation 58:44 Enforcing Public Inputs Proof is in the Pudding is produced in collaboration with zkSecurity

Now 10 years old, Groth16 is still one of the most widely used ZK proof systems today So in Session 10 of Proof is in the Pudding, David Wong works backward from Groth16’s famously compact verifier equation to explain why the protocol is structured the way it is ⌛️TIMESTAMPS 00:00 Intro 02:10 Why Groth16 Is Still Used 04:10 Downsides of Groth16 06:00 R1CS Recap 11:30 From R1CS to Polynomial Identities 14:00 Vanishing Polynomials 17:32 Schwartz-Zippel Lemma 22:45 Why Groth16 Needs Pairings 28:10 The Initial Verification Check 29:45 Witness Consistency and Random Linear Combinations 34:39 Encoding the Circuit in the CRS 36:19 Constructing the C Proof Element 37:53 The CRS as Lego Pieces and Separating Factors 43:16 Enforcing the Quotient Polynomial 48:14 Merging the Verification Checks 54:04 Deriving the Final Groth16 Equation 58:44 Enforcing Public Inputs Proof is in the Pudding is produced in collaboration with zkSecurity

14,277 görüntüleme • 1 ay önce

Grass by Andrej Radonjic Andrej

Grass by Andrej Radonjic Andrej

79,357 görüntüleme • 1 yıl önce

DAWN: The Protocol for Providing Decentralized Broadband by Neil Chatterjee Neil Chatterjee

DAWN: The Protocol for Providing Decentralized Broadband by Neil Chatterjee Neil Chatterjee

48,216 görüntüleme • 1 yıl önce

I still don't know how the alignment chart works and at this point I'm too scared to ask Chairman Birb Bernanke and Emily Lai clear it up for all of us Chaotic Good ep3 drops next week 👺

I still don't know how the alignment chart works and at this point I'm too scared to ask Chairman Birb Bernanke and Emily Lai clear it up for all of us Chaotic Good ep3 drops next week 👺

11,317 görüntüleme • 2 ay önce

Daha fazla içerik yok.