Polkadot共識主要有三種:NPOS,BABE,GRANDPA
接下來我們對這三種共識進行逐一的解釋
NPOS
什么是NPOS共識
在Polkadot中,中繼鏈上的驗證者需要分配到各個平行鏈,為它們提供區塊鏈驗證能力,是Polkadot共享安全性的一部分,因此中繼鏈的驗證者對于整個Polkadot多鏈系統的安全性至關重要。
如何公平安全地選舉出中繼鏈上的驗證者也就成了保障整個系統共享安全性的第一步,是不可或缺的一步。
NPOS(NominatedProofofStake)共識算法就是用來選舉出能讓系統更安全,更高效的驗證者集合的。和傳統意義上的POS共識相比,NPOS算法結合了Polkadot鏈自身架構的一些特點,進行相應的優化。
下面看看NPOS是如何進行工作的。
在說明NPOS之前,我們需要先回顧一下Polkadot中重要的兩種角色。
▲驗證人
中繼鏈的全節點,中繼鏈會在驗證人池中通過隨機分組把驗證人指定給不同的平行鏈。驗證人會接受來自收集人打包的區塊并進行有效性驗證,然后結合共識算法對收集人提交的區塊進行確認。
▲提名人
Polkadot中數字貨幣DOT的持有人,它會選擇自己所信任的驗證人進行DOT質押,然后分享驗證人的收益。
Worldcoin應用程序將從Polygon遷移到Optimism的生態系統:金色財經報道,Sam Altman的加密項目Worldcoin于本周早些時候推出World App,該應用程序將從Polygon遷移到Optimism的生態系統中。World ID協議也將在OP主網上可用。[2023/5/11 14:58:07]
Polkadot的選舉模型是建立在這兩種角色基礎上的。要成為驗證人,必須先成為驗證人候選人參加選舉的過程,而這個選舉過程中的“選民”就是提名人。
在Polkadot的設計中,提名人數量在理論是可以不設置上限的,如果能夠讓更多的提名者參與到投票階段,那么參與到選舉的資金量也就越大,整個系統就更加的安全;而對于驗證者來說,為了區塊鏈的性能,不能太多,驗證者的數量由系統確定的固定值,這一點來說和POS共識是一致的。
選舉模型
為了明確選舉問題,Polkadot中將選舉驗證者集合的問題抽象為一個數學的選舉問題:
▲問題:m個選民對n個候選者的情況下,選出最終的t為當選者
問題的描述很簡單,但是如何做到讓系統更安全,會有不同的策略。Polkadot的設計哲學中,認為選舉策略需要滿足下面的“三大原則”:
Balance:驗證者在出塊時候的比重相同,因此該策略在Stake分配需要盡量平均,保證網絡的安全;
基于房地產資產的NFT平臺Metropoly完成110萬美元預售輪融資:金色財經報道,基于房地產資產的NFT平臺Metropoly宣布完成110萬美元預售輪融資,該項目將基于區塊鏈對房地產資產進行代幣化和“NFT化”,并利用NFT的流動性優勢實現更輕松的交易功能,交易數據也可在鏈上被記錄,便于對所有權進行追蹤。(thecoinrepublic)[2023/4/6 13:48:18]
Support:該策略需要讓盡可能多的Stake資金參與進來。因為提名者只負責選投哪些候選者,但是對于的Stake具體分配給多少到哪個驗證者是沒有決定權的,這部分是NPOS算法通過計算來決定的。這也是NPOS和普通的POS共識中很大的不同之處;
Fairrepresentation:Stake多的提名者選投的驗證人更可能出現在驗證者集合中。
基于上述的問題和要求,可以將該問題轉化為下面的數學模型:
輸入:給定,其中是Nominator集合,是Validator候選者集合,是邊的集合,表示提名者投了候選者一票。同時給定向量,表示各個提名者各自的Stake數量,是選出的最終驗證者集合的大小。
?輸出:給定解,其中是最終選定的Validator,大小為,?是提名者分配多少Stake到最終的Validator。
Polygon上NFTy00ts#437以75枚ETH成交:4月3日消息,據OpenSea數據顯示,北京時間4月3日10:29:45,Polygon上NFTy00ts#437以75枚ETH(約13.3萬美元)價格成交,創Polygon生態NFT項目y00ts單品成交價歷史新高。
此前報道,3月28日,原Solana生態NFT項目y00ts已向NFT持有者開放向Polygon的遷移。截止發稿前,約有1.23萬枚y00ts系列NFT遷移至Polygon,占總量的82%。[2023/4/3 13:41:57]
限制條件:
Balance:給定,能夠給出一個?,使得最小
Support:給定,能夠給出一個?,使得最大
Fairrepresentation:proportionaljustifiedrepresentation(PJR)規則
?任意一個,都不會存在一個提名者的子集,導致出現下面的情況:
用較為通俗的話來說就是不允許出現:存在某些中的提名者的stake超過了總的staking的的比重,并且他們支持的人選有交集的超過個,但是他們支持的Validator的數量入選卻沒有超過個。
BitKeep與polygon宣布達成戰略合作:據官方消息,BitKeep與polygon宣布達成戰略合作,BitKeep即將支持polygon主網及生態應用,BitKeep利用錢包自身技術和生態優勢,全力支持polygon打造DeFi市場最完整的去中心化金融生態。[2021/6/1 23:00:57]
上述的問題在數學上就是一個最優化問題,很可惜這個選舉在數學上已經被證明是NP完全問題,并不能在多項式時間內給出最優解。
所以Polkadot給出了自己的一套解決方案,來繞過這個難解問題。
NPOS流程
上述推導的數學模型中,由于是NP完全問題,也就是說給出最優解的計算時間復雜度是無法確定在多項式時間內的。
Polkadot給出了一個相對來說可行的方案。
不追求最優解,達到相對最優即可NP完全問題中給出可行解是很困難的,但是驗證已有解是簡單的,能在多項式時間內完全。所以驗證可行解的部分放在鏈上進行。
▲?完整的流程如下:
在提名者給出自己的投票之后,每一個候選者都可以給出自己對于上述選舉問題的一個可行解。
動態 | Polkadot深度研究報告:架構設想錨定痛點?對比同類項目估值過高:TokenGazer發布Polkadot深度研究報告:Polkadot 創始團隊在區塊鏈開發和運營上有著豐富的經驗,對公鏈的局限和發展方向有著深刻的理解。基于此, Polkadot 的定位也非常明確,解決伸縮性和隔離性問題。Polkadot 采用異構多鏈的架構,解決該問題——平行鏈可以滿足在期上構建應用的特定需求,中繼鏈構建基礎層對平行鏈進行協調。
Polkadot 在經濟模型上的設計也相對合理。對驗證人、提名人、收集人、釣魚人的經濟激勵使得 Polkadot 的網絡完全能夠得到有效的維護。同時,該經濟模型下 DOT 有較多的使用場景,包括跨鏈交易手續費的支付、平行連插槽租用抵押、驗證者和提名者參共識機制時的抵押、去中心化治理中的選票等——多樣性的用途能夠對 DOT 形成較為穩定的價值支撐。但對比同類項目,Polkadot 12 億美金的估值或存在一定的高估。[2019/8/16]
在上述這些可行解的集合中,利用鏈上的方案比較方案,按照之前的“三大原則”來比較這些方案,選取其中最優的方案最為最后驗證人選舉結果,這樣就完成了一輪選舉。
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
來源:鏈新 全國金融標準化技術委員會官網披露的信息顯示,2020年6月22日至7月3日,國際電信聯盟電信標準化部門第十六研究組全會在線上召開.
1900/1/1 0:00:00經過黑色一星期,Defi流動性挖礦經歷過瘋狂又回歸清醒,二級市場已從FOMO走向恐慌情緒,創始人跑路,代幣歸零,各色讓人忍俊不禁的項目齊上陣,很多人對Defi還不甚了解就被市場泡沫卷入其中.
1900/1/1 0:00:00DAI、QIAN、iDOL,誰能做到更穩定?6月初寫過一篇穩定幣的文章,對Maker、Kava和Acala三個項目的穩定幣模式進行了對比.
1900/1/1 0:00:00今天幣圈的熱點屬于Uniswap,毫無爭議。在SushiSwap及其效仿者圍堵之下,Uniswap不再忍氣吞聲,終于發行了自己的代幣UNI.
1900/1/1 0:00:00轉自: 藍狐筆記 昨天Uniswap的流動性跌去超過70%,回歸到SushiSwap誕生前差不多的規模,大約不到5億美元,而SushiSwap則“撬動”超過10億美元以上的流動性.
1900/1/1 0:00:009月17日早間8點,Uniswap推特發布消息稱,其協議治理代幣UNI已在以太坊主網上發布,并將于UTC9月18日上午12:00開啟初始流動性挖礦.
1900/1/1 0:00:00