3 papers
cs.CR2026
Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
Christopher Blake, Chen Feng, Xuechao Wang +1
A proof of the security of the Bitcoin protocol is made rigorous, and simplified in certain parts. A computational model in which an adversary can delay transmission of blocks by t…
cs.CR2026
Merged Bitcoin: Proof of Work Blockchains with Multiple Hash Types
Christopher Blake, Chen Feng, Xuachao Wang +1
Proof of work blockchain protocols using multiple hash types are considered. It is proven that the security region of such a protocol cannot be the AND of a 51\% attack on all the…
math.PR2025
Strong Detection Threshold for Correlated ErdÅs-Rényi Graphs with Constant Average Degree
Chenxu Feng
Consider a pair of correlated ErdÅs-Rényi graphs that are subsampled from a common parent ErdÅs-Rényi graph with average degree and subsampli…