Keccacheck: towards a SNARK friendly Keccak. - Marcin Kostrzewa; Matthew Klein; Ara Adkins; Grzegorz Swirski; Wojciech Zmuda (IACR Cryptol. ePrint Arch., 2025)