6.2.4 带鉴别的Byzantine一致性