Flyover: 'A Repayment Protocol for Fast Bitcoin Transfers over Federated Pegs' by Javier Alvarez Cid-Fuentes, Diego Angel Masini & Sergio Demian Lerner. https://eprint.iacr.org/2023/086.pdf