TY  - RPRT
TI  - Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
AU  - Hyunhum Cho
AU  - Ik Rae Jeong
PY  - 2026
UR  - https://arxiv.org/abs/2601.01436
ID  - 2601.01436
ER  -