POL:Polkadot系列｜混合共識詳解

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

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

NPOS

什么是NPOS共識

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

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

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

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

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

▲驗證人

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

▲提名人

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

互操作性解決方案Nomad完成2200萬美元種子輪融資，Polychain領投:金色財經消息，互操作性解決方案Nomad完成2200萬美元種子輪融資，由Polychain領投，1kx、Ethereal、Hack VC、Circle Ventures、Amber、Archetype、Lattice、A&T Capital、 Hypersphere、Dialectic、Breyer Capital、Figment、LedgerPrime、Robot Ventures、Continue Capital、Wave Financial、Open Web Collective等參投，估值為2.25億美元。

據了解，Nomad的目標是提供安全第一的互操作性解決方案，旨在降低成本并提高跨鏈消息傳遞的安全性。與基于驗證者的跨鏈橋不同，Nomad不依賴大量外部方來驗證跨鏈通信，而是通過利用一種optimistic機制，讓用戶可以安全地發送消息和橋接資產，并保證任何觀看的人都可以標記欺詐并保護系統。[2022/4/13 14:20:43]

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

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

Polygon聯合創始人：“Web 3小白”才會覺得Solana比Polygon更具吸引力:金色財經報道，加密貨幣分析師 Spencer Noon 此前表示，許多 Web 3 用戶認為Solana 是使用次數第二多的智能合約平臺，但如果看“日活用戶”指標的話，其實Polygon表現更好。1月9日，Polygon 聯合創始人 Nailwal 做出回應并表示，“我覺得‘Solana 比 Polygon更具吸引力’的想法可能在Web 3小白用戶中更為普遍，因為他們受到了美國機構營銷的影響。”據Nailwal透露，Polygon目前擁有2,000-3,000 個活躍的開發團隊，而 Solana 只有 200-300 個活躍的開發團隊；Solana的日活用戶量大約為18萬，而Polygon日活用戶量達到了27萬。[2022/1/10 8:38:23]

選舉模型

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

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

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

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

正構建PolkaDot數據云平臺的Cere Network籌集150萬美元:金色財經報道，總部位于舊金山的Cere Network宣布完成第二輪融資，共籌集了150萬美元。Cere正在構建PolkaDot的第一個數據云平臺，其主網有望在明年第一季度啟動。[2020/12/23 16:18:32]

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

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

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

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

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

限制條件：

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

庫幣Pool-X平臺超120萬POL參與燃燒加速KTSt新幣挖礦:據庫幣KuCoin交易所消息，庫幣Pool-X平臺BurningDrop現有超120萬POL參與燃燒加速KTSt新幣挖礦。Pool-X團隊將在24日BurningDrop結束后進行POL的統一銷毀及詳情公示。Pool-X平臺于16日推出新幣挖礦升級版BurningDrop，將首次為Kratos公測代幣（KTSt）分發提供服務，用戶可通過鎖倉KCS、ATOM、ETH、BTC，參與KTSt新幣挖礦，并且能通過燃燒POL提升其加速系數。Pool-X平臺幣POL是基于波場TRC20協議發行的無任何團隊或個人預留的去中心化交易所積分。[2020/9/23]

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

Fairrepresentation:proportionaljustifiedrepresentation(PJR)規則

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

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

動態 | 以太坊開源銀行Marble推出基于Uniswap的價格預言機Polaris:以太坊開源銀行Marble推出基于去中心化交易所Uniswap的價格預言機Polaris。Marble表示Polaris通過選取Uniswap價格檢查點的中位數，使價格攻擊成本更高。價格操縱在單一交易所需的時間被延長，因而變得更加困難和昂貴。此外，Polaris采用一系列激勵措施鼓勵第三方參與者定期檢查價格，從而保持價格準確。[2019/4/2]

上述的問題在數學上就是一個最優化問題，很可惜這個選舉在數學上已經被證明是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：POLDOTPolkadotPOLKpolkawallet錢包質押DOT波卡幣未來價格polkadotted音標polkawallet切換astar

比特幣交易