Polkadot系列｜混合共識詳解_POLK

Polkadot共識主要有三種：NPOS,BABE,GRANDPA

接下來我們對這三種共識進行逐一的解釋

NPOS

什么是NPOS共識

在Polkadot中，中繼鏈上的驗證者需要分配到各個平行鏈，為它們提供區塊鏈驗證能力，是Polkadot共享安全性的一部分，因此中繼鏈的驗證者對于整個Polkadot多鏈系統的安全性至關重要。

如何公平安全地選舉出中繼鏈上的驗證者也就成了保障整個系統共享安全性的第一步，是不可或缺的一步。

NPOS(NominatedProofofStake)共識算法就是用來選舉出能讓系統更安全，更高效的驗證者集合的。和傳統意義上的POS共識相比，NPOS算法結合了Polkadot鏈自身架構的一些特點，進行相應的優化。

下面看看NPOS是如何進行工作的。

在說明NPOS之前，我們需要先回顧一下Polkadot中重要的兩種角色。

▲驗證人

中繼鏈的全節點，中繼鏈會在驗證人池中通過隨機分組把驗證人指定給不同的平行鏈。驗證人會接受來自收集人打包的區塊并進行有效性驗證，然后結合共識算法對收集人提交的區塊進行確認。

▲提名人

Polkadot中數字貨幣DOT的持有人，它會選擇自己所信任的驗證人進行DOT質押，然后分享驗證人的收益。

Polygon網絡計劃于3月18日18:30進行硬分叉升級:3月17日消息，Polygon開發團隊稱，上周網絡中斷的解決方案需要緊急更新Heimdall至Heimdall v0.2.8，這將涉及一個硬分叉，所有節點都需要在區塊8664000 （大約3月18日18:30）之前升級。

Polygon開發團隊表示，上周網絡中斷導致 heimdall 和 bor 停止運行，問題出在heimdall。新創建的 span 將于3月20日運行，在這之前，團隊需要確保HeimDall 處于一個可以開始正常創建新 span 的狀態。而這需要更新到 HeimDall，把這些 span 回填到 HeimDall DB 中。[2022/3/17 14:03:00]

Polkadot的選舉模型是建立在這兩種角色基礎上的。要成為驗證人，必須先成為驗證人候選人參加選舉的過程，而這個選舉過程中的“選民”就是提名人。

在Polkadot的設計中，提名人數量在理論是可以不設置上限的，如果能夠讓更多的提名者參與到投票階段，那么參與到選舉的資金量也就越大，整個系統就更加的安全；而對于驗證者來說，為了區塊鏈的性能，不能太多，驗證者的數量由系統確定的固定值，這一點來說和POS共識是一致的。

選舉模型

為了明確選舉問題，Polkadot中將選舉驗證者集合的問題抽象為一個數學的選舉問題：

Flux Protocol與Poly Network達成深度戰略合作:據官方消息，Flux Protocol與Poly Network達成深度戰略合作。雙方在前期共同為FLUX 通證實現資產跨鏈的合作基礎上，繼續進行底層技術探索。目前雙方已共建了OEC、BSC、Heco跨鏈橋。用戶可通過基于Poly Network底層的Flux V3產品，讓資產在OKExChain、火幣生態鏈、幣安智能鏈之間實現跨鏈調倉、無損跨鏈、異鏈存借等操作。

Flux協議是由ZeroOne團隊開發的去中心化的數字加密資產抵押借貸協議。Poly Network 是異構鏈跨鏈互操作協議。[2021/9/14 23:23:38]

▲問題：m個選民對n個候選者的情況下，選出最終的t為當選者

問題的描述很簡單，但是如何做到讓系統更安全，會有不同的策略。Polkadot的設計哲學中，認為選舉策略需要滿足下面的“三大原則”：

Balance:驗證者在出塊時候的比重相同，因此該策略在Stake分配需要盡量平均，保證網絡的安全；

Support:該策略需要讓盡可能多的Stake資金參與進來。因為提名者只負責選投哪些候選者，但是對于的Stake具體分配給多少到哪個驗證者是沒有決定權的，這部分是NPOS算法通過計算來決定的。這也是NPOS和普通的POS共識中很大的不同之處；

Poly Network：約1.41億美元仍未被歸還，已進入資產復原階段:8月19日消息，Poly Network今日發布公開信，稱黑客事件已取得階段性成果，但離將資產控制權完全返還給用戶仍有一段距離。白帽先生已歸還約4.27億美元資產，目前仍有28,953枚ETH和1,032枚WBTC（約1.41億美金）被留在34多簽錢包中，仍等待白帽先生提供他的私鑰授權。約3300萬枚USDT被凍結，Poly Network正在與Tether積極溝通。Poly Network團隊正處于路線圖第三階段“項目啟動”。目前Poly Bridge已恢復至少31種資產的跨鏈功能。與此同時，Poly Network也同步進入了路線圖第四階段“資產復原”。目前包括BNB、SHIB、FEI、renBTC、UNI在內的受到本次事件影響的資產現已恢復。因為以上5種資產都是跨鏈映射資產，和其他受影響的資產在業務邏輯上沒有關聯性，因此可以優先恢復。[2021/8/19 22:24:55]

Fairrepresentation:Stake多的提名者選投的驗證人更可能出現在驗證者集合中。

基于上述的問題和要求，可以將該問題轉化為下面的數學模型：

輸入：給定，其中是Nominator集合，是Validator候選者集合，是邊的集合，表示提名者投了候選者一票。同時給定向量,表示各個提名者各自的Stake數量，是選出的最終驗證者集合的大小。

POLS、PHA于3月3日16:00上線ZG.COM波卡生態專區:據官方公告，ZG.COM于2021年3月3日10:00開放POLS、PHA的充幣與提幣業務，于3月3日16:00開啟POLS/USDT、PHA/USDT交易對。

據悉，POLS是一個為跨鏈代幣池和拍賣而構建的DEX，使項目能夠在一個基于Polkadot的去中心化和互操作的環境中籌集資金；PHA是波卡上的隱私計算平行鏈，基于類pow的經濟激勵模式，Phala釋放無數CPU中隱私算力并運用于波卡平行鏈，進而服務于波卡上的Defi、數據服務等其他應用。

ZG.COM手機APP端現已上線波卡生態專區。現已上線項目：DOT、OCEAN、AKRO、ANKR、CELR、LINK、OAX、DOCK、KEY。[2021/3/2 18:07:55]

?輸出：給定解，其中是最終選定的Validator，大小為，?是提名者分配多少Stake到最終的Validator。

限制條件：

Balance:給定，能夠給出一個?，使得最小

Support:給定，能夠給出一個?，使得最大

Fairrepresentation:proportionaljustifiedrepresentation(PJR)規則

?任意一個,都不會存在一個提名者的子集，導致出現下面的情況：

Polkadot抵押率達54.61% 萬幣收益約5DOT:麥子錢包數據顯示，截至7月17日，Polkadot已抵押467.98萬DOT，已映射855.89萬DOT，抵押率達54.61%。每萬幣日收益4.9835DOT。[2020/7/17]

用較為通俗的話來說就是不允許出現：存在某些中的提名者的stake超過了總的staking的的比重，并且他們支持的人選有交集的超過個，但是他們支持的Validator的數量入選卻沒有超過個。

上述的問題在數學上就是一個最優化問題，很可惜這個選舉在數學上已經被證明是NP完全問題，并不能在多項式時間內給出最優解。

所以Polkadot給出了自己的一套解決方案，來繞過這個難解問題。

NPOS流程

上述推導的數學模型中，由于是NP完全問題，也就是說給出最優解的計算時間復雜度是無法確定在多項式時間內的。

Polkadot給出了一個相對來說可行的方案。

不追求最優解，達到相對最優即可NP完全問題中給出可行解是很困難的，但是驗證已有解是簡單的，能在多項式時間內完全。所以驗證可行解的部分放在鏈上進行。

▲?完整的流程如下：

在提名者給出自己的投票之后，每一個候選者都可以給出自己對于上述選舉問題的一個可行解。

在上述這些可行解的集合中，利用鏈上的方案比較方案，按照之前的“三大原則”來比較這些方案，選取其中最優的方案最為最后驗證人選舉結果，這樣就完成了一輪選舉。

BABE

BABE的全稱是BlindAssignmentforBlockchainExtension，BABE是一個用來出塊的引擎，類似于OurobrosPraos，一種PoS的協議。BABE算法是基于slots的。

在Polkadot中每一個slot差不多6秒長的時間。

每個slot時間段中BABE會選出一個leader來出塊。

BABE中leader的選舉是通過一個隨機函數來實現的，在每個slot階段，每一個節點會通過運算VRF函數來獲得一個數值，如果這個數值小于網絡中預先規定好的閾值，那么節點就會認為自己就是這個時間段的leader，于是節點就開始出塊了。

值得注意的是在上述的過程中，由于VRF函數是隨機生成數字的，所以可能造成在某一slot中沒有leader或者有多個節點算出自己的VRF值小于閾值進而產生多個leader的情況。我們依次分析兩種情況：

當沒有leader產生時，Polkadot就規定按照順序來決定誰是leader，這個順序是預先確定好的。

當出現多個leader的時候，Polkadot允許多個節點都提交區塊，而最終區塊的確認則由GRANDPA來決定。

GRANDPA

GRANDPA則是用來做區塊確認的，在文章的第二部分我們有提到BABE將會對Polkadot的交易進行出塊，那么這些出塊最終就是由GRANDPA來確定的。

像其他PBFT的衍生算法一樣，GRANDPA的時間復雜度也是O(n2)。但是Polkadot之所以采用GRANDPA是因為GRANDPA并不是每次只確認一個區塊，它每一次都會確定好幾個區塊來做確認。

Idle(24peers),best:#664257(0x706c…76b7),finalized#664253(0xe4ab…4d2a)Imported#664258(0xee71…6321)Idle(24peers),best:#664258(0xee71…6321),finalized#664256(0x809a…a5d8)

上面是Polkadot測試網絡的一段日志，可以看到一次確認區塊高度從664253到了664256，所以GRANDPA一次性確認了三個區塊。這樣的話跟一次性只確認一個相比，GRANDPA的效率要比其他PBFT的衍生算法要高出很多。

▲下面介紹一下GRANDPA的具體流程：

1.一個主節點廣播之前一輪確認后的區塊高度；

2.等待網絡延遲以后，每個節點都廣播他們認為的可以被確認的最高的區塊；

3.每個節點對步驟2接受到的區塊集進行計算，算出他們認為的能夠被確認的最高區塊，并且將結果廣播出去(pre-commit)；

4.當節點接收到足夠的pre-commit的消息能夠確認區塊后就會形成commit的消息，一般認為大于2/3就可以被確認了。

上述就是GRANDPA確認區塊的主要流程。

我們需要擔心的是在步驟2的pre-vote過程中可能會有作惡的節點投票了兩個區塊并且廣播出去，這樣的話就有可能產生鏈的分叉行為。Polkadot為了防止這種情況的發生使用了一個叫做AccountSafety的方式。

如果當網絡中出現了要分叉的commit信息時，Polkadot的節點會馬上采取AccountSafety的機制。每個節點都會詢問其他節點他們所看到的pre-vote的情況，節點都會回復他們收到的信息，這樣就很容易檢查到有哪些惡意節點投了兩個區塊。最后這些被抓到的作惡節點將會被踢出共識網絡，永遠不能進入。

讓我們回到BABE，通過結合BABE和GRANDPA我們可以看到在出塊的時候Polkadot采用BABE出塊，此時節點之間只要發送一次塊信息即可，這樣的話時間復雜度僅僅是O(n)，在出塊之后節點之間再采用GRANDPA進行塊確認，此時由于確認階段節點之間要通過二次確認來保證確認塊結果的一致性，時間復雜度是O(n2)，不過由于是多個塊一次性進行確認，所以兩者結合的混合共識是非常高效的，比普通的PBFT共識要高效很多。

結語

上面三種就是我們向大家介紹的Polkadot的共識算法，可以看到NPOS主要是為了選取Polkadot的共識節點，BABE和GRANDPA通過混合來高效的進行區塊鏈的出塊和確認。

這樣的混合共識比傳統的PBFT共識速度更快，并且在速度更快的基礎上并沒有丟失掉安全性。將出塊和確認區塊兩個階段分開并且使用不同的算法是在區塊鏈共識中值得學習的地方。

通過這三種算法，Polkadot可以說在一定程度上高效的實現了Polkadot上區塊鏈的共識算法。

參考文獻：

OuroborosPraos:Anadaptively-secure,semi-synchronousproof-of-stakeblockchainBernardoDavid,PeterGaˇzi,AggelosKiayiasNovember14,2017

Tags：POLDOTPOLKPolkadotPOLL價格SDOTPolka Classicpolkadottedtie

酷幣交易所