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