Succinct Non-Interactive Arguments (SNARGs) for NP
65610.csail.mit.edu · 2,409 words · saved by 1 readers
N/A
Succinct Non-Interactive Arguments (SNARGs) for NP Notes by Yael Kalai MIT - 6.5610 Lecture 13 (March 18, 2024) Warning: This document is a rough draft, so it may contain bugs. Please feel free to email me with corrections. Outline • The Fiat-Shamir Paradigm • SNARGs for low-depth computations • Overcoming the low-depth restriction • Succinct hash with local opening Last class we presented the GKR protocol which is a doubly effi- cient interactive proof for bounded depth computations. Recall that the GKR protocol consists of a sequence of (pairs of)…
related reading
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- 118.pdfeprint.iacr.org
- 370.pdfeprint.iacr.org
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Computer Scientists Figure Out How To Prove Lies | Quanta Magazinequantamagazine.org
- Survey-SNARKs.pdfdi.ens.fr
- 286.pdfeprint.iacr.org
- Lecture 14: Zero knowledge proofsboazbarak.org
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Fiat–Shamir heuristic - Wikipediaen.wikipedia.org
- thesis.pdfaayushg.com