HAPPIER: Hash-Based, Aggregatable, Practical Post-quantum Signatures Implemented Efficiently with Risc0. - Arda Saygan; Muhammed Said Gündogan; Atakan Arslan; Mehmet Emin Gönen (LightSec, 2025)