MonadBFTのブレークスルーをまとめる 昨日、Category LabsはMonadBFTの論文を発表し、メインネットでMonadを動かすコンセンサスメカニズムについて説明しました。 MonadBFTは、Pipelined HotStuffがテールフォークに耐性を持つようになった初めての事例であるため、コンセンサス研究における重要な発展です。 テールフォークは、スロットが欠落したために前の提案が破棄され、再マイニングされる場合に発生します。これは、コンセンサスを不安定にするマルチブロックMEV攻撃を開くため、以前のPipelined HotStuffの定式化では深刻な問題です。 この問題を軽減することは、Pipelined HotStuffのすべての利点(頻繁なブロック、低遅延、大規模なバリデーターセット)を提供しながら、最大の欠点を回避するため、非常に大きな問題です。 MonadBFTは、ファイナリティのための大幅なアップグレードも提供します。シングルスロット (500 ms) の投機的ファイナリティと 2 スロット (1s) のハード ファイナリティを特長としています。 「投機的ファイナリティ」とは、「大多数のバリデーターによる曖昧さ(二重署名)の場合にのみ元に戻されるファイナリティ」を意味します。曖昧さはほとんどのブロックチェーンシステムで重大な違反であり、一般的にスラッシュで罰せられます。曖昧さに対するペナルティが大きければ大きいほど、「投機的終局性」を終局性に近づけると考えることができます。 1スロットの投機的ファイナリティは、次のブロックが受信された直後にワールドの更新された状態を自信を持って表示できる高性能アプリケーションにとって大きなロック解除です。 これらの特性により、MonadBFTはコンセンサスにおける大きな進歩となり、非同期実行、楽観的並列実行、MonadDbなど、Monadの他の複合的な改善を補完する価値があります。 この記事の残りの部分では、MonadBFTが解決する問題を説明するために、HotStuffの連続的な改善がどのように積み重なってきたかをまとめる役割を果たします。 要約すると、次のようになります。 1. HotStuffは、大規模なバリデーターセットを持つことができるように、直線的な通信の複雑さを提供しますが、あまり効率的ではありません 2. Pipelined HotStuffは、スロットごとにブロックを提案することで効率と低遅延を実現しますが、テールフォークの問題に悩まされています 3. MonadBFTは、テールフォーク耐性と1スロットの投機的ファイナリティを提供します --- HotStuff:線形通信の複雑さにより、大量のノード数が可能に...