The Sponge is Quantum Indifferentiable. - Gorjan Alagic; Joseph Carolan; Christian Majenz; Saliha Tokat (IACR Cryptol. ePrint Arch., 2025)