買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 火必 > Info

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

Author:

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

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

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

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

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

Chainlink:協議及服務將繼續在以太坊上運行,不支持PoW等分叉:據官方消息,Chainlink發文表示,在以太坊合并期間和合并之后,Chainlink協議及其服務將繼續在以太坊上運行,不支持以太坊網絡的分叉,包括PoW分叉,這與以太坊社區將鏈升級為PoS的決定一致。對于不確定其圍繞合并的遷移策略的以太坊開發人員和DApp團隊,建議暫停智能合約操作,以避免不可預見的事件并幫助保護用戶。[2022/8/8 12:08:54]

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

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

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

以太坊銷毀ETH總價值突破2億美元:8月20日消息,據最新數據顯示,以太坊銷毀ETH總價值突破2億美元,本文撰寫時全網ETH銷毀量為66398.7枚,約合214,989,336.87美元。目前以太坊網絡24小時銷毀率為2.45ETH/分鐘(約合7,942.12 美元/分鐘),1小時銷毀率為2.17 ETH/分鐘(約合7,025.17 美元/分鐘),區塊利用率為50.9%,Base fee為35.5 GWei。[2021/8/20 22:26:11]

608060405234801561001057600080fd5b5060b68061001f6000396000f3fe6080604052348015600f57600080fd5b506004361060285760003560e01c8063650500c114602d575b600080fd5b60336047565b604051603e91906067565b60405180910390f35b6000602a905090565b6000819050919050565b6061816050565b82525050565b6000602082019050607a6000830184605a565b9291505056fea26469706673582212206ef8c7b5177952a701b3b46b69cb3ec296f4c54c946692e8ec901f5e43c1e78a64736f6c63430008110033

以太坊未確認交易為132,661筆:金色財經消息,據OKLink數據顯示,以太坊未確認交易132,661筆,當前全網算力為404.64TH/s,全網難度為5.38P,當前持幣地址為55,961,996個,同比增加146,307個,24h鏈上交易量為3,214,943.36ETH,當前平均出塊時間為13s。[2021/3/8 18:26:26]

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

合約部署代碼:

608060405234801561001057600080fd5b5060b68061001f6000396000f3fe

合約運行代碼:

6080604052348015600f57600080fd5b506004361060285760003560e01c8063650500c114602d575b600080fd5b60336047565b604051603e91906067565b60405180910390f35b6000602a905090565b6000819050919050565b6061816050565b82525050565b6000602082019050607a6000830184605a565b9291505056fe

以太坊2.0存款合約積累近5.05萬ETH,完成度約9.6%:據以太坊基金會數據顯示,以太坊2.0存款合約目前已積累50497 ETH,相比需要52.4萬ETH才能啟動以太坊2.0網絡,目前的完成度約9.63%。根據之前公開的上線規則,如果在12月1日的7天之前可以滿足啟動的最低ETH存款量,ETH2.0網絡將在該日啟動,否則將在滿足最低質押量的7天后啟動。[2020/11/10 12:13:41]

auxdata:

a26469706673582212206ef8c7b5177952a701b3b46b69cb3ec296f4c54c946692e8ec901f5e43c1e78a64736f6c63430008110033

我們先簡單地把這堆代碼分為合約的部署代碼、運行代碼、auxdata三部分,如何理解這三種代碼呢?我覺得可以理解為向太空發射衛星:“部署代碼”就是運載火箭,而“運行代碼”就是衛星。運載火箭只在發射衛星時才起到作用,一旦衛星進入軌道,火箭就廢棄了,只留下衛星在太空中與地球通信。部署合約也是如此,在部署合約時,部署代碼把一些初始化工作作完之后,就把合約的運行代碼送入EVM,只留下運行代碼在鏈上與用戶進行交互。

Pantera Capital創始人:比特幣、以太坊等數字資產將挑戰美元主導地位:Pantera Capital創始人Dan Morehead表示,從長遠來看,比特幣,以太坊和XRP等領先的數字資產將挑戰美元此前的主導地位。當前的經濟背景可能標志著美元主導地位終結的開始。“我可以得出的關于加密貨幣的唯一結論是,在六到九個月的時間內,它將是非常積極的。”((The Daily Hodl))[2020/4/26]

那么言歸正傳,我們題目要求我們合約運行代碼的opcedes不超過10條,那么,這段代碼對應的opcodes是多少條呢?答:71條。

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

首先我們要知道,EVM執行代碼時是按照自上而下的順序執行的,代碼中沒有其他入口點,始終從頂部(也就是第一行opcode)開始執行。。也就是說,當我們部署合約時,EVM會從第一個bytecode開始讀起。

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

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

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

6080604052348015600f57600080fd5b506004361060285760003560e01c8063650500c114602d575b600080fd5b60336047565b604051603e91906067565b60405180910390f35b6000602a905090565b6000819050919050565b6061816050565b82525050565b6000602082019050607a6000830184605a565b9291505056fe

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

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

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

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

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

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

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

你將得到一個超級小巧、只有10個字節、無論傳遞什么參數都只會返回?42?的“智能合約”

全文完。

關于作者:

https://twitter.com/0xNezha

來源:bress

Tags:以太坊ETHSOLODE以太坊交易所有幾個EETH幣sol幣價格最新消息BNODE

火必
COI:資料:使DAO具有粘性的四個因素_SCO

對“傳統”員工滿意度的研究一再表明,工作中有五個關鍵因素(可以這么說):任務樂趣、對任務重要性的理解、員工、反饋文化和成長機會.

1900/1/1 0:00:00
RTX:以太坊合并后:英偉達受難 “礦工”暴富夢終結_以太坊幣價格今日行情價格紅色是漲嗎

在全世界的注視下,世界第二大虛擬貨幣以太坊正式從PoW轉為PoS機制,完成了業界革命的“TheMerge”合并升級.

1900/1/1 0:00:00
比特幣:Messari:比特幣第三季度數據解讀_MES

除生態開發活躍度外,比特幣其他數據幾乎都出現了大幅下滑。撰文:SamiKassab、KunalGoel,Messari研究員編譯:Babywhale,ForesightNews 重要觀點: 第三.

1900/1/1 0:00:00
RAI:NFT 效用的思考:如何引發新一輪熱潮?_NFTL

原文標題:《TiCapitalInsights|NFT效用的思考》撰文:alpacacheeze,太和研究員2021年是NFT的元年,NFT市場在2022初達到48億美金的交易量頂峰.

1900/1/1 0:00:00
加密貨幣:需要監管的應是Web3應用 而非協議_GSMT

原文作者:MilesJennings互聯網的許多早期支持者主張永遠保持自由和開放,使其成為全人類的無邊界和無監管的工具。在過去的20年里,隨著政府對濫用行為的打擊,這一愿景失去了一些明確性.

1900/1/1 0:00:00
PHO:速覽Morpho:兼顧流動性與資本效率的借貸池優化器_Mecha Morphing

在DeFi市場,「點對池」的設計與使用,為深受流動性桎梏的協議提供可行性的解決方案。前不久,備受推崇的NFT交易平臺Sudoswap,同樣也成為該模式的使用者與受益者.

1900/1/1 0:00:00
ads