Performance Improvements of ZK-Prover for rWasm: A Sound and Efficient AIR for 32-bit Division and Remainder. - Süleyman Kardas; Mehmet Sabir Kiraz; Dmitry Savonin; Yao Wang; Aliaksei Dziadziuk (IACR Cryptol. ePrint Arch., 2025)