為分片采用掃清障礙，V神提出新的以太坊向后兼容方法_INT:uin幣末來有沒有價值

作者：VitalikButerin

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

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

以太坊Layer2上總鎖倉量為105.85億美元:金色財經報道，L2BEAT數據顯示，截至目前，以太坊Layer2上總鎖倉量為105.85億美元，近7日漲2.61%。其中鎖倉量最高的為擴容方案Arbitrum One，約59.21億美元，占比55.94%，其次是Optimism，鎖倉量30.04億美元，占比28.38%。[2023/8/5 16:20:37]

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

Magic Eden與Elixir合作推出自助式NFT創作和分發平臺“CreatorX”:金色財經報道，NFT市場Magic Eden在社交媒體宣布與Elixir NFT合作，雙方將推出一個針對藝術家的自助式NFT創作和分發平臺“CreatorX”，旨在為用戶提供用戶友好且無代碼的NFT創建服務，該平臺還將提供低費用鑄幣、空投和兌現工具，未來也將拓展到開發基于NFT的游戲、體驗等，并幫助Web2開發人員和機構用戶探索SOL應用。另據Dapprader最新數據顯示，當前Magic Eden平臺交易總額達到21.9億美元，交易者總量約為145.6萬個。[2023/7/18 11:01:03]

歷史區塊數據

全國人大代表馮琪雅：設立準入機制 建立數字藏品監管體系:金色財經報道，全國人大代表、上海鑫灜投資控股股份有限公司董事長馮琪雅在接受上海證券報記者專訪時表示，“數字藏品具有廣闊的發展空間，還帶動了智能合約、區塊鏈、虛擬現實等技術的飛速發展。”

“在數字藏品行業快速發展的同時，當前的監管還是以行業自律和地方性規章為主，缺乏多部門協同的自上而下的監管體系，對數字藏品的法律定性還不清晰。”

她建議，在數字藏品的發行環節，文化和版權監管部門應該加強對數字藏品的版權保護和市場準入管理，確保數字藏品的真實性和版權合法性。對交易和流通等重點環節，由地方金融監管部門牽頭對數字藏品平臺進行監管，重點打擊非法投機、炒作行為，嚴防數字藏品金融化、證券化傾向。（中國證券網）[2023/3/8 12:48:42]

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

Optimism上TVL突破5.5億美元，創歷史新高:金色財經消息，據Defi Llama數據顯示，Optimism上TVL突破5.5億美元，當前TVL約為5.53億美元，創歷史新高。前三位的協議分別為Synthetix（1.92億美元、約占35%）、Velodrome（1.154億美元，約占21%）、Uniswap（0.47億美元，約占8.6%）。[2022/7/29 2:45:44]

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

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

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

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

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

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：ROOINTSLOTUINROOBEE價格CointributeSlothi Tokenuin幣末來有沒有價值

幣安app下載