比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > FTX > Info

Polkadot的跨鏈消息傳遞方案(XCMP)_CMP

Author:

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

編者按:本文來自PolkaWorld,作者:FatemehShirazi、LoganSaether、AlistairStewart、RobHabermier、GavinWood,Odaily星球日報經授權轉載。

最近幾個月,Web3基金會的研究團隊一直在做跨鏈消息傳遞功能的文字概述。它是Web3基金會王牌項目Polkadot的關鍵組件。我們很高興與您分享我們的工作!跨鏈消息傳遞方案是Polkadot協議的一個子集。它定義了在除了共享中繼鏈的安全性之外沒有其他的信任假設的情況下,消息如何得以在平行鏈之間傳遞。這篇文章闡述了平行鏈的消息傳遞協議,并在很大程度上依賴于Polkadot獨特的中繼鏈體系結構和設計。協議包括:就共識而言:消息的排隊和排序機制。與中繼鏈的其他部分結合,特別是GRANDPA的最終確定機制:數據可用性。與平行鏈驗證功能結合使用:消息輸入和輸出。此外,本文還回顧了交付、如何實現一致的歷史記錄以及防止DoS攻擊的想法。最后,我們結合SPREE回顧了XCMP,并總結了XCMP所實現的特性來結尾。消息語義和網絡細節在本文中沒有提到。介紹

Polkadot“1.0版”的一個關鍵特性,是讓原本隔離的平行鏈以安全和去信任的方式在彼此之間發送消息。出于此目的,我們定義message的方式與定義transaction的方式基本相同。兩者都是指來自接收鏈以外的數據,而且都暗示并要求鏈按照其內部邏輯對數據做出反應。考慮到實際系統的延遲水平,鏈不能拒絕或混淆數據的含義。例如,在比特幣的語境中,這種屬性意味著比特幣中的有缺陷或惡意的礦工不能重新分配資金,因此這是一個好的加密經濟共識系統的基礎。transaction和message之間的關鍵區別在于,transaction包含一個簽名,以證明數據的出處。而對于message,出處僅通過Polkadot的抗拜占庭加密經濟驗證基礎設施來證明,在很大程度上跟以太坊合約間消息傳遞的方式是一樣的。例子

Polygon:預計未來MATIC將用于Polygon zkEVM中的質押和治理:金色財經報道,Polygon在其官方文檔更新Polygon zkEVM主網相關事項。文中指出Polygon zkEVM主網將不會發行單獨的Token,ETH將用于支付網絡gas費,預計未來MATIC將用于Polygon zkEVM中的質押和治理。此外,由于Polygon zkEVM通過ERC-4337支持帳戶抽象,這將允許用戶使用任何Token支付費用。[2023/3/30 13:35:00]

在詳細討論XCMP的每個組件之前,讓我們先舉一個例子,說明如何將某智能合約平行鏈上的出站消息連接到某分布式金融平行鏈的入站隊列,以便從DeFi平行鏈的收集人進入下一個候選區塊。在中繼鏈300區塊高度,智能合約平行鏈發起針對“32”的端點的消息,該端點是DeFi平行鏈的平行鏈ID。消息將首先包含在智能合約平行鏈的出站或出站隊列中。智能合約平行鏈的所有節點將開始在網絡中對消息進行八卦。如果智能合約鏈中的某些節點也是DeFi鏈的完整節點,并且這些節點通過轉發消息來充當兩個八卦網絡之間的粘合劑。如果不存在需要遍歷的網絡共享節點,則調用回退機制。一旦消息到達DeFi平行鏈的收集人,它們就會接收此消息并將其輸入入站或入口隊列,以便在其下一個候選塊中進行處理。

QiDao團隊將Stablecoin MAI添加至Polygon網絡Aave V3的提案已獲通過:8月29日消息,Polygon 原生 Stablecoin 協議 QiDao Protocol 團隊于 Aave 社區發起將 QiDao 推出的 Stablecoin MAI 添加到 Polygon 上的 Aave V3 的提案已獲通過,該提案建議風險參數設置為 75% 的貸款利率、80% 的清算門檻、10% 的儲備系數、每條鏈 200 萬美元的初始債務上限。[2022/8/29 12:54:58]

圖1:顯示了兩個平行鏈A和B對應的收集人和全節點。有兩個節點同時是平行鏈A網絡和平行鏈B網絡的全節點。DeFi平行鏈上的收集人將產生中繼鏈區塊301的候選塊。此候選塊將要求證明它從A的塊上執行的消息是正確的消息。中繼鏈塊300包含A中區塊的平行鏈區塊頭,也就是包括可用于認證消息的消息根散列的少量數據。此候選塊將包括中繼鏈輕客戶端證明,證明此消息根位于中繼鏈中,并將此證明與發送鏈發送的消息一起組合。DeFi平行鏈的平行鏈驗證人將能夠使用這些證明,來驗證來自DeFi平行鏈的提議候選塊的完整性。隨后,智能合約鏈的原始消息被包含在了DeFi平行鏈中,無需額外的節點提供安全性,并依賴于來自Polkadot的共享安全。排隊和排序消息

Polkadot中的每個平行鏈的區塊都可能生成一個空的消息列表發送到其他塊。這些列表被稱為出口隊列。一旦消息被發送,它就進入平行鏈的入口隊列。平行鏈必須按順序處理入口列表。一個收集人或驗證人試圖為某個平行鏈的出口隊列收集消息,它調用該平行鏈的入口,并在傳播池中搜索相關消息,等待尚未被八卦的消息。傳遞消息假設每個平行鏈都有一個全節點的連接網絡。我們假設每個完整節點都知道系統中其他完整節點的子集,我們稱之為相鄰節點。請注意,我們對這些網絡的拓撲結構和直徑沒有任何假設。發送消息的最簡單方法是使用八卦協議。回想一下,同齡人之間經常就他們對當前假期的看法進行交流。為了實現更高效的傳遞,未發送的消息只會被傳遞到具有相同視圖的相鄰節點。如果這兩個網絡之間有共同的節點,消息將從一個平行鏈網絡傳播到另一個平行鏈網絡。

美聯社將在Polygon上推出NFT平臺:金色財經報道,根據美聯社 1 月 10 日發布公告,他們將于 1 月 31 日上線一個 NFT 市場,該 NFT 市場由區塊鏈即服務公司 Xooa 支持建設,并在 Polygon 上鑄造 NFT。

據悉,美聯社將在該平臺上發布多個主題系列的 NFT,包括太空、氣候和戰爭,相關內容均為美聯社攝影師的作品,每個 NFT 中都會包含詳細的元數據,比如照片拍攝時間、日期、位置、設備和技術設置等。[2022/1/11 8:39:54]

圖2:顯示了由八卦完成的消息傳遞過程。我們假設這條消息是由粉色collator發出的,它產生了最新的平行鏈區塊。回滾傳遞但是,如果接收方的平行鏈驗證者意識到消息沒有在接收平行鏈中被八卦,那么它們會從發送平行鏈的平行鏈驗證者請求消息。一旦收到這些信息,他們就會在接收平行鏈網絡中對這些信息進行八卦。

圖3:顯示當發送和接收平行鏈不共享任何全節點時的回滾傳遞。回滾傳遞機制如圖3所示,我們假設平行鏈A希望向平行鏈C發送消息,而平行鏈C沒有跟A共用的全節點。一旦平行鏈C的平行鏈驗證人注意到消息尚未到達,它們就會向發送平行鏈驗證人發出請求,后者負責保存來自其平行鏈的出口消息。一旦對請求的響應到達,平行鏈C的驗證人就會在平行鏈C中八卦消息。獲得一致的歷史記錄我們希望從XCMP獲得的一個關鍵特性是規范平行鏈區塊,即那些我們最終認可它已經發生的平行鏈區塊。這意味著,在當前的平行鏈區塊中,只對那些從平行鏈區塊發送的消息起作用,這些平行鏈區塊本身既規范又早于當前平行鏈區塊。中繼鏈定義了所有平行鏈的歷史記錄。例如,來自平行鏈B的區塊頭在中繼鏈區塊301中,可以說其作用于區塊300之前的所有消息。如果作用于區塊300之前的所有消息,那就作用于平行鏈A的區塊發送的消息,并且僅當A平行鏈區塊頭出現在中繼鏈300區塊或更早的時候才會起作用。這意味著中繼鏈需要在驗證消息方面發揮作用。然而,由于我們不能在這些平行鏈區塊頭中放置大量數據,中繼鏈本身不應該具有消息的有效負載。相反,我們通過使用嵌套的Merkle樹來有效地保持一致的歷史。對應于已發送消息的平行鏈區塊頭將包含一個消息根哈希,即Merkle樹的根。反過來,這個Merkle樹的葉子是從這個平行鏈到另一個平行鏈的消息散列鏈的區塊頭。這意味著有一個包含每個消息哈希的哈希序列,讓從一個平行鏈到另一個平行鏈的所有已發送消息得以驗證。這允許收集人通過首先顯示消息根在中繼鏈中,然后證明這些是來自消息根哈希的消息,從而構造一個由許多散列組成的證據,證明它們對消息起作用,并且只對它們應該起作用的消息起作用。有關此主題的詳細信息,請參見:https://research.web3.foundation/en/latest/polkadot/XCMP.html輸入和輸出驗證回想一下,Polkadot由一條中繼鏈和多條平行鏈組成。平行鏈區塊頭包含傳出消息的消息根。為了在基于特定中繼鏈塊的平行鏈上生成平行鏈塊,收集人需要查看在該中繼鏈塊和包括該平行鏈的最后一個平行鏈區塊頭的中繼鏈之間構建了哪些平行鏈頭。對于這些消息,平行鏈需要作用于相應的消息數據。

Harris Poll調查:美國少數族裔社區正在投資加密貨幣以逃避金融歧視:Harris Poll向《今日美國》提供的一項調查發現,黑人、西班牙裔和LGBTQ美國人更有可能擁有加密資產。根據6月和7月對2,010和2,003名美國成年人進行的調查,23%的美國黑人和17%的西班牙裔美國人表示他們目前投資于數字資產,而美國白人的這一比例僅為11%,普通美國民眾的這一比例為13%。25%的LGBTQ受訪者也表示他們持有加密貨幣。少數群體對加密貨幣的認識也更高,一半的美國黑人、西班牙裔美國人和亞裔美國人表示熟悉加密貨幣,而只有37%的美國白人回答相同。調查還發現,43%的美國黑人認為他們沒有得到銀行業和貸款業的公平對待,39%的LGBTQ受訪者也認同這一觀點。相比之下,28%的公眾表示他們受到了金融部門的不公平對待。(Cointelegraph)[2021/8/17 22:19:10]

圖4:顯示了在第0、1、2輪中為三個平行鏈A、B、C構建的平行鏈塊,以及在這些平行鏈中每輪發送的消息。鏈狀態轉換驗證函數使用驗證函數來驗證輸入消息是否被執行。驗證函數是WebAssembly的一部分,它檢查平行鏈的狀態轉換是否實際有效。它將平行鏈的新狀態和一組輸出消息與平行鏈的先前狀態摘要、平行鏈塊數據和一組從其他平行鏈或由中繼鏈準確地路由過來的輸入消息相關聯。圖4顯示了一個示例,其中為第0、1、2輪顯示了三個平行鏈A、B和C之間生成的平行鏈塊和消息。假設平行鏈B在第0輪中不產生任何平行鏈塊,平行鏈C在第1輪中不產生平行鏈塊。在第1輪中產生的平行鏈塊B1需要將消息m1作為輸入消息,并通過在第1輪發送消息m3來回復平行鏈A。在第2輪中生成的平行鏈塊C1需要在其未處理的入口隊列中獲取消息m2和m4。消息的可用性一旦消息被包含在出口隊列中,它們就由收集人和發送平行鏈的全節點保存。當發送平行鏈塊的頭包含在中繼鏈中時,平行鏈驗證人也將保留消息。接收平行鏈的收集人和全節點還需要知道平行鏈之間發送的消息的有效負載。所有需要知道消息存在的其他實體只能存儲散列,這些散列可以用來驗證消息。為了保證可用性,我們要求所有驗證人持有可恢復任何平行鏈消息的糾刪碼片段。這些糾刪碼片段由發送平行鏈的平行鏈驗證者生成和分發。其中1/3的糾刪碼片段足以恢復所有消息。最終確認要求投票人收到這些糾刪碼片段,否則他們將因投票而受到懲罰。因此,最終確認時必須有2/3的糾刪碼片段可用;由此我們可以保證最終消息也可用。防止DoS攻擊注意,XCMP的目的不是規定消息的標準格式。但是,每個平行鏈通過它發送給另一個平行鏈消息的總大小有一個限制。此外,八卦協議使用邊界傳遞來避免較大的信息。對于不經常將塊放入中繼鏈中的平行線程,未處理的消息隊列可能會大幅增長。為了限制這一點,發送平行鏈將為此鏈維護一個具有大小限制的出口隊列。只有當它知道舊消息已經收到時才能刪除它們。接收鏈發布一個水印,說明它在這個平行鏈的區塊中處理了多少區塊。發送鏈可以使用此水印來精簡其出口隊列。此外,我們計劃讓接收平行鏈能夠阻止另一個平行鏈發送消息。平行線程還可以禁用XCMP函數,以避免處理大量消息。XCMP和SPREESPREE是類似于runtime模塊的邏輯片段,但它們位于中繼鏈上,可以由平行鏈選擇其功能。這些邏輯片段是通過治理機制或平行鏈上傳到Polkadot的WebAssembly代碼塊。一旦這些邏輯片段上傳到Polkadot,所有其他平行鏈都可以決定選擇加入該邏輯。SPREE模塊將獨立于平行鏈保留自己的存儲,但可以通過與平行鏈的接口調用。平行鏈將同步向SPREE模塊發送消息。有關SPREE的更多信息,請參閱其wiki文章:https://wiki.polkadot.network/docs/en/learn-spree。這些邏輯片段可以將XCMP消息尋址到SPREE模塊,并保證在對該消息執行操作時,它將使用來自該SPREE模塊的與任何其他平行鏈相同的代碼。SPREE模塊對于整個XCMP體系結構非常重要,因為它們提供了在目標平行鏈上執行代碼的特定解釋的保證。雖然XCMP保證消息的傳遞,但它并不保證執行代碼,即接收平行鏈將如何解釋消息。對SPREE模塊的代碼更新將與平行鏈同步進行。除了安全性方面的好處之外,這意味著不需要跨多個平行鏈協調更新就可以更改消息格式。總之,雖然XCMP完成了去信任消息傳遞,但是SPREE是對消息的去信任解釋也是XCMP有用性的關鍵部分。發送到SPREE模塊的XCMP消息,使調度消息的開發人員和用戶能夠清楚地知道如何處理消息。XCMP屬性總結XCMP方案可以實現以下屬性:去信任性:由于同一組驗證人在保證正確消息傳遞的同時確保一個平行鏈與另一個平行鏈的安全,XCMP所需的信任不超過單個區塊鏈所需的信任。一致性:我們提供了絕對的保證,即接收到的消息與發送的消息完全一致,即使有任何鏈重組。有效性:Polkadot保證消息不會丟失并保持可用。這是通過分發可用于重建消息的糾刪碼片段來實現的。保持正確的序列:通過輸入/輸出驗證,可以保證保持平行鏈塊輸出消息的正確順序。效率:這個協議避免了太多的帶寬占用,并讓消息盡快到達。

動態 | Poloniex承諾彌補受5月CLAM閃崩影響的投資者損失 用戶對其表示不滿:據Cointelegraph報道,Poloniex此前承諾彌補受CLAM閃崩影響的投資者損失,用戶對其方式表示不滿,有用戶聲稱交易所竊取其資金,因在崩盤當天沒有活躍的保證金貸款。律師David Silver稱,在美國將損失社會化是非法的,Poloniex的做法可能會導致法律戰。Poloniex的貸款本質上是點對點的。這可能會為潛在的法律戰增加新維度,因美國等發達市場有P2P貸款法規。但該交易所表示不向美國用戶提供保證金交易。[2019/8/25]

Tags:POLCMPPOLKSPRpolkadotted讀音CMP幣polkawallet錢包質押Spray Finance

FTX
比特幣哈希率創歷史新高的背后,礦工們將何去何從?_ERA

編者按:本文來自鏈內參,作者:內參君,Odaily星球日報經授權轉載。大家都預期比特幣價格在新的一年里將上漲,并且最近以比特幣為主的加密貨幣走勢也似乎正認證著這一點.

1900/1/1 0:00:00
美國千禧一代選擇對比特幣的投資可能發生根本變化_COIN

編者按:本文來自LongHash區塊鏈資訊,作者:JamesGong,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
先睹為快,以太坊2.0存款合約界面流出_LUNA

本文來自Trustnodes,Odaily星球日報譯者|Moni 最近,以太坊2.0存款流程“不小心”提前流出了.

1900/1/1 0:00:00
區塊鏈市場分布式辦公的行業百態_NDR

困難時常有,但中國有句老話“方法總比困難多”。也許你在家的日子苦悶無趣,也許你總會感到恐慌害怕,但生活總要繼續,國家經濟也需要我們的一份綿薄之力。我們應該拋開驚恐,積極面對人生.

1900/1/1 0:00:00
中央一號文件點名區塊鏈:產業區塊鏈一周要聞_數字貨幣

物資哪去了?武漢紅會回答不了的問題,區塊鏈可以區塊鏈技術能夠幫助信息透明化;物聯網對醫療物資流動路徑進行跟蹤.

1900/1/1 0:00:00
7次談比特幣,美國華裔總統候選人楊安澤曾說了些啥_比特幣

Odaily星球日報譯者|Moni 最近,美國華裔總統候選人楊安澤再一次分享了自己對比特幣的看法。在接受彭博社編輯喬?魏森塔爾采訪時,楊安澤表示美國加密法規存在缺陷,而且許多州法規也不利于創新.

1900/1/1 0:00:00
ads