Enabling Bitcoin Smart Contracts on the Internet Computer. - Ryan Croote; Islam El-Ashi; Thomas Locher; Yvonne-Anne Pignolet (CoRR, 2025)