TY  - RPRT
TI  - Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
AU  - Christopher Blake
AU  - Chen Feng
AU  - Xuechao Wang
AU  - Qianyu Yu
PY  - 2026
UR  - https://arxiv.org/abs/2601.09082
ID  - 2601.09082
ER  -