Announcement_5

Carsten Baum and I made a follow-up on PoMFRIT, and we used ML-DSA instead of MAYO. We are able to prove possession of an ML-DSA signature (without any modifications) in under 1s and roughly 1 MB. We also develop new techniques for switching efficiently between different fields in VOLEitH proofs. Check out our paper here.