Recent progress in lattice-based zero-knowledge proofs (以英文演講)
- 講者Gregor Seiler 博士 (IBM Research Europe)
邀請人：楊柏因 - 時間2025-03-03 (Mon.) 15:00 ~ 16:00
- 地點新館101會議室
摘要
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.