ICT: Insured Cryptocurrency Transactions. - Aydin Abadi; Amirreza Sarencheh; Henry Skeoch; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2025)