Common use of Security Definition Clause in Contracts

Security Definition. We say that a protocol (satisfying the above syntax) achieves BA with probability p with respect to ( , ), iff with probability at least p over the choice of the randomized execution, the following properties are satisfied: – Consistency. If an honest node outputs bi and another honest node outputs bj to Z, then it must hold that bi = bj.