One Shot Verifiable Encryption from Lattices
Offered By: TheIACR via YouTube
Course Description
Overview
Explore a groundbreaking paper on verifiable encryption from lattices presented at Eurocrypt 2017. Delve into the innovative work of Vadim Lyubashevsky and Gregory Neven as they introduce a one-shot approach. Begin with an introduction and examples before diving into polynomial rings and the construction of zero-knowledge proofs for discrete log relations. Examine the implications of extraction and practical applications, with proofs as small as 20KB. Investigate main open problems in verifiable encryption and the Ring-LWE encryption scheme. Learn about approximate proofs, proofs of plaintext knowledge, and the authors' solution outline. Conclude by understanding techniques to limit the number of random oracle queries by adversaries in this 25-minute exploration of cutting-edge cryptographic research.
Syllabus
Intro
Examples
Polynomial Rings
Constructing Zero-Knowledge Proofs - For discrete log relations - a simple sigma protocol
Implications of the Extraction
Practical ( 20KB per proof) Applications
Main Open Problems
and Verifiable Encryption
Ring-LWE Encryption Scheme
Approximate Proofs and Proofs of Plaintext knowledge
Our Solution Outline
Limiting the Number of RO Queries by the Adversary
Taught by
TheIACR
Related Courses
Homomorphic Encryption in the SPDZ Protocol for MPCSimons Institute via YouTube Signatures, Commitments, Zero-Knowledge, and Applications
Simons Institute via YouTube Efficient Zero Knowledge Proof from Interactive Proofs
Simons Institute via YouTube Berkeley in the 80s - Episode 1- Shafi Goldwasser
Simons Institute via YouTube ITC Conference - Line Point Zero Knowledge and Its Applications
Paul G. Allen School via YouTube