Weakly Fair Validity Sample Clauses
Weakly Fair Validity. Theorem 19 (weakly fair validity). Suppose the network is synchronous. Then, HBA achieves weakly fair validity under the assumption of static adversary.
Weakly Fair Validity. In this work, however, we show that if a BA protocol only executes once, it is impossible to achieve both responsiveness and strongly fair validity. Hence, we define a weaker notion of fairness, called weakly fair valid- ity, which captures the decided values when the BA protocol is executed many times. When applying to blockchains, BA is usually executed once for each block. Thus, weak fair validity is a reasonable metric if we examine the distribution of the proposers for a series of blocks. We will formally introduce and justify the definition in Section III.
