Главная
Study mode:
on
1
Intro
2
Contributions of this work
3
Main Idea: Line Point Zero Knowledge
4
Vector Oblivious Linear Evaluation (VOLE)
5
VOLE-based ZK: Constellation of concurrent works
6
Communication cost over large fields
7
Construction Details: VOLE as MAC
8
Construction Details: Encoding Circuits in VOLE
9
Construction Details: Verification
10
Construction Details: IT vs RO verification
11
Proof Sketch on a slide
12
Application: Reusable NISC
13
Concrete Example: Bounded Inner Product
Description:
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.

ITC Conference - Line Point Zero Knowledge and Its Applications

Paul G. Allen School
Add to list