Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction. - Yanju Chen; Juson Xia; Bo Wen; Kyle Charbonnet; Hongbo Wen; Hanzhi Liu; Luke Pearson; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)