區塊鏈安全
1
基礎知識
EVM虛擬機器在解析合約的位元組碼時,依賴的是ABI的定義,從而去識別各個欄位位於位元組碼的什麼地方。關於ABI,可以閱讀這個文件:
https://github.com/ethereum/wiki/wiki/Ethereum-Contract-ABI
一般ERC-20 TOKEN標準的代幣都會實現transfer方法,這個方法在ERC-20標籤中的定義為:function transfer(address to, uint tokens) public returns (bool success);
第一引數是傳送代幣的目的地址,第二個引數是傳送token的數量。
當我們呼叫transfer函式向某個地址傳送N個ERC-20代幣的時候,交易的input資料分為3個部分:
4 位元組,是方法名的雜湊:a9059cbb
32位元組,放以太坊地址,目前以太坊地址是20個位元組,高危補0 000000000000000000000000abcabcabcabcabcabcabcabcabcabcabcabcabca
32位元組,是需要傳輸的代幣數量,這裡是1*10^18 GNT 0000000000000000000000000000000000000000000000000de0b6b3a7640000
所有這些加在一起就是交易資料:
a9059cbb000000000000000000000000abcabcabcabcabcabcabcabcabcabcabcabcabca0000000000000000000000000000000000000000000000000de0b6b3a7640000
2
以太坊短地址
當呼叫transfer方法提幣時,如果允許使用者輸入了一個短地址,這裡通常是交易所這裡沒有做處理,比如沒有校驗使用者輸入的地址長度是否合法。
如果一個以太坊地址如下,注意到結尾為0:
0x1234567890123456789012345678901234567800
當我們將後面的00省略時,EVM會從下一個引數的高位拿到00來補充,這就會導致一些問題了。
這時,token數量引數其實就會少了1個位元組,即token數量左移了一個位元組,使得合約多傳送很多代幣出來。我們看個例子:
這裡呼叫sendCoin方法時,傳入的引數如下:
0x90b98a11 00000000000000000000000062bec9abe373123b9b635b75608f94eb8644163e 0000000000000000000000000000000000000000000000000000000000000002
這裡的0x90b98a11是method的hash值,第二個是地址,第三個是amount引數。
如果我們呼叫sendCoin方法的時候,傳入地址0x62bec9abe373123b9b635b75608f94eb8644163e,把這個地址的“3e”丟掉,即扔掉末尾的一個位元組,引數就變成了:
0x90b98a11 00000000000000000000000062bec9abe373123b9b635b75608f94eb86441600 00000000000000000000000000000000000000000000000000000000000002 ^^ 缺失1個位元組
這裡EVM把amount的高位的一個位元組的0填充到了address部分,這樣使得amount向左移位了1個位元組,即向左移位8。
這樣,amount就成了2 << 8 = 512。
3
構造短地址攻擊
(1)首先生成一個ETH的靚號,這個賬號末尾為2個0
使用一些跑號工具就可以做到,比如MyLinkToken工具,可以很輕易跑出末尾兩個0的。
(2)找一個交易所錢包,該錢包裡token數量為256000
(3)往這個錢包傳送1000個幣
(4)然後再從這個錢包中提出1000個幣,當然這時候寫地址的時候把最後兩個0去掉
如果交易所並沒有校驗使用者填入的以太坊地址,則EVM會把所有函式的引數一起打包,會把amount引數的高位1個位元組吃掉。
(5)這三個引數會被傳入到msg.data中,然後呼叫合約的transfer方法,此時,amount由於高位的1個位元組被吃掉了,因此amount = amount << 8,即擴大了256倍,這樣就把25600個幣全部提出來了。
4
總結
針對這個漏洞,說實話以太坊有不可推卸的責任,因為EVM並沒有嚴格校驗地址的位數,並且還擅自自動補充消失的位數。此外,交易所在提幣的時候,需要嚴格校驗使用者輸入的地址,這樣可以儘早在前端就禁止掉惡意的短地址。
Reference
-
https://blog.golemproject.net/how-to-find-10m-by-just-reading-blockchain-6ae9d39fcd95
-
http://vessenes.com/the-erc20-short-address-attack-explained/
-
https://ericrafaloff.com/analyzing-the-erc20-short-address-attack/
內容來源:知道創宇
作者:隱形人真忙