CBC framework allows to create consensus algorithm from binary consensus to blockchain consensus by defining CBC paramerters
Asynchronous safety for any properties
Model (state, message)
A fork choice rule (an estimator, in CBC lingo) is "forced" i.e. every message from other validators are checked whether the consensus value it proposes are the correct result of execution of the estimator.