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)

Optimizing Big Integer Multiplication on Bitcoin: Introducing w-windowed Approach. - Dmytro Zakharov; Oleksandr Kurbatov; Manish Bista; Belove Bist (IACR Cryptol. ePrint Arch., 2024)