Learn AI, Data Science & Business — Earn Certificates That Get You Hired
The Fastest Way to Become a Backend Developer Online
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore a 25-minute conference talk presented at Eurocrypt 2018 that delves into Quasi-Optimal SNARGs via Linear Multi-Prover Interactive Proofs. Gain insights into Non-Interactive Arguments for NP, Succinct Non-Interactive Arguments (SNARGS), and the concept of Quasi-Optimal SNARGS. Discover the principles of Linear-Only Encryption over Rings and Linear Multi-Prover Interactive Proofs (MIPs). Learn about Robust Decomposition and Consistency Checking techniques. Conclude with a discussion on open problems in the field, providing a comprehensive overview of this cutting-edge cryptographic research.
Syllabus
Intro
Non-Interactive Arguments for NP
Succinct Non-Interactive Arguments (SNARGS)
Quasi-Optimal SNARGS
Linear-Only Encryption over Rings
Linear Multi-Prover Interactive Proofs (MIPs)
Robust Decomposition
Consistency Checking
Conclusions
Open Problems
Taught by
TheIACR