5 Matching Annotations
  1. May 2024
    1. N ≥ 2F + 1
    2. This case is prevented when the inter-section subset of any two agreement sets is large enough to include at least one honest witness

      Yup, that's why we have M > (n+f)/2

      Which for f = 1/3n, (3/3+1/3)/2 = (4/3)/2 = 2/3

    1. Given a set of n agents, at most f of which arefaulty and the rest are correct, a fault-resilient supermajority, or supermajorityfor short, is any fraction of agents greater than n+f2 . For example, if f = 0 thena simple majority is a supermajority, and if f < 13 then 23 is a supermajority
  2. Apr 2024
    1. Weshow that the blue leader is ratified by any subsequent cordial leader

      The second supermajority is a set of messages that super-ratifies some message. But here we don't make use of super-ratification. Next leader may observe just one message that super-ratifies.

    2. A set of blocks by more than 12 (n + f ) miners is termed asupermajority

      When f = 1/3, then supermajority is 2/3.

      n = 3 f = 1

      (3 + 1) / 2 = 4 / 2 = 2 (out of 3)