1 Matching Annotations
  1. 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.