原文標題:《什麼是共識?(理論篇)》
作者:端豪
為了實現分散式一致性協議而產生的一系列流程與規則
起源
在分散式系統中,當某些節點出現異常時,如何保證整個系統對外的表現仍然一致。
- 良性錯誤惡意錯誤良性錯誤惡意錯誤拜占庭錯誤
本文將分別介紹分散式領域內一些非常重要的模型假設/定理/理論等。
網路模型
總的來說,一共存在三種類型的通信模型,分別是同步模型、非同步模型與部分同步模型。
拜占庭將軍問題
拜占庭將軍問題首次假設了分散式系統中存在惡意節點的情況,並給出了在同步網路模型下的解法
FLP不可能定理
在一個非同步通信網路中,只要存在一個故障節點,那麼就不存在一種完美的共識演算法可以正確的終止
CAP理論
總結
即在一個傳統的分散式系統中,一個實用的共識演算法需要能夠安全地運行在部分同步網路模型中
在公有鏈中,常見的選擇是通過工作量證明演算法(PoW)來防止拜占庭攻擊
在聯盟鏈中,常見的選擇是通過理論完備的BFT共識演算法來防止拜占庭攻擊。
冷萃財經原創,作者:Awing,轉載請註明出處:https://www.lccjd.top/2021/07/21/%e4%b8%80%e6%96%87%e5%b8%a6%e4%bd%a0%e8%ae%b2%e9%80%8f%e5%8c%ba%e5%9d%97%e9%93%be%e5%85%b1%e8%af%86%e7%ae%97%e6%b3%95/?variant=zh-tw
文章評論