YoVDO

Transparent SNARKs from DARK Compilers

Offered By: Simons Institute via YouTube

Tags

Compilers Courses Cryptography Courses Computational Complexity Courses Probabilistically Checkable Proofs Courses Interactive Proof Systems Courses SNARKs Courses

Course Description

Overview

Explore a comprehensive lecture on transparent SNARKs derived from DARK compilers, delivered by Benedikt Bünz from Stanford University. Delve into the intricacies of probabilistically checkable and interactive proof systems, covering topics such as efficiency, security, polynomial IOPs, and cryptographic compilation. Learn about recent comparisons, interactive oracle proofs, and polynomial IOP compilation, including discussions on Sonic, Supersonic, and new polynomial commitment schemes. Examine concepts like integer encoding, Diophantine arguments of knowledge, and proof of exponentiation, while also exploring optimizations in class groups.

Syllabus

Intro
Summary of results
Efficiency: Succinctness
Security: Binding / Knowledge
Why? To make Riad happy!
Why? To build SNARKS...
with transparent setup...
from polynomial IOPs
Recent Comparison
Yuval's talk: Cryptographic compilation
Ishai, Kushilevitz, Ostrovksy '07 Cryptographic compiler. Linear homomorphic encryption
R1CS Preprocessing SNARK
Interactive Oracle Proofs
IOPs Efficiency
STARK, Aurora
Interactive linear PCPs?
Polynomial IOP Compilation
Sonic: Polynomial IOP for NP
Sonic: Uniform Circuits
Supersonic
Spartan / Clover / BFL
New Polynomial Commitment
Integer Encoding
Diophatine gument of nowledge
Evaluation
Proof of Exponentiation (Wes'18)
Class Groups BW88,L12
Optimizations


Taught by

Simons Institute

Related Courses

Applied Cryptography
University of Virginia via Udacity
Cryptography II
Stanford University via Coursera
Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera
Cryptography I
Stanford University via Coursera
Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera