区块链安全

文章目录

  • 区块链安全
  • Create2实战二
  • 实验目的
  • 实验环境
  • 实验工具
  • 实验原理
  • 实验内容
  • Create2实战二 实验步骤

Create2实战二

实验目的

学会使用python3的web3模块
学会分析以太坊智能合约中的伪随机数问题
学会利用Create2可在同一地址部署不同合约特性解决伪随机数问题
找到合约漏洞进行分析并形成利用

实验环境

Ubuntu18.04操作机

实验工具

python3

实验原理

君士坦丁堡硬升级中引入了一个新操作码 CREATE2 ，它使用新的方式来计算常见的合约地址，让生成的合约地址更具有可控性
在 CREATE2 以前，CREATE指令创建的合约地址是通通过交易发起者（sender）的地址以及交易序号（nonce）来计算确定的。sender 和 nonce 进行 RLP 编码，然后用 Keccak-256 进行计算
CREATE2 指令则主要是根据创建合约的初始化代码(init_code)及盐(slat)生成
以太坊智能合约伪随机数问题，限制外部调用只能是EOA账户或者是extcodesize长度为0的合约账户
利用Create2可在同一地址部署合约特性解决在构造函数中猜测伪随机数问题

实验内容

合约中内置了伪随机数问题，找到合约漏洞并形成利用，人工输入一个地址addr，使合约的balances[addr]大于2000即可
使用python3的web3模块远程利用漏洞并获取flag
实验地址为nc ip 10012

Create2实战二 实验步骤

获取合约地址和合约源代码
nc ip 10012连接到题目，输入1，获取部署合约的game account及token

打开http://ip，输入上述分配的game account，点击Request获取eth


nc ip 10012连接到题目，输入2，获取部署合约的地址及new token

nc ip 10012连接到题目，输入4，获取合约源代码，或者在题目附件找到合约源代码

分析合约源代码漏洞

pragma solidity ^0.8.0;contract ETH12 { address owner;mapping(address => uint256) public balances;uint256 nonce;uint256 cost;uint256 lasttime;mapping(address => bool) public airdroprecord;mapping(address => uint256) public logger;bool public flag;constructor() { owner = msg.sender;nonce = 0;cost = 10;lasttime = block.timestamp;}function seal(address to, uint256 amount) public { require(msg.sender == owner, "you are not owner");balances[to] += amount;}function transferTo(address to, uint256 amount) public pure { require(amount == 0, "this function is not impelmented yet");}function airdrop() public { require(airdroprecord[msg.sender] == false,"you already got your airdop");airdroprecord[msg.sender] = true;balances[msg.sender] += 30;}function bet(uint256 value, uint256 mod) public { address _addr = msg.sender;re