Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures

Explore the latest advancements in non-interactive zero-knowledge proofs of knowledge (NIZKPoKs) for Boolean circuits in this 23-minute conference talk. Delve into the "MPC-in-the-head" paradigm and its application with MPC protocols in the preprocessing model. Examine recent works like ZKBoo, ZKB++, and Ligero, and discover how they contribute to efficient NIZKPoKs based solely on symmetric-key primitives. Learn about the new approach involving OT channels, preprocessing, and a two-stage protocol. Understand the implications for zero-knowledge, communication efficiency, and proof size. Gain insights into the potential applications for post-quantum signatures and the overall end results of this research.

Overview
NonInteractive Zero Knowledge
Previous Work
New Approach
NPC in the Head
OT Channels
Preprocessing
TwoStage Protocol
Zero Knowledge
Communication Efficiency
NonInteractive Protocol
Proof Size
End Result
PostQuantum Signatures