Common use of Lemma 4 Clause in Contracts

Lemma 4. Suppose that less than an fAV-fraction of the parties is dishonest and all honest parties input v to ΠHBA. Further, suppose that no honest party outputs in ΠHBA at time tj < tout. Then every honest party outputs v in ΠHBA at time tout + ∆ + tSBA.

Lemma 4. Suppose that less than an fAV-fraction of the parties is dishonest and all honest parties input v to ΠHBA. Further, suppose that no honest party outputs in ΠHBA at time tj tr < tout. Then every honest party outputs v in ΠHBA at time tout + ∆ + tSBA.