Zero-Knowledge Proofs from Learning Parity with Noise: Optimization, Verification, and Application. - Thomas Haines; Rafieh Mosaheb; Johannes Müller 001; Reetika (CSF, 2025)