2 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.CE2024
Private Order Flows and Builder Bidding Dynamics: The Road to Monopoly in Ethereum's Block Building Market
Shuzheng Wang, Yue Huang, Wenqin Zhang +3
Ethereum, as a representative of Web3, adopts a novel framework called Proposer Builder Separation (PBS) to prevent the centralization of block profits in the hands of institutiona…