買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > Coinw > Info

CAL:解構智能合約(3):功能選擇器_SODATSU

Author:

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

HI,歡迎我一起繼續解構智能合約。本文是系列文章的第三部分,如果您還沒有閱讀之前的文章,請先看一下:前言:基礎代碼與操作方式;創造與運行時間代碼解析;我們正在解構一個簡單的Solidity智能合約的EVM字節碼。在上一篇文章中,我們確定了將智能合約的字節碼分為創建和運行兩部分,并且知道了為什么這么做,深入了解了創建部分后,現在是時候開始我們對運行時部分的探索了。如果你看一下解構圖,我們可以首先看一下名為BasicToken.evm的第二個大拆分塊。這可能看起來有點可怕,因為運行的代碼長度至少是創建代碼大小的四倍!但不要擔心,我們在之前的文章中為了解EVM代碼而開發的技能,加上我們使用絕對可靠的“分而治之”的策略,將使這一挑戰更加系統化,甚至可能更容易。這只是開始,我們將繼續識別獨立結構,繼續拆分直到分解為一個個可解決的問題為止。首先,讓我們回到Remix在線編輯器,并使用運行時字節碼啟動調試會話。我們怎么做?上次,我們部署了智能合約并調試了部署事務。這一次,我們將使用其中一個函數與已部署的智能合約接口進行交互,并調試該事務。首先,一起回想一下我們的智能合約:我們啟用了優化的編譯器的JavascriptVM,v0.4.24版本,并將10000作為初始供應。部署智能合約后,你應該看到它在Remix上的“run”面板“DeployedContracts”的部分中列出。單擊它可以展開看到智能合約的界面。這個界面是什么?它是智能合約中所有公共或外部方法的列表-即任何以太坊帳戶或智能合約都可以與之交互。私人和內部方法不會在這里顯示,如何與智能合約運行時代碼的特定部分進行交互,將是本文解構的重點。我們可以嘗試一下,單擊Remix的“run”面板中的totalSupply按鈕。您應該立即在按鈕下方看到響應,這是我們所期望的,因為我們將智能合約作為初始token供應部署。現在,在Console面板中,單擊Debug按鈕以使用此特定事務啟動調試會話。請注意,Console面板中將有多個Debug按鈕;確保你使用的是最新版本。在這種情況下,我們沒有調試到該0x0地址的事務,正如我們在上一篇文章中看到的那樣,創建了一個智能合約。相反,我們正在調試對智能合約本身的事務-即它的運行時代碼。如果彈出“指令”面板,則應該能夠驗證Remix列出的指令與解構圖中BasicToken.evm部分中的指令相同。如果它們不匹配,則出現問題。嘗試重新開始并確保您使用上述正確的設置。您可能會注意到的第一件事是調試器將您置于指令246并且事務滑塊位于字節碼的大約60%處。為什么?因為Remix是一個非常慷慨的程序,它直接帶你到EVM即將執行totalSupply函數體的部分。然而,在此之前發生了很多事情,這些都是我們在這里要注意的。實際上,我們甚至不會在本文中研究函數體的執行情況。我們唯一關注的是Solidity生成的EVM代碼如何路由傳入的事務,這是我們作為合約的“功能選擇器”將要理解的工作。因此,抓住滑塊并將其一直拖到左邊,這樣我們就從指令零開始。正如我們之前看到的,EVM總是從指令0執行代碼,沒有異常,然后流經其余代碼。讓我們通過操作碼來完成這個執行操作碼。出現的第一個結構是我們以前見過的:

數據:某地址于6月20日至21日買入157萬枚ARB,目前浮盈13%:6月27日消息,據Spot On Chain監測,過去7天,ARB價格從1.01美元上漲至1.19美元(漲幅達17.8%)。0x373開頭巨鯨地址于6月20日至21日以1053美元的均價(約合165萬美元)將939枚ETH兌換為157萬枚ARB,開設了ARB頭寸。根據當前價格,該地址的ARB預期利潤為21.5萬美元(投資回報率:13%)。[2023/6/27 22:02:14]

圖1.空閑內存指針這是Solidity生成的EVM代碼將始終在調用之前執行的任何操作:將一個點保存在內存中以便稍后使用。讓我們看看接下來會發生什么:

圖2.Calldata長度檢查。如果在Debug選項卡中打開Remix的Stack面板并跳過指令5到7,您將看到堆棧現在包含兩次數字。如果您在閱讀這些超長數字時遇到問題,請注意您調整Remix調試面板的寬度,以便數字很好地適合單行。第一個來自常規推送,但第二個是執行操作碼的結果,正如黃皮書所述,沒有參數并返回“當前環境中的輸入數據”的大小,或者我們經常稱為calldata:4CALLDATASIZE什么是calldata?正如Solidity的文檔ABI規范中所解釋的,calldata是一個十六進制數字的編碼塊,其中包含有關我們要調用的智能合約函數的信息,以及它的參數或數據。簡單地說,它由一個“函數id”組成,它是通過散列函數的簽名然后是壓縮參數數據生成的。如果需要,您可以詳細研究文檔鏈接,但不要擔心這個包裝如何工作到最精細的細節。它在文檔中有解釋,但有點難以一次掌握。用實際例子來理解它會容易得多。讓我們看看這個calldata是什么。在Remix的調試器中打開“調用數據”面板,查看:0x18160ddd。這是通過將keccak256函數簽名上的算法應用為字符串來精確生成的四個字節"totalSupply()"?并執行所述截斷。由于此特定函數不帶參數,因此它只是:一個四字節的函數id。當CALLDATASIZE被調用時,它只是將第二個推4入堆棧。然后,指令8LT用于驗證calldata大小是否小于4。如果是,則以下兩條指令執行JUMPI指令86。這不到四個字節,因此在這種情況下不會有跳轉,執行流將繼續執行指令13.但在我們這樣做之前,讓我們假設我們用空的calldata調用我們的智能合約-也就是說,0x0而不是0x18160ddd。你不能用Remixbtw做到這一點,但你可以手動構建交易。在這種情況下,我們最終會進入指令86,它基本上將幾個零推送到堆棧并將它們提供給REVERT操作碼。為什么?好吧,因為這個智能合約沒有后備功能。如果字節碼沒有識別傳入數據,它會將流轉移到回退函數,如果該結構沒有“捕獲”調用,則此恢復結構將終止執行,絕對沒有回滾。如果沒有什么可以回歸,那么就沒有任何事可做,而且呼叫完全恢復了。現在,讓我們做一些更有趣的事情。返回Remix的Run選項卡,復制Account地址,并將其用作參數來調用balanceOf而不是totalSupply調試該事務。這是一個全新的調試會話;讓我們暫時忘記吧totalSupply。導航到指令8,CALLDATASIZE現在將36推入堆棧。如果你看看calldata,那就是現在0x70a08231000000000000000000000000ca35b7d915458ef540ade6068dfe2f44e8fa733c。這個新的calldata實際上非常容易分解:前四個字節70a08231是簽名的散列,后面"balanceOf(address)"的32個字節包含我們作為參數傳遞的地址。為什么32個字節,如果以太坊地址只有20個字節長,好奇的讀者可能會問?ABI總是使用32字節“字”或“槽”來保存函數調用中使用的參數。繼續在我們的balanceOf調用環境中,讓我們在指令13處離開我們離開的地方,此時堆棧中沒有任何內容。指令13然后推0xffffffff送到堆棧,并且下一條指令將29字節長的0x000000001000…000數字推送到堆棧。我們馬上就會明白為什么。現在,只需要注意一個包含四個字節,另一個包含四個字節的0's'。接下來CALLDATALOAD取一個參數并從該位置的calldata讀取一個32字節的塊,在這種情況下,在Yul中將是:calldataload基本上將我的整個calldata推到堆棧。現在來了有趣的部分。DIV從堆棧中消耗兩個參數,獲取calldata并將其除以奇怪的0x000000001000…000數字,有效地過濾除了calldata中的函數簽名之外的所有內容,并將其留在堆棧中:0x000…000070a08231。下一條指令使用AND,它也消耗堆棧中的兩個元素:我們的函數id和帶有四個字節的數字f。這是為了確保簽名哈希正好是八個字節長,如果存在任何其他內容,則屏蔽其他任何內容。我認為,Solidity使用的安全措施。簡而言之,我們只是檢查calldata是否太短,如果是這樣,還原,然后稍微改進,以便我們在堆棧中有我們的函數,另外,我們差不多完成了。下一部分會很容易理解:

SBF:目前流動性資產負債80億美元,半/非流動性資產賬面價值為90億美元:11月16日消息,SBF發文粗略估計目前的情況:擁有流動性資產為-80億美元;半流動性資產為55億美元;非流動性資產為35億美元。SBF表示,或許現在90億美元半/非流動性資產(按市值計價,10億美元凈值)不值90億美元。但這些資產在一個月前值180億美元(100億美元凈值)。[2022/11/16 13:12:00]

圖3.函數選擇器在指令53處,代碼將18160ddd推送到堆棧,然后使用aDUP2來復制70a08231當前存在于堆棧中第二位置的傳入calldata值。為什么要復制?因為EQ指令59處的操作碼將消耗堆棧中的兩個值,并且我們希望保持70a08231值,因為我們經歷了從calldata中提取它的麻煩。代碼現在將嘗試將calldata中的函數id與已知函數id之一進行匹配。由于70a08231進入,它將不匹配18160ddd,跳過JUMPIat指令63.但它將在下一次檢查中匹配并在指令74跳轉到JUMPI。讓我們花點時間觀察一下這些平等檢查對智能合約的每個公共或外部功能。這是函數選擇器的核心:充當某種switch語句,只是簡單地將執行路由到代碼的正確部分。這是我們的“中心”。因此,由于最后一個案例是匹配,執行流程將我們帶到JUMPDESTat位置130,正如我們將在本系列的下一部分中看到的那樣,該balanceOf函數的ABI“包裝器”。正如我們將看到的,這個包裝器將負責解包事務的數據以供函數體消耗。繼續嘗試transfer這次調試功能。功能選擇器真的沒有神秘感。這是一個簡單而有效的結構,位于每個合約的門口并將執行重定向到代碼中的適當位置。這就是Solidity為智能合約的字節碼提供模擬多個入口點的能力的方式,因此也就是界面。看一下解構圖,這就是我們剛剛解構的:

Solidity.Io發布ApeCoin DAO NFT市場審計報告:未發現嚴重漏洞:金色財經報道,Solidity.io創始人@alexmccurryo發推稱,Solidity.io已經發布Snag Solutions的ApeCoin市場的審計報告,并沒有發現嚴重的漏洞。

此前ApeCoin DAO已投票決定將Snag Solutions的ApeCoin市場設定為官方ApeCoin DAO NFT Marketplace,之后ApeCoin DAO聘請Solidity.io對其業務進行全面審計。隨著審計完成,Snag Solutions透露,ApeCoin市場已經準備好在下周推出。[2022/11/13 12:57:44]

圖4.函數選擇器和智能合約的運行時代碼主入口點。總而言之,伙計們,不知不覺中你對solidity的底層代碼熟悉程度超過了大部分人,堅持下去,你就能徹底把它打開。*本文由AlejandroSantander首發于medium,由獵豹區塊鏈安全翻譯并整理*獵豹區塊鏈安全以金山霸的技術為依托,結合人工智能、nlp等技術,為區塊鏈用戶提供合約審計、情感分析等生態安全服務。Ratingtoken官網https://www.ratingtoken.net/?from=z

韓國游戲開發商Com2u已啟動新的區塊鏈主網XPLA:8月22日消息,據外媒報道,韓國游戲開發商Com2uS于8月19日下午創建了創世區塊,并正式啟動了區塊鏈主網“XPLA”。在創世區塊創建之前,現有C2X代幣首次銷毀也正常完成。銷毀的C2X將重新發行與主網啟動時相同數量的XPLA。流通中的C2X也會在某個時間點轉換成等量的XPLA。XPLA官網也隨著主網的上線而發布,并介紹XPLA的愿景是發展成為一個包含未來數字內容和平臺的區塊鏈生態系統。

此前消息,Com2uS欲將其C2X平臺脫離Terra區塊鏈,擬推出C2X主網。(Digital Today)[2022/8/22 12:39:52]

LayerZero與全鏈NFT協議Holograph達成戰略合作:6月29日消息,多鏈互操作性協議開發商 LayerZero Labs 與全鏈 NFT 協議 Holograph 建立合作伙伴關系。Holograph 的解決方案允許 NFT 在區塊鏈間無縫轉移而無需封裝,LayerZero 將作為 Holograph 的跨鏈消息傳遞解決方案為其提供支持。(u.today)[2022/6/29 1:37:53]

Tags:DATATACALDATASODATSUData Delivery NetworkMedicalAIDATAM

Coinw
ORN:七駁死亡螺旋,比特幣基本面一直在加強_比特幣

最近,比特幣“死亡螺旋”成了社區熱議的話題。這件事情的起因,是由于美國金融專家、圣克拉拉大學金融學教授奧圖亞?沙林在《市場觀察》上發布了一篇專欄文章,其中稱比特幣將變得一文不值,因為其正在進入死.

1900/1/1 0:00:00
比特幣價格:忽然穩定在3500美元區間?原來芝商所比特幣期貨合約快到期了_電廠BTC什么意思

加密貨幣市場近期經歷了一系列的高波動之后,比特幣價格從本周二開始表現出了一些觸底反彈的跡象,其橫盤整理已經來到了略高于3500美元的心理支撐位.

1900/1/1 0:00:00
APE:裁員三分之一后,這家公司的CEO寫下了這些反思_ape幣價格今日行情比特幣價格

據ShapeShift的CEOErikVoorhees發布在Medium的一篇文章《OvercomingShapeShift’sCryptoWinterandthePathAhead》顯示.

1900/1/1 0:00:00
FIN:詳解 SEC 處理 Token 銷售違規案例_JSEcoin

SEC在2017年7月27日發布了著名調查報告—「ReportofInvestigationPursuanttoSection21(a)oftheSecuritiesExchangeActof1.

1900/1/1 0:00:00
TRU:星球日報 | 詹克團、吳忌寒或將卸任比特大陸CEO;廈門對鏈企給予最高百萬研發補助;美聯儲報告:央行數字貨幣根本不是加密幣_ConnectChain

頭條 星球獨家|詹克團、吳忌寒或將同時卸任比特大陸CEO星球日報訊,12月28日,Odaily星球日報獨家獲悉,吳忌寒和詹克團不久或將同時卸任比特大陸CEO一職,接任者為王姓人士.

1900/1/1 0:00:00
INE:新加坡區塊鏈資產安全初創公司 Propine 完成 120 萬美元種子輪融資_PIN

新加坡區塊鏈公司Propine宣布完成了一筆120萬美元的種子輪融資,領投方為本土風險投資公司DecacornCapital.

1900/1/1 0:00:00
ads