Süleyman Kardas, Mehmet Sabir Kiraz, Dmitry Savonin, Yao Wang, Aliaksei Dziadziuk. Performance Improvements of ZK-Prover for rWasm: A Sound and Efficient AIR for 32-bit Division and Remainder. IACR Cryptology ePrint Archive, 2025:2220, 2025. [doi]
Abstract is missing.