Mon, 09 Jun 2025 13:00 The Greyhound and Labrador lattice-based proof systems and their implementation by Gregor Seiler (IBM Zurich)

I will present the Greyhound polynomial commitment scheme, and the underlying Labrador proof system for lattice relations with short proofs. I will then place particular emphasis on optimized implementation strategies for these systems.

Speaker Bio:

Gregor Seiler is a staff research scientist at IBM Research. He is a co-designer of the NIST post-quantum cryptography standards ML-KEM, ML-DSA and FN-DSA

Venue: Online