Cross-chain bridges via backwards-compatible SNARKs. - Sergio Juárez; Mark Blunden; Joris Koopman; Anish Mohammed; Kapil R. Shenvi Pause; Steve Thakur (IACR Cryptol. ePrint Arch., 2024)