Common use of Soundness Clause in Contracts

Soundness. Suppose there exists a subset S [2 + 2N + 3m] whose pairwise sum of products is

Appears in 2 contracts

Sources: Byzantine Agreement, Byzantine Agreement

Soundness. Suppose there exists a subset S βŠ† [2 + 2N + 3m] whose pairwise sum of products is

Appears in 1 contract

Sources: Byzantine Agreement