Showing cs.CRShow all
2 papers · 1 filter
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.CR2024
TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus
Qianyu Yu, Giuliano Losa, Xuechao Wang
This paper presents TetraBFT, a novel unauthenticated Byzantine fault tolerant protocol for solving consensus in partial synchrony, eliminating the need for public key cryptography…