干貨 | 以太坊分片：overview and finality_COL:LAT

原地址：https://medium.com/@icebearhww/ethereum-sharding-and-finality-65248951f649

在EthereumCasper101中，JonChoi對Casper做了一個很棒很清晰的綜述，并解釋了為什么顯式最終確定性對于可擴展性大有裨益。本文旨在給出一個以太坊分片的設計概覽，并闡釋顯式最終確定性如何有助于區塊鏈分片。為了完全理解以太坊分片機制提案的技術規范，我強烈推薦深入研究Vitalik寫的shardingdoc.區塊鏈可擴展性問題

不斷增長的交易。目前的塊生成過程導致可擴展性受限。區塊的gaslimit束縛了區塊的計算容量。無論是提高區塊的gas上限，還是大大降低區塊時間，都會導致高陳腐率，并削弱網絡對抗攻擊的能力。并行不足。首先，現有的EVM按先后順序依次處理交易。其次，出于安全和去中心化的考慮，每個全節點會執行每一筆交易，并存儲整個的狀態樹。進階閱讀：并行執行交易EIP648?—?Easyparallelizability術語

首先，讓我們來看一下在主鏈和分片鏈上不同層次的對象區別：

-表格1.術語-可以簡單地這么認為，交易都會被裝入“collation”。與區塊類似，一個collation也會指向它在鏈上的parentcollation。成為一個“collator”，就意味著你有資格在POS分片鏈上提名一個新的collation。

Balancer宣布將其技術部署到Avalanche鏈上:金色財經報道，Balancer在社交媒體上稱，正在將其技術部署到Avalanche鏈上，以推動Liquid Staked代幣的增長，并為參與者提供獨特靈活的DeFi技術堆棧。

Balancer表示，與DEX為LST實施的典型穩定池相比，Balancer的可組合穩定池以編程方式定制，以確保Yield Bearing代幣的全部權力流向流動性提供者。這些獨特的池利用內置的利率提供者，不斷查詢區塊鏈，將代幣更新為正確的比率，并將應計收益反饋給有限合伙人。Balancers加權數學還為所有協議提供了在 Avalanche 上實施#ve8020的能力。允許協議建立原生代幣流動性，減輕唯利是圖的激勵計劃，并解鎖治理代幣經濟的下一階段。[2023/8/2 16:12:48]

-圖片1.Collation基本數據結構一瞥-基本的二次分片

分片鏈的共識依賴于主鏈

與側鏈類似，collation只有一小部分的證明必須記錄在主鏈上--這也是我們如何擴展區塊鏈的基本想法：分片鏈上的交易處于自己獨立的空間中，分片驗證人只需要驗證他們所關注的分片。分片鏈也通過POS機制依附于主鏈，以獲得更高層次的共識。驗證人管理員合約

野村預計加密貨幣子公司兩年內將實現盈利:金色財經報道，由于FTX加密貨幣交易平臺的破產刺激了對數字資產領域更安全交易對手的需求，野村控股(NMR.US)計劃在兩年內推動其加密貨幣部門實現盈利。野村控股數字資產子公司Laser Digital首席執行官Jez Mohideen表示，Laser Digital將利用野村位于東京的投資銀行的支持，爭取機構投資者，并計劃在3月前增加50名員工。他表示，現在更容易聘請到人才和以較低的估值收購資產，并補充道，該公司已經加強了風險管理。

據了解，野村于9月推出了其數字資產部門，這是作為一家全球金融公司迄今為止在該領域采取最大膽的舉措之一，因為當時加密貨幣市場深陷崩潰，并且上個月FTX的破產加劇了這一頹勢。[2022/12/8 21:30:33]

為了將分片鏈加入到主鏈中，在主鏈上需要有一個叫做驗證人管理員合約的特殊合約。VMC是這個分片機制的核心。VMC的目的可以概括如下：權益證明系統。如果驗證者表現不端，其權益將會被剝削。偽隨機采樣。通過將當前塊哈希作為種子，采樣出合格的collator。基本上，驗證者將它們的保證金存入VMC，然后他們的驗證代碼地址將會被記錄在一個VMC內部的全局驗證人列表。系統將會從驗證人列表中采樣出一個分片鏈的驗證人，并將其指定為指定“時期”內，指定分片的驗證人。這種方式使得驗證者無法提前預測他們何時會成為驗證者，也無法預測會成為哪個分片的驗證人。Collationheader驗證。VMC有一個addHeader(bytescollationHeader)函數，該函數用=來驗證collationheader，并記錄有效的collationheaderhash。這個函數提供了即時的鏈上驗證。跨分片通信。利用UTXO模型，并通過在主鏈上進行交易和創建一個receipt，用戶可以將以太存入一個指定分片。分片鏈上的用戶可以給定receiptID創建一個消費receipt的交易，來花費該receipt。鏈上治理。將VMC作為議會，使得驗證人可以在鏈上進行投票。如何在分片內提名Collation？

幣安啟動“全球執法培訓項目”以打擊加密資產犯罪:金色財經報道，加密貨幣交易所幣安（Binance）周二表示，該交易所已啟動一項專門的計劃，以“幫助執法部門偵查金融和網絡犯罪”。幣安表示，新的“全球執法培訓項目”旨在“協助起訴利用數字資產的不良行為者”。該公司表示，自2021年11月以來，其由安全專家和前特工組成的幣安調查團隊已響應了27,000多項執法請求。（Forkast）[2022/9/28 22:37:30]

在階段1，VMC將會維護100個分片。每個分片并行執行，分片i的客戶端只需要驗證分片i上的交易。“時期”被定義為一個區塊時間的準備窗口，比如PERIOD_LENGTH=5意味著每個周期有5個塊。這表明在每個周期內，對于每個分片只有不超過1個有效的collation。

-圖片2(a).二次分片。分片狀態的證明將被記錄在主鏈VMC上。-一旦驗證人被采樣為合格的collator來提案一個新的collation，collator必須對最近的collation進行驗證，并發送一筆交易來調用addHeader函數。注意，如果collator周期10被采樣到提交一個新的collation，這意味著addHeader交易必須被包含在周期10里面，也就是說，交易必須在區塊號10*PERIOD_LENGTH到區塊號(10+1)*PERIOD_LENGTH-1之間.

Kraken CEO：沒有計劃在美國SEC進行注冊:9月23日消息，Kraken新任CEO Dave Ripley表示，沒有計劃下架被美國SEC標記為證券的代幣，也沒有計劃在SEC注冊為市場中介。（路透社）[2022/9/23 7:16:56]

-圖片2(b).對于一個片來說，一個period只有一個collation；一個區塊可以包含不同片的多個addHeader交易-collationheaderhash必須被記錄在VMC上，以證明它的header全局有效。此外，分片的所有其他驗證人必須時刻檢測VMC以獲得最新狀態，然后驗證交易是否也有效。分片鏈的分叉選擇規則

在基本分片中，分叉選擇規則依賴于最長主鏈。給定一個分片，它的有效headcollation不是簡單的“最長有效分片鏈”的headcollation，而是“在最長有效主鏈里面的最長有效分片鏈”。Figure3(a)中有個例子，主鏈上有兩個分叉，在下圖中第二條鏈是最長有效主鏈。因為blockB3是headblock，很容易看出collationC3是headcollation。

-圖片3(a)-然后Figure3(b)中blockB3'到了。假設blockB3的得分高于blockB3'，那么上面的鏈仍然是最長主鏈：

Scott+Scott 律所對Yuga Labs 發起集體訴訟，或將確認NFT是否屬于證券產品:金色財經報道，據decrypt消息，Scott+Scott 律師事務所目前正在組織針對 Yuga Labs 的集體訴訟。該訴訟將指控 Yuga 錯誤地將 Bored Ape NFT 和ApeCoin（該系列的原生以太坊代幣）宣傳為具有保證回報的證券產品，但在過去三個月中這些代幣的價值出現暴跌。該案的原告尚未向聯邦法院提出正式申訴。Scott+Scott 仍處于尋找在 4 月至 6 月期間因購買 Yuga 支持的 NFT 和代幣而遭受損失的原告，該律所暫時沒有立即回應對此事發表評論的請求。據悉，本案的關鍵是法院是否判定NFT屬于證券，類似于可以升值的公司股份。如果法院認定 BAYC NFT及其原生代幣 Apecoin 是證券，那么意味著Yuga Labs 可能沒有履行與發行證券相關的必要披露和注冊義務。[2022/7/25 2:35:30]

-圖片3(b)-最后Figure3(c)到了block4。注意到，對于這個分片，雖然collationC3的得分比collationC2更高，但是下方的鏈是最長有效主鏈，所有現在collationC2是headcollation：

-圖片3(c)-更多內容：另一個設計--VladZamfir的shardedforkchoicerule

-一個精巧的設計，保證區塊鏈可以在它們被最終化(finalized)之前原子化-可擴展性與安全性之權衡對于去中心化，可擴展性和安全性這三個屬性，區塊鏈系統最多只能三選其二。—BlockchainTrilemmainShardingFAQ出于對系統安全的保證導致了可擴展性受限3。當為了提高TPS將交易分配到各分片的同時，我們隨之也減少了每筆交易的計算資源。分片的其中一個重要機制就是，如何在鏈上生成隨機數。collator被選中的幾率，應該僅與驗證者的保證金相關，且成比例。如果驗證人能夠預測，或是任意選擇他們想要參與的分片，那么不誠實的驗證人既可以相互共謀，展開一個適應性攻擊。如果采樣不能以較高的隨機性進行選擇，那么攻擊者很可能在分片中展開1%攻擊：如果有100個分片，攻擊者可以專注于攻擊某一個分片，他們只需要1%的hashrate(POW)/deposit(POS)就可以控制分片.

-圖片4.傳統的多數攻擊-

-圖片5.分片上的1%攻擊-分片的區塊鏈顯式最終確定性隱式最終確定性v.s.顯式最終確定性

首先，我必須聲明，分片機制應該同時能夠應用于POW與POS的鏈。即使如此，顯式最終確定性這個小物件也跟Casper一樣，可以使得分片更加健壯。在一般的POW鏈中，最終確定性是概率性，隱式的。簡單來說，即使區塊獲得了數以千次的確認，仍有可能對鏈進行重寫。相反，將CaspertheFriendlyFinalityGadget(“FFG”)加密經濟機制應用于POS，顯式地在協議內強制保證對我們來說，是否是最終確定(we-can-check-if-its-finalized-for-us)。協議內顯式最終確定性閾值有個經濟風險：它在2/3+1和1/3+1之間創造了一個理想的卡特爾大小。相應地，任何不在2/3+1同盟節點，其最終確定性的邊際貢獻就將為0。主鏈最終確定性依賴

在基本分片中，分片鏈錨定與主鏈之上。對于分片驗證人，我們希望分片，區塊鏈容量在階段1擴容100倍，因此這100個分片的所有驗證人，都將需要監測VMC狀態來獲得正確有效的headcollation。對于驗證人來說，重要的一點是，要盡快確信他們是否是collator。對于普通用戶而言，如果我們在階段2應用跨分片交易，普通用戶也將需要在VMC上檢索他們的保證金信息。顯式最終確定性，將會有助于緩解主鏈與大量分片鏈之間同步的不確定性。顯式最終確定性有助于無狀態客戶端

無狀態客戶端的基本原則是，它不存儲整個狀態樹，相反，無狀態客戶端只存儲狀態樹根。歸檔客戶端存儲整個狀態樹，并提供給定collation所需的Merkle分支。有了這些Merkle分支，無狀態客戶端就能夠構建部分的狀態樹，并驗證collation。一旦完成驗證人采樣并再混洗，就會立刻觸發同步。有了無狀態客戶端機制，再混洗的成本低至0，因為它們只需要驗證最新的collation來同步分片。

-圖片6.無狀態客戶端模型Figure6.Statelessclientmodel-因為同步過程可能非常快，無狀態客戶端模型就可能在每個collation之間再混洗成。這不僅會減輕存儲壓力和開銷，也會使系統更安全，因為頻繁采樣能夠獲得適應性攻擊的抵抗能力。CasperFFG將會提供顯式最終確定性閾值afterabout2.5“epochtimes”，也就是說，125個區塊時間。如果在再混洗期間，驗證人能夠驗證超過125/PERIOD_LENGTH=25collation，分片系統能夠從顯式最終確定性中受益，確信從現在起的前25個collation可以最終確定。當然了，如果在同步時有更多collation得到驗證，就會更加安全。結束語

希望我已經對當前以太坊的分片設計概念作出了簡單介紹，以及顯式最終確定性如何有益于分片機制。如果想要深入了解協議設計，請訪問ETHResear.ch和shardingdoc。如有任何錯誤，或是表述不清，歡迎指正！特別感謝VitalikButerin的杰出工作，JonChoi督促我寫下這篇文章，Dr.Chang-WuChen修繕，BrianChen給予反饋以及VladZamfir的分享。

Tags：COLLATIONHEADfivecolorstonechocolatesaion幣提現HEAD價格

火必下載