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

Digital System Design
Indian 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