為以太坊2.0掃清障礙，V神提出新的以太坊向后兼容方法_ROO:SLOT

作者：VitalikButerin

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

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

去中心化保險項目Nexus Mutual為以太坊質押提供保險服務:7月26日消息，去中心化保險項目Nexus Mutual宣布為以太坊質押提供保險服務。Nexus Mutual將為ETH質押驗證節點潛在的處罰風險和獎勵削減風險提供保障。流動質押協議StakeWise已為其質押產品投保。[2022/7/26 2:37:39]

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

歷史區塊數據

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

本體將為以太坊和波卡的DeFi項目提供 DID 解決方案:據官方推特消息，本體計劃為以太坊和波卡的DeFi項目提供DID解決方案，包含本體信任分、可復用KYC和電子簽名等功能。[2020/7/27]

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

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

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

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

韋氏評級：加密貓團隊離開以太坊并不奇怪 因為以太坊還沒擴展:3月8日，韋氏評級發推稱，Cryptokitties（加密貓）背后的團隊將離開以太坊，并創建自己的區塊鏈。這并不奇怪，因為以太坊還沒有擴展。更快的區塊鏈意味著更少的驗證器，反之亦然。為什么不推出一個新的區塊鏈自己發行代幣。3月5日消息，加密貓CryptoKitties開發團隊Dapper Labs開發的公鏈平臺 Flow宣布推出交互式Web開發工具 Flow Playground。[2020/3/8]

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

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

動態 | 意大利企業家愿意在法庭為以太坊開發者Virgil Griffith作證:美國當局逮捕以太坊開發者Virgil Griffith，指控其協助朝鮮逃避制裁。意大利企業家Fabio Peitrosanti準備提供幫助澄清該案件。針對Virgil的案件似乎被誤導，Peitrosanti表示希望與Virgil的律師和家人取得聯系，參與其辯護準備工作。“我和Virgil一起去了朝鮮。我正在尋找與他的家人或律師取得聯系，因為我在宣誓書中讀到了很多我認為被逮捕令誤用和曲解的句子。我愿意提供我的證詞來證明他的真誠。”加密社區一些知名人士也譴責該案件是對無害事物的過度反應。如果Virgil在法庭上被判有罪，或面臨長達20年的監禁。據此前報道，美國當局已逮捕并指控Virgil Griffith違反美國制裁法，前往朝鮮提供一個使用加密貨幣和區塊鏈技術來逃避制裁的演示和建議。美國律師Geoffrey S. Berman在聲明中稱，Virgil Griffith被指控向朝鮮提供高度技術性的信息，他知道這些信息可能被用來幫助朝鮮洗錢和逃避制裁。危及國會和總統已頒布的制裁措施，以對朝鮮的危險政權施加最大壓力。（CoinGape）[2019/11/30]

驗證歷史狀態中的值。這個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：ROOINTUINSLOToneroot幣騙局Artificial Liquid IntelligenceHIPENGUINSSLOT幣

狗狗幣最新價格