比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > MANA > Info

NBS:EVM 深入探討 Part 2_OFF

Author:

Time:1900/1/1 0:00:00

點擊閱讀:EVM 深入探討 Part 1

導語

在第 1 部分中,我們探討了 EVM 如何通過被調用的合約函數知道需要運行哪個字節碼,其中我們了解了調用棧、calldata、函數簽名和 EVM 操作碼指令。

在第 2 部分中,我們將開啟內存之旅,全面了解合約的內存以及它在 EVM 上的工作方式。

此系列我們將引介翻譯 noxx 的文章(https://noxx.substack.com/)深入探討 EVM 的基礎知識。

我們依然使用第 1 部分中在 remix 上為大家演示的示例代碼。

第 1 部分中我們根據合約編譯后生成的字節碼研究了與功能選擇相關的部分。在本文中,我們將注意力放在字節碼的前 5 個字節。

這 5 個字節表示初始化 “空閑內存指針” 操作。要完全理解這些字節碼的作用,首先需要理解管理支配合約內存的數據結構。

合約內存是一個簡單的字節數組,其中數據存儲可以使用 32 字節(256 位)或 1 字節(8 位)的數據塊存儲數據,但是讀取時每次只能讀取固定大小的 32 字節(256 位)的數據塊。下面的圖片說明了此結構以及合約內存的讀/寫功能。

這個功能是由操作內存的 3 個操作碼決定的。

MSTORE (x, y):從內存位置 “x” 開始存儲一個 32 字節(256 位)的 “y” 值。

MLOAD (x):從內存位置 “x” 開始將 32 字節(256 位)加載到調用棧上。

MSTORE8 (x, y):在內存位置 “x” 存儲一個 1 字節(8 位)的值 “y”(32 字節棧值的最低有效字節)。

EOS EVM發布v0.4.2版本,包含嚴重安全漏洞修復:5月16日消息,EOS網絡基金會發推文稱,EOS EVM已發布v0.4.2版本,此版本修復了EOS EVM中發現的一個嚴重安全漏洞。EOS主網實施的EOS EVM合約、EOS EVM節點和EOS EVM RPC組件都需要升級。[2023/5/16 15:05:17]

你可以將內存位置簡單地看作是開始寫入/讀取數據的數組索引。如果想寫入/讀取超過 1 個字節的數據,只需繼續從下一個數組索引寫入或讀取。

EVM Playground 有助于鞏固我們這 3 個操作碼的運行原理、作用以及內存位置的理解。單擊 Run 和右上角的箭頭進行調試來查看堆棧和內存是如何更改的。(操作碼上方有注釋來描述每個部分的作用)

可能會注意到一些奇怪的現象,我只添加了 1 個字節,為什么多了這么多零呢?

3、內存擴展

當合約寫入內存時,需要為寫入的字節數支付 Gas,也就是擴大內存的開銷。如果我們正在寫入一個以前沒有寫入過的內存區域,那么第一次使用它會產生額外的內存擴展開銷。

寫入之前未觸及的內存空間時,內存以 32 字節(256 位)為增量擴展。前 724 個字節,內存擴展呈線性增長,之后呈二次方增長。(由以太坊黃皮書公式 326 擴大內存的 Gas 開銷得出,公式為:

,擴展內存時為每個額外的字的開銷。其中 a 是合約調用中寫入的最大內存位置,以 32 字節字為單位。用 1024 字節內存為例,那么 a = 32 。)

在位置 32 處寫入 1 個字節之前,我們的內存是 32 個字節。此時我們開始往未觸及的內存空間寫入內容,結果,內存增加了 32 個字節,增加到 64 個字節。內存中所有位置的都初始被定義為 0,這也是為什么我們會看到 2200000000000000000000000000000000000000000000000000000000000000 被添加到內存中的原因。

Uniswap V3部署至Kava EVM網絡的提案已通過熱度檢查投票:金色財經報道,Snapshot頁面顯示,關于“將Uniswap v3部署到Kava EVM網絡”提案以100%的支持率通過熱度檢查投票。此外,Uniswap治理頁面顯示,在Avalanche部署Uniswap V3的提案已開啟鏈上投票,該投票將于3月17日結束,目前支持率為99.99%。[2023/3/13 13:00:08]

4、內存是一個字節數組

調試過程中,我們可能注意到的第二件事發生在我們從內存位置 33 (0x21) 運行 MLOAD 時。我們將以下值返回到調用棧。

3300000000000000000000000000000000000000000000000000000000000000

內存讀取可以從一個非 32 字節元素開始。

內存是一個字節數組,這意味著可以從任何內存位置開始讀取(和寫入)。我們不限于 32 的倍數。內存是線性的,可以在字節級別進行尋址。內存只能在函數中新建。它可以是新實例化的復雜類型,如數組/結構(例如,通過 新建一個 int[...])或從存儲引用的變量中復制。

現在我們對數據結構已有了一定的了解了,接下來讓我們來看空閑內存指針。

5、空閑內存指針

空閑內存指針只是一個指向空閑內存開始位置的指針。它確保智能合約可以跟蹤到哪些內存位置已寫入,哪些未寫入。這可以防止合約覆蓋已分配給另一個變量的某些內存。當一個變量被寫入內存時,合約將首先引用空閑內存指針來確定數據應該存儲在哪里。然后,它通過記錄要寫入新位置的數據量來更新空閑內存指針。這兩個值的簡單相加將產生新的空閑內存開始的位置。

空閑內存指針的位置 + 數據的字節大小 = 新空閑內存指針的位置

6、字節碼

就像我們之前所提到的,空閑內存指針是通過這 5 個操作碼在運行時字節碼的定義的。

這些操作碼聲明空閑內存指針位于內存中字節 0x40(十進制中的 64)處,值為 0x80(十進制中的 128)。

Aztec Network開源EVM匯編語言Huff:7月28日消息,據官方推特,基于ZK Rollup的隱私和擴容解決方案Aztec Network宣布開源EVM匯編語言Huff。據悉,該語言由Aztec創始人Zac Williamson于2019年構建。[2022/7/28 2:42:48]

Solidity 的內存布局保留了 4 個 32 字節的插槽:

0x00 - 0x3f (64 bytes):暫存空間,可用于語句之間,即內聯匯編和哈希散列方法。

0x40 - 0x5f (32 bytes):空閑內存指針,當前分配的內存大小,空閑內存的起始位置,初始化為 0x80。

0x60 - 0x7f (32 bytes):插槽 0,用作動態內存數組的初始值,永遠不應寫入。

我們可以看到,0x40 是空閑內存指針的預定義位置。而值 0x80 只是在 4 個 32 字節保留值插槽之后可寫入的第一個內存字節。

7、合約中的內存

為了鞏固我們到目前為止所學到的知識,接下來將看看內存和空閑內存指針是如何在 Solidity 代碼中更新的。

我們創建 MemoryLane 合約來進行演示。合約的 memoryLane() 定義了兩個長度分別為 5 和 2 的數組,并將 uint256 類型的 1 賦值給 b。

要查看合約代碼在 EVM 中執行的詳細信息可以將其復制到 Remix IDE 中編譯并部署合約。調用  memoryLane() 后進入 DeBug 模式來逐步執行操作碼(以上操作可以參考:

https://remix-ide.readthedocs.io/en/latest/tutorial_debug.html)。

將簡化版操作碼提取到 EVM Playground 中,可通過這個鏈接查看具體的操作碼及注釋信息(https://noxx.substack.com/p/evm-deep-dives-the-path-to-shadowy-d6b#:~:text=version%20into%20an-,EVM%20Playground,-and%20will%20run)。

Evmos生態AMM協議Cronus Finance宣布測試網已上線:4月14日消息,基于Evmos的AMM協議Cronus Finance在推特上宣布測試網已上線。[2022/4/14 14:24:06]

這里將操作碼分成 6 個不同的部分依次解讀,刪除了 JUMP 以及與內存操作無關的操作碼同時將注釋添加了進去方便查看當前在執行什么操作。

1)空閑內存指針初始化(EVM Playground 操作碼代碼 1-15 行)

首先,0x80(十進制為 128)先入棧,這是由 Solidity 內存布局規定的值,當前內存中沒有任何東西。

最后,我們調用 MSTORE,它將第一項從棧 0x40 彈出以確定在內存中寫入的位置,并將第二個值 0x80 作為寫入的內容。這樣留下了一個空棧,但已經填充了一部分到內存中。內存由十六進制字符表示,其中每個字符代表 4 位。例如:在內存中有 192 個十六進制字符,這意味著我們有 96 個字節(1 字節 = 8 位 = 2 個十六進制字符)。如果我們回顧 Solidity 的內存布局會發現,前 64 個字節將被分配為暫存空間,接下來的 32 個字節將用于空閑內存指針。

2)內存分配變量 “a” 和空閑內存指針更新(EVM Playground 第 16-34 行)

接下來的部分,我們將跳到每個部分的結束狀態,并簡潔概述。

首先,為變量 “a”(bytes32)分配下一個內存,并更新空閑內存指針。編譯器將通過數組大小和默認數組元素大小確定需要多少空間。Solidity 中內存數組中的元素都是占據 32 字節的倍數(這同樣適用于 bytes1[],但 bytes 和 string 不適用)。當前需要分配的內存為 5 * 32 字節,表示為 160 或 0xa0(16 進制的 160)。我們可以看到它被壓入棧中并添加到當前空閑內存指針 0x80(十進制中的 128)來獲取新的空閑內存指針值。這將返回 0x120(十進制的 288 = 128 + 160),我們可以看到它已被寫入空閑內存指針位置。調用棧將變量 “a” 的內存位置保存在棧 0x80 上,以便以后可以在需要時引用它。0xffff 代表一個 JUMP(無條件跳轉) 位置,可以忽略,因為它與內存操作無關。

Moonriver正式上線Kusama,轉賬及EVM功能均已啟用:8月27日,智能合約平臺Moonbeam的Kusama平行鏈Moonriver正式在Kusama上啟動,轉賬及EVM功能均已啟用。目前,Moonbeam生態中的項目和團隊已經可以將智能合約及DApp部署至Moonriver網絡。

據悉,除轉賬外,Moonriver還支持提名驗證者、獲得質押獎勵和投票功能。Moonriver還將額外分配獎勵池(300萬枚MOVR)中的30%分發給參與眾貸的用戶,獎勵池中此前分配的13.5%的獎勵已經可以申領。此外,Moonriver基金會還將拿出MOVR代幣總量的10%進行流動性激勵計劃。[2021/8/27 22:41:15]

3)內存初始化變量 “a”(EVM Playground 第 35-95 行)

已經分配好了內存并且更新了空閑內存指針,接下來需要為變量 “a” 初始化內存空間。由于該變量只是被聲明并沒有被賦值,它將被初始化為零值。

EVM 通過使用了 CALLDATACOPY(復制消息數據)操作碼來進行操作,其中存在 3 個變量。

memoryOffset/destOffset(將數據復制到的內存位置) 

calldataOffset/offset(需要復制的 calldata 中的字節偏移量)

size/length(要復制的字節大小)

表達式:

memory[destOffset:destOffset+length] = msg.data[offset:offset+length]

在這個例子中,memoryOffset(destOffset) 是變量 “a”(0x80)的內存位置。calldataOffset(offset) 是實際 calldata 的大小,因為并不需要復制任何 calldata,所以初始化內存為零。最后,傳入的變量為 0xa0(十進制的 160)。

這是可以看到我們的內存已經擴展到 288 字節(這包括插槽 0),并且調用棧再次保存了變量的內存位置和以及棧上的 JUMP 地址。

這與變量 “a” 的內存分配和空閑內存指針更新相同,只是這次是針對 “bytes32 memory b”。內存指針更新為 0x160(十進制為 352),等于先前的空閑內存指針 288 加上新變量的大小 64(以 bytes 64 為單位)。空閑內存指針已在內存中更新為 0x160,那么現在在棧上就擁有變量 “b”(0x120)的內存位置。

與變量 “a” 的內存初始化相同。現在內存已增加到 352 字節,棧內仍然保存 2 個變量的內存位置。

最后,我們開始為數組 “b” 索引 0 賦值。代碼指出 b 的值應該為 1。該值被壓入棧 0x01。接下來發生向左移位,但是移位的輸入為 0,這意味著我們的值不會改變。接下來,要寫入 0x00 的數組索引位置被壓入堆棧,并檢查該值是否小于數組 0x02 的長度。如果不是,則執行跳轉到處理此錯誤狀態的字節碼的不同部分。MUL(乘法)和 ADD(加法) 操作碼用于確定需要將值寫入內存中的哪個位置以使其對應于正確的數組索引。

0x20 (10 進制為 32) * 0x00 (10 進制為 0) = 0x00

需要記住,內存數組是 32 字節的元素,因此該值表示數組索引的起始位置。鑒于我們正在寫入索引 0,沒有偏移量,也就是從 0x00 開始寫入。

0x00 + 0x120 = 0x120 (10 進制為 288)

ADD 用于將此偏移值添加到變量 “b” 的內存位置。偏移量為 0,直接將數據寫入分配的內存位置。最后, MSTORE 將值 0x01 存儲到這個內存位置 0x120。

下圖顯示了函數執行結束時的系統狀態。所有棧項都已彈出。請注意,實際上在 remix 中還有一些項目留在堆棧上,一個 JUMP 位置和函數簽名,但是它們與內存操作無關,因此在 EVM playground 中被省略了。

內存已更新為包含 b = 1 賦值,在我們內存的倒數第三行,0 值變成了 1。可以驗證該值位于正確的內存位置,b 應占用位置 0x120 - 0x13f(bytes 289 - 320)。

我們現在對合約內存的工作原理有了一定程度的了解。在后續需要編寫代碼時,將為我們提供很好理解與幫助。當你跳過一些合同操作碼,看到某些內存位置不斷彈出 (0x40) ,現在就知道他們的確切含義了。

在本系列下一篇文章中,我們將在 EVM 深入探討系列第 3 部分深入探討合約存儲的工作原理,了解存儲插槽包裝(slot packing),揭開存儲插槽的神秘面紗。

慢霧科技

個人專欄

閱讀更多

金色財經Maxwell

元宇宙之心

老雅痞

Odaily

去中心化金融社區

鴕鳥區塊鏈

PANews

Mindao

吳說區塊鏈

Foresight News

金色薦讀

Tags:NBSBSPOFFFFSNBS幣BSPNetworkBOGDANOFFOffshift

MANA
BSP:英偉達Omniverse:產業元宇宙殺手锏的應用場景_Omni Consumer Protocol

作者:Chenglin Pua(馬來西亞)元宇宙在近兩年得到極大關注,許多公司也都想成為第一個吃螃蟹的人,Meta是其中最激進的一個.

1900/1/1 0:00:00
COM:假期不可錯過的10件大事_SINS幣

金色財經報道,美國證券交易委員會已對總部位于百慕大的 Arbitrade Ltd 和總部位于加拿大的 Cryptobontix 及其負責人提起指控.

1900/1/1 0:00:00
區塊鏈:區塊鏈存儲四大優勢不可不知_云存儲幣種

存儲并不是個新詞,隨著互聯網技術的快速發展,企業級存儲、云存儲等已成為人們工作生活的標配。與此同時,伴隨區塊鏈技術的發展與成熟,區塊鏈存儲的優勢和特點開始受到多方關注.

1900/1/1 0:00:00
SUI:對話 Sui 聯創 Koh Kim:為什么鏈游會成為 MOVE 公鏈的主場_MOVR

本篇文章來自 Mysten Labs生態系統負責人Koh Kim的線上AMA。訪談過程中,Koh介紹了基于Move語言的Sui公鏈如何賦能鏈游,以及如何吸引游戲開發者學習和應用Move語言.

1900/1/1 0:00:00
區塊鏈:金色觀察 | “木頭姐”公開致信美聯儲:FED正犯下政策錯誤_區塊鏈是什么概念股

10月10日,華爾街著名人物、ARK投資管理公司Cathie Wood(人稱木頭姐)發表了一封致美聯儲的公開信。在公開信中,Wood表示,美聯儲對通脹的強硬立場可能是錯誤的.

1900/1/1 0:00:00
OSM:金色觀察 | Cosmos的發展之路_MOS價格

“區塊鏈互聯網”認為,未來的建設者將優先考慮專業化和主權。這一對加密貨幣未來的獨特看法,正獲得越來越多的動力和支持.

1900/1/1 0:00:00
ads