ITC Conference - Line Point Zero Knowledge and Its Applications
Offered By: Paul G. Allen School via YouTube
Course Description
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
Related Courses
Digital System DesignIndian Institute of Technology, Ropar via Swayam Sistemas Digitales: De las puertas lógicas al procesador
Universitat Autònoma de Barcelona (Autonomous University of Barcelona) via Coursera Digital Circuits
Indian Institute of Technology, Kharagpur via Swayam Digital Electronic Circuits
NPTEL via YouTube Digital Circuits
NPTEL via YouTube