Polkadot共識主要有三種:NPOS,BABE,GRANDPA
接下來我們對這三種共識進行逐一的解釋
NPOS
什么是NPOS共識
在Polkadot中,中繼鏈上的驗證者需要分配到各個平行鏈,為它們提供區塊鏈驗證能力,是Polkadot共享安全性的一部分,因此中繼鏈的驗證者對于整個Polkadot多鏈系統的安全性至關重要。
如何公平安全地選舉出中繼鏈上的驗證者也就成了保障整個系統共享安全性的第一步,是不可或缺的一步。
NPOS(NominatedProofofStake)共識算法就是用來選舉出能讓系統更安全,更高效的驗證者集合的。和傳統意義上的POS共識相比,NPOS算法結合了Polkadot鏈自身架構的一些特點,進行相應的優化。
下面看看NPOS是如何進行工作的。
在說明NPOS之前,我們需要先回顧一下Polkadot中重要的兩種角色。
▲驗證人
中繼鏈的全節點,中繼鏈會在驗證人池中通過隨機分組把驗證人指定給不同的平行鏈。驗證人會接受來自收集人打包的區塊并進行有效性驗證,然后結合共識算法對收集人提交的區塊進行確認。
▲提名人
Polkadot中數字貨幣DOT的持有人,它會選擇自己所信任的驗證人進行DOT質押,然后分享驗證人的收益。
Polygon與Ready Games合作推出Web3手游SDK:金色財經報道,PolygonLabs與Ready Games合作推出了一款用于移動web3游戲的軟件開發工具包。Layer2 Ethereum擴展協議將整合Ready Games web3游戲技術堆棧,使開發人員能夠構建移動web3游戲。
根據公告,Web3移動游戲開發套件將通過基于EVM的dApp Store套件提供。這將使移動游戲制造商能夠將web3元素集成到他們的游戲中,而不會影響其可用性。[2023/6/18 21:44:39]
Polkadot的選舉模型是建立在這兩種角色基礎上的。要成為驗證人,必須先成為驗證人候選人參加選舉的過程,而這個選舉過程中的“選民”就是提名人。
在Polkadot的設計中,提名人數量在理論是可以不設置上限的,如果能夠讓更多的提名者參與到投票階段,那么參與到選舉的資金量也就越大,整個系統就更加的安全;而對于驗證者來說,為了區塊鏈的性能,不能太多,驗證者的數量由系統確定的固定值,這一點來說和POS共識是一致的。
選舉模型
為了明確選舉問題,Polkadot中將選舉驗證者集合的問題抽象為一個數學的選舉問題:
▲問題:m個選民對n個候選者的情況下,選出最終的t為當選者
問題的描述很簡單,但是如何做到讓系統更安全,會有不同的策略。Polkadot的設計哲學中,認為選舉策略需要滿足下面的“三大原則”:
OpenSea八月Polygon鏈上交易額達到5170萬 創歷史新高:金色財經報道,OpenSea自年初在Polygon區塊鏈上完成NFT市場部署后交易額一直在上升,據最新數據顯示,八月份Polygon鏈上交易額達到5170萬美元創歷史新高。另外,在Polygon區塊鏈上的買賣過一個NFT的OpenSea錢包數量達到19萬個,其中85.5%旨在Polygon區塊鏈上進行NFT交易。
值得注意的是,OpenSea在Polygon區塊鏈上77%的NFT銷售金額低于100美元,意味著NFT可訪問性得到較大提升。目前OpenSea平臺在Polygon鏈上三個交易量最大的NFT項目分別是Zed Run(2.9萬ETH)、MyCryptoHeroes(2.71萬ETH)和Decentraland Wearables(2.26萬ETH)。[2021/9/14 23:23:18]
Balance:驗證者在出塊時候的比重相同,因此該策略在Stake分配需要盡量平均,保證網絡的安全;
Support:該策略需要讓盡可能多的Stake資金參與進來。因為提名者只負責選投哪些候選者,但是對于的Stake具體分配給多少到哪個驗證者是沒有決定權的,這部分是NPOS算法通過計算來決定的。這也是NPOS和普通的POS共識中很大的不同之處;
Fairrepresentation:Stake多的提名者選投的驗證人更可能出現在驗證者集合中。
Polygon推出新部門Polygon Studios,專注于區塊鏈游戲及NFT領域:7月20日消息,以太坊擴展方案Polygon推出新工作室Polygon Studios,推進其區塊鏈游戲和NFT工作。新成立的Polygon Studios有三個核心目標:1.確立Polygon在去中心化游戲領域的領導者地位;2.創造一個能夠吸引開發者和投資者進入其NFT生態系統的品牌;3.幫助將Polygon定位為過渡到Web3.0的首選平臺。通過Polygon Gaming Studio的項目,該公司旨在幫助開發者創造和運營去中心化游戲。另一個項目Polygon NFT Studio旨在幫助品牌和知識產權所有者推出定制的數字收藏品和市場。[2021/7/20 1:04:07]
基于上述的問題和要求,可以將該問題轉化為下面的數學模型:
輸入:給定,其中是Nominator集合,是Validator候選者集合,是邊的集合,表示提名者投了候選者一票。同時給定向量,表示各個提名者各自的Stake數量,是選出的最終驗證者集合的大小。
?輸出:給定解,其中是最終選定的Validator,大小為,?是提名者分配多少Stake到最終的Validator。
限制條件:
Balance:給定,能夠給出一個?,使得最小
歐易OKEx目前已經集成Polygon網絡:官方消息,歐易OKEx目前已經集成Polygon網絡,歐易OKEx用戶現在可以快速輕松地在歐易OKEx和Polygon網絡之間轉移資金。[2021/6/9 23:25:29]
Support:給定,能夠給出一個?,使得最大
Fairrepresentation:proportionaljustifiedrepresentation(PJR)規則
?任意一個,都不會存在一個提名者的子集,導致出現下面的情況:
用較為通俗的話來說就是不允許出現:存在某些中的提名者的stake超過了總的staking的的比重,并且他們支持的人選有交集的超過個,但是他們支持的Validator的數量入選卻沒有超過個。
上述的問題在數學上就是一個最優化問題,很可惜這個選舉在數學上已經被證明是NP完全問題,并不能在多項式時間內給出最優解。
所以Polkadot給出了自己的一套解決方案,來繞過這個難解問題。
NPOS流程
上述推導的數學模型中,由于是NP完全問題,也就是說給出最優解的計算時間復雜度是無法確定在多項式時間內的。
動態 | 加密貨幣交易所Poloniex網站暫時進入維護模式:加密貨幣交易所Poloniex官方發推稱:網站已暫時進入維護模式,預計不久將以“只掛單(post-only)”模式重新開放市場。官方將保持推文更新。[2019/8/18]
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:POLDOTPOLKPolkadotPolkaDogebdot幣最新消息polkawallet錢包創建教程polkadot哪里買
今年以來,數字貨幣的推行進程不斷加速,近期緊鑼密鼓的試點信號似乎已經為數字貨幣面世吹響前奏。作為數字貨幣“4+1”試點計劃之一的深圳正在有序地開展數字貨幣內部測試工作.
1900/1/1 0:00:00本文來源:未央網 作者:張晨宇,中國建設銀行合肥電子銀行業務中心個人商城運營團隊消費扶貧是打贏脫貧攻堅戰,助力鄉村振興的新引擎,也是當前扶貧工作開展的重點之一.
1900/1/1 0:00:00摘要:歐盟副主席不希望排除加密貨幣;德國規范比特幣ATM機;Sushiswap完成遷移;PlusToken骨干成員被公訴;深圳市四大行部分員工收到數字貨幣內測邀請碼.
1900/1/1 0:00:00作者:IanLee,IDEOCoLabVentures董事總經理編譯:PerryWang我最近與很多項目創始人和投資人討論過?DeFi分叉的潛在影響以及如何設計防分叉的協議.
1900/1/1 0:00:00DeFi熱仍在繼續。 截至發稿時,根據Debank數據顯示,DeFi總鎖倉量達128.08億美元,上線僅7天的Sushiswap鎖倉量已達15.14億美元.
1900/1/1 0:00:00太空競賽1的亮點 在過去的3周中,社區中的礦工一直在參加Filecoin太空競賽,以盡可能多地為測試網配備存儲設備。我們對參與太空競賽的驚人參與度感到興奮.
1900/1/1 0:00:00