加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

以太坊智能合約逆向分析與實戰:(5)深入EVM之合約的部署與調用_以太坊:CODE

Author:

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

當我們部署和調用合約的時候,EVM 都在做些什么?

如果你開發過以太坊智能合約,想必你應該熟悉這樣的操作 (此處以remix為例) :

編寫solidity代碼 -> 編譯 -> 部署-> 交互 。合約的編寫與部署似乎并不是一件很麻煩的操作:編寫階段就不說了,Solidity語言大家都應該會;到了編譯階段,本地的 solc 編譯器會把 Solidity 代碼編譯成字節碼(bytecodes);而在部署階段,部署者通過發起一筆特殊交易(to的地址為空)calldata 帶上編譯后的字節碼,等交易上鏈之后,就完成了合約的部署;而合約交互,就是call合約里的某個函數,等待函數的響應和返回,一切就是這樣的簡單。

但是正如開車一樣,當你踩住油門后,車輛開始前進。然而這看似簡單的操作背后是汽油爆燃、活塞往復、數百個齒輪嚙合傳動、輪胎與地面滾動摩擦的復雜行為。部署和調用合約也是如此,它涉及到 EVM 的堆棧操作,內存讀寫,存儲訪問等一系列底層操作。當部署合約時, EVM 把收到的 calldata 翻譯成操作指令,把它們按照給定的長度和參數讀入內存;當調用合約時,EVM 又根據收到的 calldata ,通過函數選擇器來確定調用哪一段代碼,并返回數值。如果只講理論未免過于枯燥,為了便于講解,我們這次用 ethernaut 的一道題目作為例子,詳細了解 EVM 是如何部署和運行合約的,以及如何充當人肉編譯器,徒手編寫智能合約。

Puffer Finance宣布獲得以太坊基金會資助:5月18日消息,Puffer Finance宣布已從Ethereum基金會獲得了一筆資助,以幫助去中心化以太坊驗證者集。該筆資助將用于支持開發開源項目Secure-Signer,一種遠程簽名工具,旨在提高驗證者密鑰的安全性,防止驗證者因軟件漏洞或用戶錯誤而被削減。

此外,Puffer宣布測試網即將推出。[2023/5/18 15:11:07]

這個題目是這樣的:我們需要部署一個合約,當我們調用合約 **whatIsTheMeaningOfLife()**函數的時候,它需要返回一個數字 “42”。看起來很簡單對吧?我們分分鐘編寫完畢:

慢著,題目后面還有個小小的附加要求:“所部署的合約大小不超過10個操作碼”。好吧,這個要求的確夠“小”,要知道連合約頭部的 “函數選擇器” 都不止 10 個操作碼好吧?可是“函數選擇器” 是什么,為什么會出現在合約里面呢?帶著你的疑問,繼續向下看。

我們通過 ./solc --asm --bin target.sol 來看看這個合約的最終編譯結果:

上周以太坊Layer 2網絡消耗超320億gas,創歷史最高單周記錄:1月17日消息,Dune Analytics 數據顯示,以太坊 Layer 2 網絡在 1 月 9 日至 1 月 15 日的一周內消耗超 320 億 gas 來驗證和激活橋接交易,同比增長 22.8%,并創下迄今為止歷史最高單周 gas 消耗記錄。 其中 Arbitrum 和 Optimism 鏈上活動明顯增加,截至 1 月 15 日,兩個 Layer 2 鏈上總交易量達到 120 萬筆,而以太坊鏈上交易量則約為 100 萬筆,在 gas 消耗占比方面,Optimism 貢獻了大約 50% 的 gas 消耗,其次是 Arbitrum,占比約為 30%。[2023/1/17 11:17:22]

608060405234801561001057600080fd5b5060b68061001f6000396000f3fe6080604052348015600f57600080fd5b506004361060285760003560e01c8063650500c114602d575b600080fd5b60336047565b604051603e91906067565b60405180910390f35b6000602a905090565b6000819050919050565b6061816050565b82525050565b6000602082019050607a6000830184605a565b9291505056fea26469706673582212206ef8c7b5177952a701b3b46b69cb3ec296f4c54c946692e8ec901f5e43c1e78a64736f6c63430008110033

數據:以太坊基金會持有整個ETH供應量的近0.3%:4月18日消息,據以太坊基金會一季度運營報告數據,截至2022年3月31日,該基金會持有的以太坊占整個 ETH 供應量的近 0.3%。[2022/4/18 14:31:49]

這么一大坨十六進制數據,就是上述 Solidity 程序編譯之后的字節碼。當我們部署合約時,把這一堆 data 發給以太坊節點,等廣播完成后,合約就部署完畢了。這是 solc 編譯器編譯 Solidity程序得到的代碼,看似雜亂無章的的數據,其實都是和 opcodes 一一對應的。我們來一段一段地看這些代碼:

合約部署代碼:

合約運行代碼:

auxdata:

我們先簡單地把這堆代碼分為合約的部署代碼、運行代碼、auxdata 三部分,如何理解這三種代碼呢?我覺得可以理解為向太空發射衛星:“部署代碼” 就是運載火箭,而“運行代碼”就是衛星。運載火箭只在發射衛星時才起到作用,一旦衛星進入軌道,火箭就廢棄了,只留下衛星在太空中與地球通信。 部署合約也是如此,在部署合約時,部署代碼把一些初始化工作作完之后,就把合約的運行代碼送入EVM,只留下運行代碼在鏈上與用戶進行交互。 (至于auxdata,它是緊跟在runtime代碼后面的43個字節,相當于源碼的指紋,可以用來驗證。這只是數據,并不會被EVM執行。)

數據:近24小時以太坊2.0合約質押新增6688ETH:據歐科云鏈鏈上大師數據顯示,截至今日10時30分,以太坊2.0存款合約地址已收到801.79萬ETH,占當前以太坊供應量的6.83%,近24小時新增6688ETH。[2021/10/26 20:57:37]

那么言歸正傳,我們題目要求我們合約運行代碼的 opcedes 不超過 10 條,那么,這段代碼對應的 opcodes 是多少條呢?答:71 條。(通過查看 Remix : ./artifacts/MagicNum.json 中的 bytecode 里的 opcodes 可以看到。而 deployedBytecode 里的 opcodes 卻是 92 條,因為它的長度是 部署代碼 + 運行代碼 )

那么問題來了,如何把 71 條 opcodes 精簡到 10 條以內呢? 這就需要我們對 EVM 運行智能合約的方式有著一定的了解。如果不了解也沒關系,拿起你手邊的 EVM 指令集 ,我們一起來看看吧:

首先我們要知道,EVM 執行代碼時是按照自上而下的順序執行的,代碼中沒有其他入口點,始終從頂部 (也就是第一行 opcode ) 開始執行。(這點和 Windows 軟件不一樣,PE文件是有固定的入口點的,而且不同的 Windows 版本或不同的 PE 文件 入口點也會有所不同)。也就是說,當我們部署合約時, EVM 會從第一個bytecode開始讀起。

動態 | BTC.com正式發布以太坊區塊瀏覽器0.1版:11月1日,BTC.com宣布正式上線以太坊區塊瀏覽器0.1版本。BTC.com區塊瀏覽器可為企業級用戶提供定制數據服務,搭建比特幣的輕量級應用。此次發布的以太坊區塊瀏覽器將用其快速的解析速度,支持ETH和ERC-20 Token信息查詢。BTC.com還將結合自身礦池業務的優勢,展示礦池數據及交易手續費。目前,瀏覽器支持中英文兩種語言,據了解,后期BTC.com還將提供其他語言支持,上線專業化統計分析服務。[2018/11/1]

所以我們看字節碼最前面的部分,也就是它的部署代碼:608060405234801561001057600080fd5b5060b68061001f6000396000f3fe

對照 EVM 指令,我們可以識別出這段代碼的含義:

然后我們看合約的運行代碼:

綜合以上可以發現,合約的運行代碼的架構是這樣的:

初始化操作、函數選擇器這些,是 solc 在編譯 Solidity 程序的時候自動生成的。如果我們砍掉這些復雜的東西,直接把我們想要的核心功能編碼上去,不就可以在 10 條以內opcodes 實現既定功能了嗎?

通過分析 圖4 的 whatIsTheMeaningOfLife() 函數調用棧可以得知,讓智能合約返回 “42” ( 十六進制 0x2a) 的關鍵在于 先用 mstore 指令將 0x2a 放入 Memory , 再用 return 指令將內存里的 0x2a 返回即可。至于那些函數名稱和函數簽名,只是高級語言的編譯產物,直接用匯編實現的話,我們直接用這段代碼讀寫內存,完全沒有必要搞那些花里胡哨:

以上代碼相當于構造了一個十分小的合約“運行代碼”。前面我們說過,EVM 執行代碼時是按照自上而下的順序執行的,代碼中沒有其他入口點,始終從頂部 (也就是第一行 opcode ) 開始執行。而且我們編寫的代碼并沒有函數選擇器,也就是說,當外部賬戶調用該它時,無論傳遞給它什么樣的參數、什么樣的函數簽名, EVM 都只會從它的 [00] 處開始執行,老老實實地走到 [09],然后 return 給我們一個 0x20.

但這只是運行代碼,還記得本文開頭說的那三段字節碼嗎?是的,我們還差一個“運載火箭”(部署代碼),把這段運行代碼給發射出去:

部署代碼的結構基本沒怎么變,之前已有解析,此處就不羅嗦了,唯一的區別是把復制到內存的長度由 b6 改為 0a  : 608060405234801561001057600080fd5b50600a8061001f6000396000f3fe

然后把他們拼接到一起,記得部署代碼在前、運行代碼在后,最后我們把這段代碼發射出去就 OK了:

你將得到一個超級小巧、只有 10 個字節、無論傳遞什么參數都 只 會 返 回  42  的 “智能合約” (這么說看起來并不智能的樣子……)

全文完。

關于作者:

https://twitter.com/0xNezha

來源:bress

Bress

個人專欄

閱讀更多

金色早8點

Odaily星球日報

潘達看Web3

DeFi之道

區塊律動BlockBeats

比推 Bitpush News

Tags:以太坊CODEODECOD以太坊最新價格今天code幣騙局TNODETranscodium

幣安app官方下載最新版
《暗界神使》入駐N.Fans元宇宙9月2日上線Binance NFT_NFT:FANS

NFT在這個夏末成為了新的風潮,使得2021年成為了絕對的NFT元年。在這個絕對的風口,N.Fans乘勢而上,簽約了萬代南夢宮合作,并于9月2日20:00在全球范圍內首發NFT收藏品,上線Bin.

1900/1/1 0:00:00
盤點:全球前100上市公司區塊鏈應用現狀幾何?_區塊鏈:NFT

隨著區塊鏈技術在加密貨幣以外的領域的應用變得越來越多,企業對區塊鏈的興趣正在上升。例如,區塊鏈技術被用于提高供應鏈透明度、為客戶創建忠誠度計劃以及設計和營銷 NFT.

1900/1/1 0:00:00
金色觀察 | 從星巴克到可樂 加密域名會是下個風口?_ENS:TENSHI價格

金色財經 區塊鏈10月15日訊 近幾個月以來加密市場對于Web3域名服務展現出了極大興趣,Ethereum Name Service (“ENS”)和Unstoppable Domains這類去.

1900/1/1 0:00:00
熊市造就精品?盤點 20 個有趣的新 DeFi 項目_ANC:Dollypad Finance

原文作者:@GarrettZ,由 DeFi 之道翻譯編輯。加密領域有一個現象,即在熊市期間推出的產品更有可能成功.

1900/1/1 0:00:00
金色Web3日報 | 俄羅斯銀行建議對NFT、智能合約進行監管_NFT:元宇宙是不是個騙局錢能拿回來嗎

DeFi數據 1、DeFi代幣總市值:387.5億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量88.

1900/1/1 0:00:00
加密平臺再陷透明度危機 這些平臺已宣布將公布儲備金證明_BIT:coinbase下載鏈接

北京時間 11 月 9 日的凌晨注定是要被加密歷史記錄的一天。Binance 宣布有意收購 FTX,而同時加密社區對中心化交易平臺交易透明度再次產生懷疑.

1900/1/1 0:00:00
ads