關於實用拜占庭協議 vs 實用同步拜占庭協議

總結拜占庭協議的時候，這兩個概念搞不清楚了，所以來總結一下。

參考：總結：

關於非同步式分布式系統的共識，有這樣乙個基礎的結論，flp不可能原理。是在2023年由fischer, lynch 和 patterson三位計算機科學家，提出了乙個flp不可能原理：「在網路可靠的前提下，任意節點失效，乙個或者多個的最小化非同步模型系統中，不可能存在乙個解決一致性問題的確定性演算法。即如果存在任意節點失效的情況下，就無法完全保證分布式系統可以達到同步」。我們可以理解為認為完全非同步的分布式系統是無法達到共識的。所以我們區塊鏈的共識機制或多或少的對非同步式分布式系統加了一些限制條件，比如pbft共識演算法，它假設節點之間訊息節點有延遲，但是在有限時間內是可以達到的。所以我們區塊鏈為了達到共識，也是有一點限制條件的非同步分布式系統。

ren l, nayak k, abraham i, et al. practical synchronous byzantine consensus[j]. arxiv preprint arxiv:1704.02397, 2017.

**「弱同步」和「非同步」共識演算法的區別

廣義上講，拜占庭共識考慮了n個團體之間達成協議的問題，其中最多f個會出現拜占庭式錯誤並任意偏離協議。

在定時（同步，非同步或部分同步）和加密假設（無論是否假設數字簽名）的各種組合下研究了拜占庭廣播和協議。現在已經眾所周知，這些假設極大地影響了容錯和解決問題的界限。拜占庭協議即使在具有數字簽名的情況下，

castro和liskov [7]的pbft協議是一種非同步狀態機複製協議，可實現最佳的f