EVM并没有严格校验 可以发起以太坊短地址攻击
ddgghhjjkk
发表于 2022-12-15 09:11:23
72
0
0
3 g3 H0 n7 M* e
第一参数是发送代币的目的地址,第二个参数是发送token的数量。
当我们调用transfer函数向某个地址发送N个ERC-20代币的时候,交易的input数据分为3个部分:
1 f. C6 D( s* m) ` B
4 字节,是方法名的哈希:a9059cbb
32字节,放以太坊地址,目前以太坊地址是20个字节,高危补03 P% t. N+ E2 I) @& n
000000000000000000000000abcabcabcabcabcabcabcabcabcabcabcabcabca
5 |8 _; \4 f- I5 v' }! x
32字节,是需要传输的代币数量,这里是1*10^18 GNT
0000000000000000000000000000000000000000000000000de0b6b3a7640000
3 R3 |7 p$ f [' q5 N2 O. X* x5 G
所有这些加在一起就是交易数据:
P# s$ M- \) k% W
a9059cbb000000000000000000000000abcabcabcabcabcabcabcabcabcabcabcabcabca0000000000000000000000000000000000000000000000000de0b6b3a7640000
0x01 以太坊短地址
1 _' r! O9 `, q
当调用transfer方法提币时,如果允许用户输入了一个短地址,这里通常是交易所这里没有做处理,比如没有校验用户输入的地址长度是否合法。/ A) F7 X2 r4 s- {* ]! H. U
如果一个以太坊地址如下,注意到结尾为0: ]0 _3 |) \0 z3 q; ~
) ^* Q% ^' o+ w
0x12345678901234567890123456789012345678006 |; D1 I# K2 C: \
7 L3 s8 |4 h9 H; T# K0 V% J& y& y
当我们将后面的00省略时,EVM会从下一个参数的高位拿到00来补充,这就会导致一些问题了。6 K, {2 u: L n( s# g( U9 B$ H
8 W/ S0 n- N0 |7 S* _( V, X
这时,token数量参数其实就会少了1个字节,即token数量左移了一个字节,使得合约多发送很多代币出来。我们看个例子:
这里调用sendCoin方法时,传入的参数如下:
0x90b98a11 00000000000000000000000062bec9abe373123b9b635b75608f94eb8644163e 0000000000000000000000000000000000000000000000000000000000000002
; H* z) [' O N: j! k( s5 o4 p
这里的0x90b98a11是method的hash值,第二个是地址,第三个是amount参数。- R6 }3 [ o; ]8 y
如果我们调用sendCoin方法的时候,传入地址0x62bec9abe373123b9b635b75608f94eb8644163e,把这个地址的“3e”丢掉,即扔掉末尾的一个字节,参数就变成了:
0x90b98a11 00000000000000000000000062bec9abe373123b9b635b75608f94eb86441600 00000000000000000000000000000000000000000000000000000000000002 ^^ 缺失1个字节
; h" |; V6 x) Q& \- f8 C* u5 u) e
这里EVM把amount的高位的一个字节的0填充到了address部分,这样使得amount向左移位了1个字节,即向左移位8。
这样,amount就成了2, _9 s# ^; r: ` ]9 p
5 |7 ^' S$ d) c) W) B4 n9 x
0x02 构造短地址攻击5 q3 U: w8 V: V' K3 v2 J
(1)首先生成一个ETH的靓号,这个账号末尾为2个0
使用一些跑号工具就可以做到,比如MyLinkToken工具,可以很轻易跑出末尾两个0的。
" ~0 x$ h( I0 q6 u4 Q' V( u
(2)找一个交易所钱包,该钱包里token数量为256000" V( _8 h$ H# F2 k2 H; a( o
. M+ q3 L0 t% m1 p5 ^: }; I# ]
(3)往这个钱包发送1000个币
(4)然后再从这个钱包中提出1000个币,当然这时候写地址的时候把最后两个0去掉- N& }( Y; c z& h) @0 p# k
9 _$ K ]2 q0 I T J/ F8 Q
如果交易所并没有校验用户填入的以太坊地址,则EVM会把所有函数的参数一起打包,会把amount参数的高位1个字节吃掉。! q/ n2 d; h9 X, z. P ~
" e* |( l9 u7 T8 m, s
(5)这三个参数会被传入到msg.data中,然后调用合约的transfer方法,此时,amount由于高位的1个字节被吃掉了,因此amount = amount, C: _8 n" d( W$ L0 _% o7 F; S- R; P0 G
! \$ K' z& c _6 a) L! D3 e
0x03 总结
/ W; |" z, F; W7 r5 }# k2 F
针对这个漏洞,说实话以太坊有不可推卸的责任,因为EVM并没有严格校验地址的位数,并且还擅自自动补充消失的位数。此外,交易所在提币的时候,需要严格校验用户输入的地址,这样可以尽早在前端就禁止掉恶意的短地址。
成为第一个吐槽的人