Solidity攻击合约:重入攻击与危害分析

        以太坊智能合约开发中,重入攻击是一种常见的安全漏洞。这种攻击通常发生在合约的递归调用中,攻击者通过构造恶意交易,使得原本合约在执行过程中不断调用自身或其他合约,从而耗尽合约的Gas(交易费用),或者导致意外的状态改变。

目录

一、原本合约示例

假设我们有一个简单的“代币合约”(TokenContract),它允许用户之间进行代币的转账。

代码如下:

二、攻击合约示例

攻击者可以创建一个攻击合约(AttackContract)。

利用重入攻击来耗尽原本合约的Gas或执行意外的操作。下面是一个简单的攻击合约示例:

三、危害及攻击实现

这会导致两个主要问题:

攻击实现:攻击者会按照以下步骤执行攻击:

总结



一、原本合约示例

  • 假设我们有一个简单的“代币合约”(TokenContract),它允许用户之间进行代币的转账。
  • 代码如下:
// SPDX-License-Identifier: MIT  
pragma solidity ^0.8.0;  
  
contract TokenContract {  
    mapping(address => uint256) public balances;  
    uint256 public totalSupply;  
  
    constructor() {  
        totalSupply = 1000000;  
        balances[msg.sender] = totalSupply;  
    }  
  
    function transfer(address _to, uint256 _value) public returns (bool) {  
        require(balances[msg.sender] >= _value, "Insufficient balance");  
        require(_to != address(0), "Cannot transfer to the zero address");  
  
        balances[msg.sender] -= _value;  
        balances[_to] += _value;  
  
        emit Transfer(msg.sender, _to, _value);  
        return true;  
    }  
  
    event Transfer(address indexed from, address indexed to, uint256 value);  
}

  • 在这个合约中,transfer函数允许用户将一定数量的代币转移给另一个地址。转移之前,它会检查发送者的余额是否足够,并防止向零地址转账。

二、攻击合约示例

  • 攻击者可以创建一个攻击合约(AttackContract)。
  • 利用重入攻击来耗尽原本合约的Gas或执行意外的操作。下面是一个简单的攻击合约示例:
// SPDX-License-Identifier: MIT  
pragma solidity ^0.8.0;  
  
contract AttackContract {  
    address public targetToken;  
    uint256 public attackValue;  
  
    constructor(address _targetToken) {  
        targetToken = _targetToken;  
    }  
  
    fallback() external payable {  
        TokenContract(targetToken).transfer(address(this), attackValue);  
    }  
}

  •         在这个攻击合约中,fallback函数是合约的一个特殊函数,当合约收到不匹配的函数调用或Ether时会被调用
  • 攻击者可以通过构造一个交易,向攻击合约发送资金,并触发fallback函数
  • fallback函数中,攻击合约会调用原本合约transfer函数,将代币转回攻击合约自身。


三、危害及攻击实现

  • 危害重入攻击的危害在于,攻击者可以构造一个递归调用的链,使得原本合约在处理转账时不断调用攻击合约的fallback函数,进而不断调用原本合约的transfer函数。
这会导致两个主要问题:
  • Gas耗尽:由于每次调用都会消耗一定的Gas,递归调用会导致Gas迅速耗尽,使得原本合约无法完成其他操作或导致交易失败。
  • 状态改变:如果原本合约中存在其他与转账相关的逻辑(转账前的权限检查、转账后的回调函数等),重入攻击可能导致这些逻辑被意外触发多次,从而导致意外的状态改变。

攻击实现:攻击者会按照以下步骤执行攻击:

  • 部署原本合约(TokenContract)。
  • 部署攻击合约(AttackContract),并将原本合约的地址作为参数传递给攻击合约的构造函数。
  • 构造一个交易,向攻击合约发送指定数量的Ether,触发其fallback函数
  • fallback函数会调用原本合约的transfer函数,尝试将代币转移回攻击合约自身。
  • 由于transfer函数的调用触发了攻击合约的fallback函数,这会导致递归调用。
  • 递归调用会持续进行,直到Gas耗尽或达到以太坊区块链的调用深度限制,导致原本合约无法继续执行其他操作。

总结

        本文通过一个简单的Solidity合约示例,展示了重入攻击合约的实现及其对原本合约的危害。这个例子再次强调了智能合约安全性的重要性,开发者需要仔细审查合约代码,确保没有可能导致递归调用的逻辑漏洞。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/443281.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

数据结构与算法----复习Part 13 (单模式串匹配算法)

本系列是算法通关手册LeeCode的学习笔记 算法通关手册(LeetCode) | 算法通关手册(LeetCode) (itcharge.cn) 目录 一,朴素匹配算法(Brute Force) 二,Rabin Karp算法 三&#xff…

【NR 定位】3GPP NR Positioning 5G定位标准解读(十二)-Multi-RTT定位

前言 3GPP NR Positioning 5G定位标准:3GPP TS 38.305 V18 3GPP 标准网址:Directory Listing /ftp/ 【NR 定位】3GPP NR Positioning 5G定位标准解读(一)-CSDN博客 【NR 定位】3GPP NR Positioning 5G定位标准解读(…

C语言字符串型常量

在C语言中,字符串型常量是由一系列字符组成的常量。字符串常量在C中以双引号(")括起来,例如:“Hello, World!”。字符串常量在C中是不可变的,也就是说,一旦定义,就不能修改其内…

Python 一步一步教你用pyglet仿制鸿蒙系统里的时钟

目录 鸿蒙时钟 1. 绘制圆盘 2. 创建表类 3. 绘制刻度 4. 刻度数值 5. 添加指针 6. 转动指针 7. 联动时间 8. 时钟走动 鸿蒙时钟 本篇将用python pyglet库复刻华为手机鸿蒙系统闹钟程序的时钟,先在上图中抓取出时分秒针及刻度、表盘的颜色RGB值&#xff1a…

读书笔记之《理解和改变世界》:从信息知识智能的本质看AI

《理解和改变世界: 从信息到知识与智能》作者:是(法) 约瑟夫希发基思, 原作名: Understanding and Changing the World: From Information to Knowledge and Intelligence,2023年出版。 约瑟夫希发基思(Joseph Sifakis)&#xff…

力扣199. 二叉树的右视图(DFS,BFS)

Problem: 199. 二叉树的右视图 文章目录 题目描述思路解题方法复杂度Code 题目描述 思路 无论是DFS还是BFS我们都要思考到达二叉树的每一层(或者每一层中的每一个节点)时,我们都该如何按题目要求做出对应得处理!!!在本体中我们主要是&#x…

leetcode 热题 100_缺失的第一个正数

题解一: 正负模拟哈希:偏技巧类的题目,在无法使用额外空间的情况下,只能在原数组中做出类似哈希表的模拟。除去数值,我们还可以用正负来表示下标值的出现情况。首先,数组中存在正负数和0,而负数…

Ubuntu下使用DAPLink(OpenOCD)

目录 1. 下载OpenOCD源代码 2. 编译代码 2.1 运行bootstrap 2.2 安装关联库 2.3 运行./configure 2.4 运行make 2.5 运行sudo make install 3. 烧录程序 3.1 挂起MCU 3.2 写入镜像 3.3 校验镜像 通过OpenOCD实现,在Ubuntu18 64bit下验证。 1. 下载OpenOC…

初识C++编程语言(万字详解)

目录 ::域作用限定符 命名空间域(namespace): 流插入和流提取(C的输入输出) 缺省参数: 函数重载: 引用: 内联函数: auto关键字: 1、类型思考: 2、auto介绍&am…

HarmonyOS NEXT应用开发案例——列表编辑实现

介绍 本示例介绍用过使用ListItem组件属性swipeAction实现列表左滑编辑效果的功能。 该场景多用于待办事项管理、文件管理、备忘录的记录管理等。 效果图预览 使用说明: 点击添加按钮,选择需要添加的待办事项。长按待办事项,点击删除后&am…

java网络编程 01 IP,端口,域名,TCP/UDP, InetAddress

01.IP 要想让网络中的计算机能够互相通信,必须为计算机指定一个标识号,通过这个标识号来指定要接受数据的计算机和识别发送的计算机,而IP地址就是这个标识号,也就是设备的标识。 ip地址组成: ip地址分类:…

HCIP --- BGP 综合实验

实验拓扑图: 实验要求: 1.AS1存在两个环回,一个地址为192.168.1.0/24该地址不能 在任何协议中宣告 AS3中存在两个环回,一个地址为192.168.2.0/24该地址不能在任何协议中宣告,最终要求这两个环回可以互相通讯. 2.整个…

基于Netty框架的位置服务平台的设计与实现

目 录 摘 要 I Abstract II 引 言 1 1 相关技术 3 1.1 开发环境及开发工具 3 1.2 相关知识简介 3 1.3 本章小结 4 2 系统分析 5 2.1 设计背景 5 2.2 系统需求分析 5 2.3 市场分析 5 2.4 论文的概要内容 6 2.5 本章小结 6 3 系统设计 7 3.1 系统总体设计 7 3.2 系统结构设计 8 …

【vue2基础教程】vue指令

文章目录 前言一、内容渲染指令1.1 v-text1.2 v-html1.3 v-show1.4 v-if1.5 v-else 与 v-else-if 二、事件绑定指令三、属性绑定指令总结 前言 Vue.js 是一款流行的 JavaScript 框架,广泛应用于构建交互性强、响应速度快的现代 Web 应用程序。Vue 指令是 Vue.js 中…

⎣优化技术⎤CoT-Decoding

微信公众号|人工智能技术派 作 者|hws 一种解码策略优化技术:目标是不需要任何显示的CoT prompting,能够有效提升大型语言模型在各种推理任务中的表现,并通过自发地揭示CoT推理路径,改善模型的推理能力和准确性。 背景介绍 大模…

打造你的HTML5打地鼠游戏:零基础入门教程

🌟 前言 欢迎来到我的技术小宇宙!🌌 这里不仅是我记录技术点滴的后花园,也是我分享学习心得和项目经验的乐园。📚 无论你是技术小白还是资深大牛,这里总有一些内容能触动你的好奇心。🔍 &#x…

1-LINUX--系统介绍

1.目录结构 2.基本目录介绍 1.>/bin 存放常用命令(即二进制可执行程序) 2.>/etc 存放系统配置文件 3.>/home 所有普通用户的家目录 4.>/root 管理员用户的家目录 5.>/usr 存放系统应用程序及文档 6.>/dev 存放设备文件 7.>/lib 存…

阿里云99计划优惠:云服务器租用价格61元、99元、165元

阿里云99计划还有谁不知道么?阿里云不杀熟,新老用户同享,阿里云服务器99元一年,续费也是99元,续费不涨价家人们,2024年阿里云把云服务器价格打下来了,2核2G、2核4G、4核8G、4核16G、8核16G、8核…

Python匿名函数有知道的吗?

1.函数 按照函数是否有名字分为有名字的函数和匿名函数 匿名函数:定义函数时,不再使用def关键字声明函数,而是使用lambda表达式 匿名函数在需要执行简单的操作时非常有用,可以减少代码冗余 2.有名字的函数 def fn(n):return …

【漏洞复现】TeamCity身份验证绕过漏洞CVE-2024-27198

漏洞描述 JetBrains TeamCity是一款由JetBrains开发的持续集成和持续交付(CI/CD)服务器。它提供了一个功能强大的平台,用于自动化构建、测试和部署软件项目。TeamCity旨在简化团队协作和软件交付流程,提高开发团队的效率和产品质量。 JetBrains TeamCity在2023.11.4版本之前…