Universally Composable Termination Analysis of Tendermint

Zhixin Dong, Xian Xu, Yuhang Zeng +2

Modern blockchain systems operating in adversarial environments require robust consensus protocols that guarantee both safety and termination under network delay attacks. Tendermin…