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.
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