Optimizing Backend Verification in zk-Rollup Architectures. - Mehdi Beriane; Muhammed Ali Bingöl (IACR Cryptol. ePrint Arch., 2025)