YoVDO

ITC Conference - Line Point Zero Knowledge and Its Applications

Offered By: Paul G. Allen School via YouTube

Tags

Cryptography Courses Arithmetic Circuits Courses Zero-Knowledge Proofs Courses

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

Applied Cryptography
University of Virginia via Udacity
Cryptography II
Stanford University via Coursera
Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera
Cryptography I
Stanford University via Coursera
Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera