HyperLoop: Rationally secure efficient cross-chain bridge. - Aniket Kate; Easwar Vivek Mangipudi; Charan Nomula; Raghavendra Ramesh; Athina Terzoglou; Joshua Tobkin (IACR Cryptol. ePrint Arch., 2025)