POLY:Polkadot v1.0：分片和經濟安全（2）_POLYPAD

這篇文章是由Polkadot聯合創始人Robert發布的關于Polkadot分片和經濟安全的技術文章，原文篇幅較長，PolkaWorld將分四篇翻譯和發布！本篇是該文章的第二部分——介紹平行鏈如何與中繼鏈同步增長。請查閱！

第一部分：Polkadotv1.0：分片和經濟安全

提交區塊和增長平行鏈

將潛在的平行鏈塊包含到平行鏈中需要2個步驟。第一個是中繼鏈塊引用平行鏈塊以及關于其有效性的證明。下一步是檢查平行鏈所需的相應數據。

由于中繼鏈可以有短期分叉，每個平行鏈也可以有短期分叉。如果在給定高度有兩個相互競爭的中繼鏈塊A和B，并且A包含平行鏈塊P，B包含平行鏈塊P'，那么這也構成了平行鏈中的一個分叉。

Polygon社區提議將Polygon POS鏈與零知識（ZK）技術兼容:金色財經報道，以太坊擴展解決方案Polygon周二發布了一份提案前（Pre-PIP）討論帖，探討將其Polygon POS鏈與零知識（ZK）技術兼容。升級將使主鏈成為zkEVM validium ，這意味著該鏈仍將與以太坊虛擬機兼容。validium與ZK rollup略有不同，因為它們使用鏈下數據可用性模型，Polygon目前還提供ZK rollup，該rollup于3月上線。

據Polygon聯合創始人Mihailo Bjelic撰寫的博客文章，如果該提案得到Polygon社區的批準，重大升級將帶來更高的安全性，并使區塊鏈的框架更加面向未來。此外，Bjelic認為，這種升級將允許更快的交易確認，并擴展區塊鏈。[2023/6/21 21:50:35]

出于本文的目的，我們將考慮Polkadot中繼鏈狀態機的簡化版本。提醒大家一下，中繼鏈分支中的每個塊都代表從前一個狀態到下一個狀態的轉換。

Lido：由于發現影響stMATIC取款的問題，在Polygon上的質押和取款功能已暫停:金色財經報道，流動性質押協議Lido在社交媒體上發文稱，由于發現影響 stMATIC 取款的錯誤，Lido在Polygon上的質押 + 取款功能已暫時暫停以進行故障排除。所有資金都是安全的，存取款將在接下來的幾天內恢復。故障排除期間已暫停存取款。恢復正常運營的預計時間是未來幾天。

進行故障排除時，不會累積獎勵，當恢復正常運營時，將發放追溯獎勵。[2023/3/7 12:46:00]

每個塊表示從區塊鏈的先前狀態到某個新狀態的原子變化單元。賬戶余額、可用性內核、治理建議和智能合約都是區塊鏈狀態的一部分。塊通過固有的邏輯更新狀態。

加密交易平臺OKcoin已經集成Polygon PoS主網:官方消息，加密交易平臺OKcoin已經集成Polygon PoS主網，以降低提幣gas費。目前用戶可以將包括ETH、USDT、USDC、DAI在內的11種資產直接從OKcoin提幣到Polygon。[2021/6/8 23:22:21]

在構建區塊鏈時，典型的設計模式是節點收集信息并在鏈下工作，然后將工作記錄放在鏈上。例如，你可以通過相同的視角查看交易包含。節點參與鏈下八卦協議以收集新交易，然后區塊作者將其選擇的交易捆綁到一個區塊中。平行鏈的工作方式相同：大部分工作都是在鏈下進行的，但工作記錄保存在中繼鏈上，以提供共識的規范指示。

動態 | Polkadot開發公司Parity推出流式編譯器Lightbeam，優化WASM編程:跨鏈項目Polkadot開發公司Parity推出用于優化WASM的流式編譯器Lightbeam。Parity表示使用流式編譯器的主要原因是，在區塊鏈的語境中有必要嚴格限制編譯時間，因而開發Lightbeam的目標是在Wasmtime中進行初始編譯，并發揮開發框架Substrate智能合同子系統中主編譯引擎的作用[2019/6/16]

節點為發展平行鏈所做的鏈下工作涉及整理、支持和可用性。

節點監視中繼鏈的最新塊以確定它們應該做什么工作。

校對由平行鏈頭和PoV或有效性證明組成，這是檢查從前一個平行鏈頭到當前頭的轉換所需的所有數據。只有頭部才能在鏈上運行，但必須提供PoV。我們使用糾刪碼來確保PoV可用：數據被分成稱為塊的塊，每個驗證人一個塊，任何足夠大的塊子集都可以恢復完整數據。這可以防止節點脫機或謊報擁有自己的數據。

在此示例中，數據被拆分為9塊，任何4塊或更大的子集都可以恢復完整數據。當驗證人觀察到可用性內核是空的，并且在該內核上調度的平行鏈是節點被分配到的平行鏈時，它將嘗試從收集人那里收集整理并參與支持過程。新的潛在平行鏈區塊以及驗證人的證明通過八卦系統傳播。這意味著每個連接良好的節點都知道每個下一個潛在的平行鏈塊。下一個中繼鏈區塊作者監控網絡狀態并選擇一組新的平行鏈區塊以支持他們創建的中繼鏈區塊。

這是一個粗略地描述驗證人為支持過程執行的邏輯的流程圖。只要平行鏈的可用性內核為空，它們就會執行此邏輯。

該圖顯示了驗證人如何從收集人那里獲得新的平行鏈區塊，并與其他驗證人合作從指定的驗證人那里獲得足夠的支持。未分配到平行鏈的驗證人仍然會監聽證明，因為無論哪個驗證人最終成為中繼鏈塊的作者，都需要為多個平行鏈捆綁已證明的平行鏈塊并將它們放入中繼鏈塊中。

一旦平行鏈區塊在鏈上得到支持，它就開始占據可用性內核。

當驗證人觀察到可用性內核被占用時，如果它不是最初證明該塊的驗證人組的一部分，它會嘗試獲取其擦除編碼的PoV塊。否則，驗證人負責將塊分配給相應的驗證人。

可用性分布：非支持驗證人向支持驗證人請求它們的塊。一些非支持驗證人可能無法直接連接，但只要足夠，就可以了。

驗證人從需要分發它們的支持驗證人請求他們的數據塊

每個驗證人都會簽署關于它擁有哪些區塊的平行鏈區塊的聲明，并八卦這些聲明。中繼鏈區塊作者在中繼鏈中包含此類語句。一旦2/3+的驗證人表明他們擁有占據內核的平行鏈塊的塊，則認為平行鏈塊是可用的，并被正式包含為平行鏈的一部分，并且內核再次免費。

如果在一定數量的塊內沒有達到可用性，那么內核被釋放，被認為是超時并且占據內核的平行鏈塊被放棄。

總之，支持Backing和可用性協議availabilityprotocols確保當平行鏈塊被包含的時候，已經有一小部分驗證人見證了該區塊，并且至少2/3的驗證人見證了平行鏈區塊所需的PoV的可用性。從另一個角度來說，支持和可用性是利益相關，并實施問責制。下一節將討論Polkadot如何確保在沒有進行更徹底檢查的情況下，沒有任何平行鏈塊被最終確定下來。

Tags：POLPOLYOLYLYGIspolinkPolypuXPOLYPADpolygon幣價

FTX