コンセンサスプロトコルの安全性と生存性の証明を読むと、固定された定足数交差補題のテンプレートが常に必要であることに気づきました。 もしこれが本当なら、これをレゴボックスの束として正式な言葉で書いて、新しいコンセンサスプロトコルでも常にそのボックスを実行させることはできませんか? アプリレイヤー要件に基づく新しいコンセンサスプロトコルの研究開発は、何年も待つ代わりに迅速に進められるように思えます。