3.1.1 半同步网络模型与BFT