比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

波卡發布包括多個階段的平行鏈線路圖_IME

Author:

Time:1900/1/1 0:00:00

原文:https://github.com/paritytech/polkadot/blob/master/roadmap/parachains.md

翻譯:PolkaWorld

本文是平行鏈底層核心技術的路線圖——內容關于需要哪些協議、API和代碼路徑才能完全展示一個自給自足和安全的平行鏈。本文不會涵蓋平行鏈工具包需要公開哪些API才能使用平行鏈功能?——而是僅僅介紹這些功能的實現方式,以及它們提供給驗證功能的底層API。

類別

我們將使用以下類別來描述功能:

Runtime:中繼鏈的runtime代碼,用于指定共識關鍵狀態,并更新所有全節點必須維護或執行的狀態。

網絡:用于節點相互交流并在網絡中傳輸信息的協議。

節點:部分或所有鏈下節點必須維護或執行的狀態或更新。通常與網絡組件交互,并引用runtime狀態。

子項目和功能:

本節包含了不同的子項目和構成這些子項目的功能。

基礎架構/API

對等集管理

類別:網絡

分配給平行鏈的驗證者需要一種發現并連接到整理者的方法,以便獲得新鮮的平行鏈塊進行驗證。

整理者需要發現并連接到驗證者,以便提交平行鏈區塊。

漁民需要與驗證者和核對者交談,以獲取可用數據并分發報告。

有些連接是長期存在的,有些僅用于單個請求。

波卡生態系統7支團隊成立維護社區道德規范的Polkadot聯盟:11月29日消息,據波卡DeFi平臺Acala官方博客,Polkadot生態系統的Acala、Astar、Interlay 、KILT Protocol、Moonbeam、Subscan和Phala 七支團隊宣布成立Polkadot聯盟,旨在建立和維護一套供社區遵循的道德規范。聯盟將存在于鏈上,并將在鏈上發布其對不法網站和賬戶的調查結果。但它不會有任何治理權;它的范圍不涉及Polkadot協議的其他部分。

聯盟成員由公司、項目、其他集體,甚至是Polkadot生態系統中的其他網絡組成。會員資格分為兩層:伙伴(Fellow)和盟友(Ally)。伙伴對聯盟議案擁有投票權,并進行鏈上操作。盟友是波卡聯盟的成員,沒有投票權。[2022/11/29 21:09:23]

對等集管理

類別:網絡

分配給平行鏈的驗證人需要一種發現并連接到收集人的方法,以便獲得新鮮的平行鏈區塊進行驗證。

收集人需要發現并連接到驗證人,以便提交平行鏈區塊。

釣魚人需要和驗證人和收集人交流,來獲取可用數據并分發報告。

有些連接是長期存在的,有些僅用于單個請求。

自定義libp2p子協議

波卡平行鏈涉及許多不同的網絡協議。理想情況下,我們可以將每個任務作為單獨的未來任務產生,并根據需要來通過通道與其他協議或節點代碼進行通信。這需要在Substrate和libp2p中進行更改。

波卡生態隱私保護項目Manta先行網Calamari開啟Kusama眾貸:8月30日消息,波卡生態隱私保護項目MantaNetwork先行網CalamariNetwork已開啟Kusama眾貸。Calamari表示,將以至多30%的KMA代幣分給KSM貢獻者,此外還有邀請獎勵,目前全網質押人數已超1500,質押KSM數量超過2.8萬枚,卡槽拍賣暫排第二。[2021/8/30 22:46:29]

分配

拍賣

類別:Runtime

平行鏈的拍賣和注冊。此功能已經實現,并且遵循ParachainAllocation—ResearchatW3F文檔。

平行鏈拍賣

類別:Runtime

平行線程是即付即用的平行鏈。這包括一個鏈上機制,用于解決收集人的拍賣并確保他們生成一個區塊。

平行線程的節點側部分的作用,是讓收集人實際投放出價,并被配置為在何種條件下投放出價。

驗證人分配

類別:Runtime

將驗證人分配給平行鏈。驗證人僅在短時間內分配給平行鏈。可調整的參數包括分配給每個平行鏈的時間長度和網絡知道驗證人分配的提前時間。

協議

見證循環

類別:網絡

一種黑箱網絡組件,用于在任意給定鏈的驗證人之間循環發送證明消息,以創建可在其上包含區塊的quorum。

波卡生態概念板塊今日平均跌幅為1.25%:金色財經行情顯示,波卡生態概念板塊今日平均跌幅為1.25%。26個幣種中8個上漲,18個下跌,其中領漲幣種為:KLP(+32.63%)、RING(+11.13%)、CHI(+9.46%)。領跌幣種為:DOT(-17.74%)、AKRO(-11.10%)、POLY(-9.55%)。[2021/6/11 23:31:40]

可用性糾刪碼

類別:節點/網絡

對于每個潛在的、被視為平行鏈的區塊,對區塊的PoV和傳出消息執行擦除編碼。為中繼鏈區塊調用中繼鏈上的區塊數量,此平行鏈區塊被考慮包含在?n?中。擦除碼分為n個部分,其中任何?f+1?都可以恢復。第?i?個驗證人存儲第?i?個編碼并將其提供給任何詢問者。

PoV區塊獲取

類別:網絡

一種黑箱網絡組件,用于平行鏈上的驗證人或釣魚人,以獲取證明中哈希所引用的PoV區塊,以進行驗證。當獲取“當前”PoV區塊時,這應該很快。當獲取“舊的”PoV區塊時,應該有可能并且要借助于從可用性擦除編碼中恢復。

平行線程拍賣投票

類別:節點/網絡

配置收集人在平行線程拍賣中投票的方式和時間。

收集循環

類別:節點/網絡

收集人節點的主要事件循環:

新的中繼鏈區塊B

同步新的平行鏈頭Pw.r.t.B

波卡生態概念板塊今日平均跌幅為10.22%:金色財經行情顯示,波卡生態概念板塊今日平均跌幅為10.22%。26個幣種中2個上漲,24個下跌,其中領漲幣種為:AR(+8.19%)。領跌幣種為:KLP(-19.95%)、OAX(-19.01%)、XOR(-18.43%)。[2021/6/8 23:22:03]

建立P的新子區塊

提交給驗證人

跨鏈消息傳遞

https://hackmd.io/ILoQltEISP697oMYe4HbrA?viewhttps://github.com/paritytech/polkadot/issues/597

平行鏈路線圖中最大的子項目——平行鏈之間如何發送消息。這涉及傳入消息的狀態機排序、用于獲取這些消息的協議以及用于持久保存消息的節點邏輯。

它的設計基于平行鏈之間由發送者和接收者組成的單向通道概念。在每個中繼鏈區塊,每條平行鏈有機會在其控制的每個通道上發送消息,它控制了發送部分的一半。它還將嘗試按順序在它控制的每個接收通道的一半上處理消息:在塊高“b”發送的消息,必須先于在塊高“b+1”發送的消息處理。對于在相同塊高發送的不同通道上的消息,將按照一些明確定義的順序進行處理。

這意味著,對于最近處理的消息在其接收的所有通道上的發送高度,接收段的最大高度差為1。接收段的最小已處理發送高度叫作“水印(watermark)”。在水印之前或水印高度的所有通道上發送到此段的所有消息均已處理。

波卡生態概念板塊今日平均漲幅為20.85%:金色財經行情顯示,波卡生態概念板塊今日平均漲幅為20.85%。26個幣種中25個上漲,1個下跌,其中領漲幣種為:DOCK(+67.69%)、KLP(+54.45%)、CELR(+44.96%)。領跌幣種為:INSTAR(-3.93%)。[2021/5/26 22:47:13]

終結CandidateReceipt格式

類別:Runtime/節點

CandidateReceipt?是對提交給runtime的parablock頭的包裝器。它包含對數據的加密承諾,這對于驗證或解釋parablock至關重要,包括見證數據和傳出消息數據的哈希。

CandidateReceipt?格式應根據上面提到的XCMP來終結——最重要的是,它應更改為保留以加密方式提交到每個開放通道狀態的?bitfield?和?message_root?域。

終結PovBlock格式

類別:Runtime/節點

PovBlock?或?Proof-of-Validity?區塊包含驗證parablock所需的所有數據。它將需要包含傳入的消息隊列以及潛在的傳出消息隊列。

CST更新程序

類別:Runtime

基于中繼鏈區塊中提供的?CandidateReceipt?的通道狀態表的存儲定義和更新邏輯。

CST準入證明的生成和檢查

類別:節點

中繼鏈的全節點在CST中生成項目證明的工具,輕客戶端或被裁剪的節點檢查這些證明的工具。

MQC存儲和分發協議

類別:節點

每個通道的狀態都由消息隊列鏈描述,該隊列是一個哈希鏈,其中的鏈接由“(M,b,H)”定義:最近發送的消息、先前發送的消息所在的塊高度、以及先前鏈接的哈希值。

sending?平行鏈的全節點有責任維護MQC的所有鏈接,直到并包括?b?小于?receiving?平行鏈的水印的鏈接。

該para的完整節點將知道其通道的所有MQC頭,因為它們是通過執行該塊產生的。這將需要與Cumulus團隊在API上進行協作。

我們將需要一個網絡,平行鏈的收集人可以在該網絡中發現并獲取從所有通道傳入的MQC的相關部分。

通道注冊者和經濟學

類別:Runtime

平行鏈通過存放一筆存款來打開或關閉通道的runtime邏輯。平行線程可以打開的通道數量將受到限制。

paras用于runtime邏輯通過放下存款來打開和關閉通道。parathread可以打開的通道數量將受到限制。待關閉的通道應保持打開狀態,直到接收者的水印達到關閉所要求的區塊高度為止。

釣魚/Slashing

有效性/可用性報告處理程序

類別:Runtime

在Polkadot中,惡意的平行鏈組可以強制包含無效或不可用的平行鏈區塊。釣魚人的工作是監測這些區塊并將其報告給runtime。此項與報告處理程序有關。

關于可用性/有效性的W3F研究文章提供了爭議解決過程的整體視角:可用性和有效性-W3F研究。

未解決且需要采取的主要行為之一,是在爭端解決流程斷定出現錯誤時發生的“回滾”。當我們將平行鏈區塊標記為無效或不可用時,我們需要將所有平行鏈回滾到此狀態之前的某個點。我們還需要回滾中繼鏈的狀態,因為可能已經有一條消息從平行鏈發送到中繼鏈,現在需要回滾。最簡單的方法是通過延遲向上消息來回避該問題,但這將極大地影響平行鏈參與插槽拍賣、理事會投票等的用戶體驗。假設我們無法回避這一點,我們將必須找到一種方法來回滾中繼鏈的指定狀態。

雙重投票Slash處理程序

類別:Runtime

在見證過程中,驗證人只能為給定的中繼鏈區塊提交一個“候選”消息。如果在平行鏈區塊上發布“候選”消息,則不能在該平行鏈區塊上發布“有效”或“無效”投票,因為“候選”消息是隱性有效性投票。否則,在給定的平行鏈區塊上同時進行“有效”和“無效”投票是非法的。

Runtime處理程序需要兩個相互沖突的投票作為參數,并需要對違反者進行slash。

有效性/可用性釣魚

類別:節點

驗證者也可以根據VRF可用性和有效性-W3F研究自行選擇,并采用此代碼路徑。驗證人和釣魚人將選擇平行鏈區塊進行重新驗證。在這些步驟中:

嘗試恢復PoV區塊,并退回到糾刪碼。如果不可用,則發布報告。

嘗試驗證PoV區塊。如果無效,則發布報告。

雙重投票釣魚

類別:節點

在見證過程中觀察到雙重投票的節點應向鏈提交報告以觸發Slash。

階段

該路線圖分為多個階段,相對于上一個階段來說,每個階段代表另一組的交付成果或黑箱組件上的迭代。

階段0:MVP

最初的階段——這是無slashing或跨鏈消息傳遞的平行鏈。它根本上就是注冊和驗證正常運行的PoC。

基礎架構/API:

自定義libp2p子協議

對等集管理

任務:

拍賣

平行線程拍賣

驗證人分配

協議:

證明流通

可用性糾刪碼

PoV區塊獲取

收集循環

跨鏈消息傳遞:

終結?CandidateReceipt?格式

階段1:釣魚和Slashing

此階段標志著平行鏈安全性的進步。一旦完成,平行鏈就是成熟的加密經濟學上安全的匯總基元。此階段還包括有關XCMP的實現工作,但還沒有完全啟用。

協議

可用性糾刪碼

PoV區塊獲取

釣魚/Slashing

有效性/可用性報告處理程序

雙重投票Slash處理程序

有效性/可用性釣魚

雙重投票釣魚

跨鏈消息傳遞:

終結?PoVBlock?格式。

階段2:消息傳遞

此階段標志著跨鏈消息傳遞的交付。

包括XCMP部分剩下的幾乎所有內容。

Tags:TIMEIMETIMRUNXTIMEetherdimensionShowtimeBRUN幣

狗狗幣最新價格
Filecoin掀起分叉潮 MIX集團韓衛平宣布分叉Filecoin 9月19日上線_FIL

18日下午,在鏈聞、Winkrypto主辦的世礦會-廈門站上,MIX集團董事長韓衛平表示,將分叉Filecoin。18日中午韓衛平也向吳說區塊鏈證實了這一消息.

1900/1/1 0:00:00
知名鏈上分析師:即使比特幣礦工獲利拋售,也不能阻止下一次牛市的到來_MOO

歷史數據顯示,一些礦工于7月底開始出售比特幣,這導致加密貨幣市場的拋壓增大。最終,比特幣從8月中旬開始急劇下跌,跌幅達13%,此后比特幣一直在努力收回1.2萬美元大關.

1900/1/1 0:00:00
上線12小時詐騙1439萬,挖礦時當心這些騙局_ETH

見證了DeFi的火熱,投資者或許感慨于YFI的奇跡,YFII的強勢,也有可能面對YFIII的蹩腳騙局哭笑不得.

1900/1/1 0:00:00
Bytom加入AWS Partner Network,助力 MOV 全球化布局_比特幣

比原鏈正式成為AWS全球技術合作伙伴,攜手共建MOV生態解決方案。近日,由比原鏈自主開發的主鏈和側鏈產品,已正式登陸亞馬遜云服務商店.

1900/1/1 0:00:00
UNI昨日翻倍,能否帶動市場上漲?_ETH

作者|哈希派分析團隊 Uniswap總交易量突破1.2萬億美元:12月30日消息,Uniswap發布2022年度回顧稱,該協議總交易量突破1.2萬億美元.

1900/1/1 0:00:00
北京經信局潘鋒:利用區塊鏈技術建金融專區,解決小微企業貸款難_區塊鏈

來源:新京報 9月5日,2020年中國國際服務貿易交易會正在舉行,在2020年工業互聯網高峰論壇上,北京經濟和信息化局副局長潘鋒表示,利用區塊鏈技術,把北京政府相關數據都整合在一起.

1900/1/1 0:00:00
ads