XCC: Theft-Resilient and Collateral-Optimized Cryptocurrency-Backed Assets. - Theodore Bugnet; Alexei Zamyatin (IACR Cryptol. ePrint Arch., 2022)