Quasi-Optimal SNARGs via Linear Multi-Prover Interactive Proofs

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.