en lisant les preuves de sécurité et de vivacité des protocoles de consensus, j'ai observé un schéma, un modèle dans un ensemble fixe de lemmes d'intersection de quorum qui sont toujours nécessaires. si c'est vrai, ne pouvons-nous pas simplement écrire cela comme un ensemble de boîtes Lego en langage formel et faire en sorte que ces boîtes soient toujours exécutées pour tout nouveau protocole de consensus ? il semble que la R&D de nouveaux protocoles de consensus basés sur les exigences de la couche d'application puisse être accélérée, au lieu d'attendre des années.