啥是佩奇不重要，重要的是啥是共識演算法？

1月17日晚，trias攜手csdn 推出了線上公開課。此次公開課的主題為「深入淺出全面理解共識演算法」。

本次課程的主講嘉賓為trias高階演算法工程師胡志琳博士。胡博士深入淺出，為學員講解了共識演算法。針對課程內容，學員紛紛提出問題，胡博士也作了解答。

問題一：flp是什麼？英文怎麼展開？

2023年，fischer、lynch和patterson提出了flp不可能原理，所以flp這三個字母是三位作者姓名的首字母縮寫。

該原理是指：在網路可靠，但允許節點失效（即便只有乙個）的最小化非同步模型系統中，不存在乙個可以解決一致性問題的確定性共識演算法。

問題二： bft是確定性演算法，pow是概率性演算法？

bft是區塊鏈系統中常用的共識演算法，它分為兩類：一類是以pbft（practical byzantine fault tolerance）為代表的確定性系列演算法，另一類是以pow(工作量證明)為代表的概率演算法。

其中，對於確定性演算法來說，一旦達成對某個結果的共識就不可逆轉，即共識是最終結果；而對於概率性演算法，共識結果則是臨時的，隨著時間推移或某種強化，共識結果被推翻的概率越來越小，成為事實上的最終結果。

問題三：paxos就是raft共識麼？

paxos和 raft是兩種不同的共識，但是它們都是為了解決非拜占庭將軍問題。

我們可以根據要解決的問題是普通錯誤還是拜占庭將軍問題，將共識演算法分為cft（crash fault tolerance）和bft（byzantine fault tolerance）。

針對cft，已有一些經典的解決演算法，包括paxos、raft及其它變種等。

也就是說，在很多分布式系統場景下，並不需要解決拜占庭將軍問題，也就是說，在這些發分布式系統的實用場景下，其假設條件不需要考慮拜占庭故障，而只是處理一般的宕機故障。在這種情況下，採用paxos會更加高效。

但是由於paxos非常複雜，比較難以理解，因此後來出現了各種不同的實現和變種。raft就是其中一種，為了避免paxos的複雜性而專門設計成易於理解的分布式一致性演算法。

問題四：請問pow的挖礦難度和雜湊值前面幾個零有關係，這個是什麼意思？

挖礦難度，指的是尋找nonce以生成符合條件的hash的難易程度。前導零的個數就是這個條件。

也就說，雜湊值前面的零越多，雜湊值就越小，挖礦難度就越大。

拿位元幣工作量證明的過程來說，就是通過不停地變換區塊頭（即嘗試不同的隨機值）作為輸入進行sha256雜湊運算，找出乙個特定格式雜湊值的過程（即要求有一定數量的前導0）。而要求的前導0的個數越多，代表難度越大。