總結 MonadBFT 的突破 昨天 Category Labs 發佈了 MonadBFT 論文,描述了將在主網上為 Monad 提供支援的共識機制。 MonadBFT 是共識研究的一個重大進展,因為它是 Pipelined HotStuff 第一次對尾部分叉產生抵抗力。 當錯過的 slot 導致前一個提案被丟棄並重新挖掘時,就會發生尾部分叉。這在以前的 Pipelined HotStuff 公式中是一個嚴重的問題,因為它開啟了破壞共識的多塊 MEV 攻擊。 緩解這個問題是一件大事,因為它為我們提供了 Pipelined HotStuff 的所有好處——頻繁的區塊、低延遲、大型驗證者集——同時避免了最大的缺點。 MonadBFT 還為最終確定性提供了巨大的升級。它具有單時隙 (500 ms) 推測性最終確定性和雙時隙 (1s) 硬確定性。 “推測性終局性”是指“僅在大多數驗證者模棱兩可(雙重簽名)的情況下才會恢復的最終性”。模棱兩可是大多數區塊鏈系統中的重大違規行為,通常會受到罰沒;模棱兩可的懲罰越大,你就越能想到 「推測性終局性 」與終局性。 單槽推測確定性是高性能應用程式的巨大解鎖,它可以在收到下一個區塊後立即自信地顯示世界的更新狀態。 這些屬性使 MonadBFT 在共識方面取得了巨大進步,並且是 Monad 中其他復合改進(包括異步執行、樂觀並行執行和 MonadDb)的有價值的補充。 本文的其餘部分總結了 HotStuff 中的連續改進是如何相互構建的,以解釋 MonadBFT 解決的問題。 總結一下: 1. HotStuff 為我們提供了線性通信的複雜性,因此我們可以擁有大型驗證器集,但效率不是很高 2. 流水線 HotStuff 為每個時隙都提出區塊,為我們提供了效率和低延遲,但存在尾叉問題 3. MonadBFT 給我們帶來了尾叉阻力和一時隙投機最終性 --- HotStuff:線性通信複雜性支援大量節點...