Recent progress in lattice-based zero-knowledge proofs (Delivered in English)
- LecturerDr. Gregor Seiler (IBM Research Europe)
Host: Bo-Yin Yang - Time2025-03-03 (Mon.) 15:00 ~ 16:00
- LocationAuditorium 101 at IIS new Building
Abstract
For the construction of quantum-safe privacy-preserving protocols such as anonymous credential systems for digital identities, one needs zero-knowledge proof systems for proving statements about underlying public-key schemes and ideally also about unstructured symmetric-key primitives such as hash functions. Lattice-based proof systems have improved a lot in recent years so that they now have the potential for beating the state-of-the-art quantum-safe PCP-type proof systems in terms of proof size as well as runtime even for large statements that include big unstructured circuits. I will present the recent progress and discuss where the field is headed.