攻击#下溢
尽管DAO合同并未成为下溢攻击的受害者，但我们可以利用现有的babyDAO合同{}来更好地了解这种过于常见的攻击方式。
首先我们了解uint256是什么。 uint256是256位的无符号整数（无符号，只有正整数）。以太坊虚拟机被设计为使用256位作为其字大小，或者由计算机的CPU一次处理的位数。由于EVM的大小限制为256位，因此分配的编号范围为0到4,294,967,295（2²⁵⁶）。如果我们超过这个范围，数字将重置到范围的底部（2²⁵⁶+ 1 = 0）。如果我们进入这个范围，数字将重置到范围的顶端（0-1 =2²⁵⁶）。
当我们从零中减去一个大于零的数字时，会发生下溢，从而产生一个新分配的2²⁵⁶整数。现在如果攻击者的余额出现下溢，则会更新余额，以便所有资金都可能被盗。
如何攻击
-
攻击者通过向目标合同发送1 Wei发起攻击；
-
合同将发送方的资金记入贷方；
-
随后撤回相同的1 Wei；
-
合同从发件人的信用中减去1 Wei，现在余额再次为零；
-
由于目标合同向攻击者发送以太币，攻击者的撤回功能也会触发，并再次调用撤消；
-
撤回的1 Wei被记录在合同中；
-
攻击者合同的余额已更新两次，第一次为零，第二次为-1；
-
攻击者的余额重置为2²⁵⁶；
-
攻击者通过撤回目标合同的所有资金来完成攻击；
攻击代码
解决方案
为避免成为下溢攻击的受害者，最佳做法是检查更新的整数是否保持在其字节范围内。 我们可以在代码中添加参数检查以充当最后一道防线。 第一行函数withdraw（）检查是否有足够的资金，第二行检查溢出，第三行检查是否有下溢。
本文转载公众号：区块链研究实验室