為什麼Libra的共識算法不夠安全？

一級標題

協議概述

一級標題

一級標題

一級標題

HotStuff的關鍵創新

2.HotStuff使用閾值數字簽名方案，可以在無論領導者是正確還是錯誤的情況下實現線性的身份驗證器複雜性。

一級標題

一級標題

一級標題

可信領導者的重要性

消息傳播的重要性在HotStuff BFT協議的漏洞中特別突出，因為它缺少明確的決策消息傳播過程。當領導者無法在HotStuff中可靠地廣播決策消息時，就會出現問題。就如以下情形：

根據協議，負責人的任務是將路徑擴展到（a0-> a1->…->-> b）。假設執行過程順利進行，我們繼續下一個視圖v + 1。我們希望領導者將命令傳播給所有參與者，這些參與者都應執行與擴展葉節點b和c關聯的命令。 HotStuff BFT協議指出：“實際上，落後的接收者可以通過從其他副本中獲取丟失的節點追上來。”這意味著，在視圖v + 1結束時，落後的參與者可以獲取與（a0-> a1->…->-> b-> c）相對應的prepareQC。