LOT:為分片采用掃清障礙，V神提出新的以太坊向后兼容方法_Quinta Eco

作者：VitalikButerin

原文：https://ethresear.ch/t/future-proof-shard-and-history-access-precompiles/9781

當前以太坊設計中的向后兼容性所面臨的挑戰之一是區塊鏈歷史記錄的訪問需要對Merkle證明進行EVM驗證，這還假設區塊鏈將永遠使用相同的格式和相同的密碼技術。未來的分片設計更是增加了這一點的重要性，因為Rollup的欺詐證明和有效性證明將需要指向分片數據的指針。

BSN-DDC基礎網絡上線官方DDC跨鏈應用合約:據官方消息，2023年4月7日，BSN-DDC基礎網絡在最新的系統升級中，上線了官方DDC跨鏈應用合約。目前該合約支持官方DDC在武漢鏈、泰安鏈、文昌鏈三條開放聯盟鏈間的互跨操作，合約調用已封裝入DDC-SDK中。BSN-DDC基礎網絡平臺方將通過該合約，獲得更具開放性與靈活性的業務環境。[2023/4/17 14:08:22]

這篇文章提出了一種更加面向未來的方法：我們可以添加執行驗證特定類型證明的抽象任務的預編譯，而不是要求在EVM中驗證歷史和分片的證明。如果將來更改格式，預編譯邏輯將自動更改。預編譯甚至可以具有條件邏輯，用于驗證過渡前插槽的一種證明和轉換后插槽的另一種證明。

比特幣全網未確認交易數量為37405筆:金色財經報道，BTC.com數據顯示，目前比特幣全網未確認交易數量為37405筆，全網算力為5.29 ZH/s，24小時交易速率為8.84交易/s，目前全網難度為43.55 T，預測下次難度上調3.12%至44.91T，距離調整還剩5小時1分鐘。[2023/3/21 13:15:33]

歷史區塊數據

defverifyHistoricalBlockRoot(slot:uint256,value:bytes32,proof:bytes)

這種預編譯將嘗試以兩種方式之一解釋該proof：

如果這個proof為空，則直接檢查該value是否為保存在正確位置的歷史區塊根。如果slot太舊，它將失敗。

金融科技公司Revolut已在新加坡推出加密貨幣交易服務:8月4日消息，金融科技公司Revolut已在新加坡推出加密貨幣交易服務，允許用戶在其應用上購買、持有和出售80多種加密貨幣。Revolut表示，該服務將向免費用戶收取2.5%的交易費用，向付費用戶收取1.5%的交易費用，此外，Revolut還希望為其新加坡用戶推出加密貨幣教育課程。（Tech in Asia）[2022/8/4 12:01:37]

如果這個proof是一個Merkle分支，它會根據history_roots中的正確條目將其驗證為Merkle分支

defverifyHistoricalStateRoot(slot:uint256,value:bytes32,proof:bytes)

人民網：數字藏品與NFT有所關聯，但有本質區別:金色財經報道，人民網今日刊文《數字藏品＝NFT？有關聯更有本質區別》。文章稱，數字藏品與NFT有所關聯，但有本質區別。

國家新聞出版署科技與標準綜合實驗室區塊鏈版權中心主任劉天驕指出，國內數字藏品與國外NFT有三點區別：

第一，國外的NFT基于公鏈，公鏈對所有人開放，任何人可參與、讀取數據、發送交易等。“國外NFT最核心的特點是不受管理，不受控制，沒有任何人或者機構進行監督。而國內的數字藏品基于聯盟鏈，很多區塊鏈、聯盟鏈是由政府搭建的基礎設施，我們國家對聯盟鏈進行了管理。”

第二，在發行藏品的內容上，國外的NFT沒有經過版權審核，國內規范的數字藏品必須要經過內容審核才能上鏈進行發布。“我們把數字藏品定位成數字出版物，就是要經過出版發行之后，才能進行流通和售賣。”

另外，國外的NFT是把一個作品或者某個虛擬的東西進行代幣化，傳遞的不是真正的數字文創作品、數字版權作品的價值。（人民網）[2022/6/16 4:31:38]

驗證狀態根，使用與該區塊根相同的邏輯。

defverifyHistoricalStateValue(slot:uint256,key:bytes32,value:bytes32,proof:bytes)

驗證歷史狀態中的值。這個proof包括三個要素：

狀態根表明狀態根正確性的證明Patricia或Verkle或其他證明該value實際上位于狀態樹中的位置key中的證明defverifyHistoricalTransaction(slot:uint256,txindex:uint256,tx:bytes,proof:bytes)

驗證tx實際上是否在給定slot的區塊的txindex中。證明內容如下：

區塊根表明區塊根正確性的證明證明給定的tx實際上是給定位置的交易defverifyHistoricalReceipt(slot:uint256,txindex:uint256,receipt:bytes,proof:bytes)

驗證receipt實際上是給定slot的txindex處的交易接收。證明內容如下：

區塊根證明區塊根正確性的證明證明給定收據實際上是給定位置的receipt

分片數據

defverifyShardBlockBody(slot:uint256,shard:uint256,startChunk:uint256,chunks:uint256,data:bytes,proof:bytes)

驗證data=body，其中body是給定slot中給定分片的主體。該證明將包括：

證明區塊子集的Kate證明如果slot太舊，則在slot+96處的區塊根的Merkle證明，然后是從該slot到分片承諾數組中的位置的Merkle證明，顯示一個最終性承諾當我們使用BLS-12-381Kate承諾時，預編譯還將驗證數據是32字節chunk的列表，其中每個chunk都小于曲線子組順序。如果沒有在給定位置保存分片區塊，則預編譯就像在該位置保存了對零長度數據的承諾一樣。如果給定位置的value未確認，則預編譯總是失敗。

defverifyShardPolynomialEvaluation(slot:uint256,shard:uint256,x:uint256,y:uint256,proof:bytes)

如果我們將給定(slot,shard)處的分片區塊視為多項式P，其中字節i*32...i*32+31是w**i處的評估，這將驗證P(x)=y。該proof與數據子集proof相同，除了Kate證明正在證明某個點的評估而不是在證明一個位置子集的數據。

如果我們將來不再使用BLS-12-381，則預編譯會將SNARK作為輸入，驗證數據完全由小于該曲線階數的值組成，并驗證對當前字段數據的評估。

這種預編譯對于等價協議的跨多項式承諾方案證明?很有用，可用于允許ZKRollup直接對分片數據進行操作。

Tags：ROOSLOTUINLOTSHROOMSSlothi TokenQuinta EcoZLOT

火必下載