Topos: A Secure, Trustless, and Decentralized Interoperability Protocol. - Théo Gauthier; Sébastien Dan; Monir Hadji; Antonella Del Pozzo; Yackolley Amoussou-Guenou (CoRR, 2022)