TY  - RPRT
TI  - Universally Composable Termination Analysis of Tendermint
AU  - Zhixin Dong
AU  - Xian Xu
AU  - Yuhang Zeng
AU  - Mingchao Wan
AU  - Chunmiao Li
PY  - 2025
UR  - https://arxiv.org/abs/2510.01097
ID  - 2510.01097
ER  -