Push-Button Verification for BitVM Implementations. - Hanzhi Liu; Jingyu Ke; Hongbo Wen; Robin Linus; Lukas George; Manish Bista; Hakan Karakus; Domo; Junrui Liu; Yanju Chen; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)

Clementine: A Collateral-Efficient, Trust-Minimized, and Scalable Bitcoin Bridge. - Ekrem Bal; Lukas Aumayr; Atacan Iyidogan; Giulia Scaffino; Hakan Karakus; Cengiz Eray Aslan; Orfeas Stefanos Thyfronitis Litos (IACR Cryptol. ePrint Arch., 2025)