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

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

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

歷史區塊數據

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

數據：當前已申領WLD代幣數量已達到16,120,716枚:金色財經報道，據DuneAnalytics數據顯示，已申領的WLD代幣數量已達到16,120,716枚，申領地址數為519,616個，當前每個WLD代幣申領者平均獲利55.95美元。[2023/8/14 16:24:03]

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

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

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

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

深圳：探索降低香港金融機構準入門檻，為香港數字金融、金融科技發展提供支持:金色財經報道，深圳市人民政府辦公廳發布《關于貫徹落實金融支持前海深港現代服務業合作區全面深化改革開放意見的實施方案》，要求建立服務香港金融機構入駐前海深港國際金融城的綠色通道，為香港金融機構依法依規跨境辦公以及香港數字金融、金融科技發展提供支持。爭取中央金融管理部門支持，研究探索在內地與香港、澳門關于建立更緊密經貿關系的安排（CEPA）框架下在前海合作區范圍內降低香港金融機構的準入門檻。此外，《方案》還要求深入推進數字人民幣試點工作，聯動香港開展數字人民幣跨境支付試點，有序拓展消費、旅游、醫療、教育等跨境應用場景，鼓勵前海合作區金融機構及企業參與多邊央行數字貨幣橋的建設，打造數字人民幣跨境應用示范區。[2023/7/13 10:52:23]

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

金色財經CEO王瑜琨：全面開放與Web3行業伙伴的合作:金色財經報道，5月26日金色電音節2023環球行·深圳站如期舉行。金色財經CEO王瑜琨在會上表示，金色財經已在行業深耕七年，成為集行業新聞、資訊、數據等的一站式區塊鏈產業服務平臺，我們追求及時、全面、專業、準確的資訊與數據，致力于為用戶提供最好的產品和服務。七年來金色財經服務了行業內上千家伙伴。2023年6月香港地區開始正式全面擁抱加密行業，因此我們今天舉行了金色電音節，并全面開放與Web3行業伙伴的合作。后續我們還將和行業伙伴們一起舉辦更多活動，助力行業發展。[2023/5/26 9:44:23]

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

Cathie Wood：美國已經陷入經濟衰退:6月28日消息，ARK基金創始人Cathie Wood在接受CNBC采訪時表示，她承認低估了通貨膨脹的嚴重性和持久性，并認為美國已經處于經濟衰退期。（CNBC）[2022/6/28 1:36:53]

驗證歷史狀態中的值。這個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直接對分片數據進行操作。

作者：VitalikButerin

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

Tags：ROOUINSLOTLOTGROOMERuin幣空投SLOT價格LOTDOG

區塊鏈