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

作者：VitalikButerin

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

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

數據:比特幣減半時間預計為明年4月28日:4月29日消息，據歐科云鏈OKLink減半倒計時專題頁顯示，當前區塊高度距離比特幣減半時間剩余已不足365天，減半時間預計為2024年4月28日，屆時區塊獎勵將從6.25 BTC降至3.125 BTC。[2023/4/29 14:34:50]

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

歷史區塊數據

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

OpenSea CEO：NFT賽道相比整體加密領域更為健康，未來NFT也可以美元計價:12月29日消息，OpenSea首席執行官Devin Finzer在接受《金融時報》采訪時表示，雖然加密行業近期遇到了一些挫折（指 FTX 崩盤事件），但相信 NFT 仍會有光明的未來，NFT不一定會一直像今天這樣以加密貨幣計價進行買賣，雖然以加密貨幣計價在當前生態中有很多意義，但隨著 NFT 更容易獲得，用例更加廣泛，不能以美元來計價是一件沒有道理的事。

對于行業現狀，Devin Finzer表示預計加密市場將進入長期低迷，但OpenSea是在一條健康的賽道上。監管機構和官員了解 NFT 與更廣泛的加密行業之間的區別，例如加密領域非常關注金融用例，這一點非常重要。

提到NFT的價值，Devin Finzer表示 NFT 的價值應該取決于人們如何參與其中，無論是通過使用NFT參加獨家活動、玩游戲，還是在家中展示數字藝術品，未來每個人都會有越來越多的數字化財產。[2022/12/29 22:15:14]

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

重慶啟動數字人民幣繳稅試點:金色財經消息，重慶市稅務局相關負責人表示，數字人民幣繳稅試點啟動后，在重慶市范圍內的所有納稅人，包括單位和個人，均可自主選擇試點銀行，在開通實名數字錢包后，通過電子稅務局、網上銀行、手機銀行等多渠道使用數字人民幣繳納稅款、社保費和稅務部門征收的部分非稅收入。[2022/6/2 3:58:02]

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

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

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

Multichain成為TRON DAO Reserve的第六位成員和白名單機構:據官方消息，跨鏈路由協議Multichain正式成為TRON DAO Reserve的第六位成員和白名單機構。

波場聯合儲備（TRON DAO Reserve）由波場網絡牽頭成立，主要目的為保護區塊鏈行業與市場，緩解極端與長期下行行情，解決金融危機來所帶來的恐慌性問題。同時，波場聯合儲備也將作為初期托管人來維護波場去中心化穩定幣 Decentralized USD (USDD) 的權限管理并以其儲備金融資產擔保，保證 USDD 匯率穩定。[2022/5/18 3:25:29]

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

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：ROOINTLOTSLOTProofIntelliShareCamelotAlphaslot

XMR