Overview
Explore the concept of Line Point Zero Knowledge (LPZK) and its applications in this 24-minute conference talk from the 2021 ITC Conference. Delve into the presentation by Samuel Dittmer, Yuval Ishai, and Rafail Ostrovsky as they introduce a simple proof system with attractive efficiency features. Learn about the encoding of witnesses as affine lines, the role of Vector Oblivious Linear Evaluation (VOLE) in creating lightweight designated-verifier NIZK protocols, and the theoretical implications for linear interactive proofs. Discover how LPZK can simplify and improve recent constructions of reusable non-interactive secure computation (NISC) from VOLE, with a focus on concretely efficient protocols for bounded inner product calculations. Gain insights into the communication costs, construction details, and verification processes involved in this innovative approach to zero-knowledge proofs.
Syllabus
Intro
Contributions of this work
Main Idea: Line Point Zero Knowledge
Vector Oblivious Linear Evaluation (VOLE)
VOLE-based ZK: Constellation of concurrent works
Communication cost over large fields
Construction Details: VOLE as MAC
Construction Details: Encoding Circuits in VOLE
Construction Details: Verification
Construction Details: IT vs RO verification
Proof Sketch on a slide
Application: Reusable NISC
Concrete Example: Bounded Inner Product
Taught by
Paul G. Allen School