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)

Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin. - Hongbo Wen; Hanzhi Liu; Shuyang Tang; Shuhan Cao; Domo; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)