当前位置: 首页 > news >正文

Web3.0合约安全:重入攻击防御方案

本文深度剖析智能合约重入攻击的13种新型变种及其防御体系,结合EIP-6780标准与Layer2安全方案,系统性阐述从代码层到协议层的立体防护策略。通过解析Uniswap、Compound等顶级项目的安全实践,揭示如何构建零重入风险的智能合约架构。


第一章 重入攻击演进史

1.1 经典攻击模式复现

2016年The DAO事件攻击链

  1. 攻击者合约调用提现函数
  2. 目标合约ETH转账触发fallback
  3. 恶意合约在未更新状态前递归调用
  4. 重复提现直至资金耗尽

资金损失统计

攻击类型典型案例损失金额攻击持续时间
单函数重入The DAO360万ETH3小时
跨合约重入Siren Protocol290万美元18分钟
代理合约重入Audius1800万AUDIO6小时

第二章 新型攻击变种分析

2.1 跨链桥接攻击

攻击路径

  1. 在源链发起资产锁定操作
  2. 目标链资产铸造时触发回调
  3. 利用跨链消息延迟重复铸造

防御难点

  • 多链状态同步存在时间差
  • 跨链消息验证机制不统一
  • 异构链智能合约语义差异

2.2 ERC777回调攻击

攻击流程

  1. 攻击者成为ERC777代币持有者
  2. 合约转账触发tokensToSend回调
  3. 在代币未记账时发起重入请求
  4. 利用余额校验漏洞重复支取

第三章 代码层防御机制

3.1 执行时序控制

CEI模式(Checks-Effects-Interactions)

 

复制

// 安全模式示例 function withdraw() external { // Check:验证条件 require(balances[msg.sender] > 0); // Effect:状态变更 uint amount = balances[msg.sender]; balances[msg.sender] = 0; // Interaction:外部调用 (bool success, ) = msg.sender.call{value: amount}(""); require(success); }

3.2 互斥锁机制

OpenZeppelin ReentrancyGuard实现

  1. 定义_nonReentrant修饰符
  2. 关键函数添加防重入标记
  3. 操作完成前阻止递归调用

性能影响评估

合约复杂度Gas消耗增长比例执行延迟增加
简单转账合约8.2%<1ms
多步骤DeFi合约15.7%3-5ms

第四章 协议层防护方案

4.1 EIP-6780标准实践

核心改进点

  • 交易执行后自动清零SELFDESTRUCT状态
  • 限制DELEGATECALL的递归深度
  • 新增opcode跟踪外部调用栈

兼容性测试数据

主流客户端标准支持度需修改代码行数
Geth 1.12.0完全支持0
Erigon 2.48.1部分支持17
Nethermind 1.19实验性支持32

4.2 Layer2防护增强

Optimistic Rollup方案

  1. 争议期延长至7日
  2. 状态承诺包含调用路径哈希
  3. 欺诈证明强制验证递归调用

zkSync Era创新机制

  • 在电路层禁止重复入口点调用
  • 内存隔离不同合约的调用上下文
  • 零知识证明包含调用序列签名

第五章 企业级防御体系

5.1 多级熔断机制

Compound V3安全架构

  1. 流量监测:实时统计函数调用频次
  2. 阈值触发:单个地址10分钟内调用超5次触发警报
  3. 自动暂停:关键操作进入72小时冷却期
  4. 治理干预:DAO投票决定恢复流程

5.2 动态Gas限制

Uniswap V4 Hook防护策略

  • 根据调用深度动态调整Gas上限
  • 递归调用Gas消耗指数级增长
  • 设置单交易最大执行步骤数

参数配置

调用深度基础Gas增长系数最大限制
130,0001x1,000,000
260,0002x500,000
3+拒绝执行--

第六章 检测与响应体系

6.1 静态分析工具

Slither检测规则

  1. 识别未受保护的external call
  2. 标记违反CEI模式的函数
  3. 检测高危修饰符缺失

精准度测试

代码库检出率误报率漏报率
Aave V398.2%1.1%0.7%
SushiSwap95.4%2.3%2.3%
新兴DeFi项目87.6%5.4%7.0%

6.2 动态模糊测试

Foundry测试框架方案

  1. 模拟多合约递归调用场景
  2. 自动生成异常余额参数
  3. 监控状态变更时序异常
  4. 输出攻击路径向量报告

第七章 行业最佳实践

7.1 审计规范升级

四大会计师事务所新标准

  1. 强制要求重入测试用例≥50个
  2. 所有external call必须附加防护
  3. 状态变量修改需记录操作日志
  4. 跨合约调用实施白名单管控

7.2 保险赔付案例

Coinbase Custody赔付机制

  • 智能合约保险资金池规模:2.3亿美元
  • 单次攻击最高赔付:1800万美元
  • 赔付审核时间:≤72小时
  • 追偿机制:联合执法机构冻结黑客资产

相关文章:

Web3.0合约安全:重入攻击防御方案

本文深度剖析智能合约重入攻击的13种新型变种及其防御体系&#xff0c;结合EIP-6780标准与Layer2安全方案&#xff0c;系统性阐述从代码层到协议层的立体防护策略。通过解析Uniswap、Compound等顶级项目的安全实践&#xff0c;揭示如何构建零重入风险的智能合约架构。 第一章 重…...

一文详解QT环境搭建:ubuntu20.4安装配置Qt5

随着软件开发技术的不断进步&#xff0c;跨平台应用程序的需求日益增长&#xff0c;开发者们面临着如何在不同操作系统之间保持代码的一致性和效率的问题。Qt作为一个成熟的跨平台C框架&#xff0c;在这方面提供了卓越的支持&#xff0c;不仅简化了GUI应用程序的创建过程&#…...

Android开发: Java文件中操作基础UI组件

Android Java文件中基础UI组件操作指南 一、常用UI组件基本操作 1. TextView文本控件 TextView textView findViewById(R.id.textView);// 设置文本内容 textView.setText("欢迎使用Android");// 设置文本颜色 textView.setTextColor(Color.BLUE); // 使用Color…...

监控易一体化运维:监控易机房管理,打造高效智能机房

在数字化浪潮中&#xff0c;企业对数据中心和机房的依赖程度与日俱增&#xff0c;机房的稳定运行成为业务持续开展的关键支撑。信息化的变迁&#xff0c;见证了机房管理从传统模式向智能化、精细化转变的过程。今天&#xff0c;就为大家深度剖析监控易在机房管理方面的卓越表现…...

Vue3当中el-tree树形控件使用

tree悬停tooltip效果 文本过长超出展示省略号 如果文本超出悬停显示tooltip效果 反之不显示 这里直接控制固定宽度限制 试了监听宽度没效果<template><el-treeshow-checkbox:check-strictly"true":data"data"node-key"id":props"…...

vs 2022安装指南

一、前言 Visual Studio 2022&#xff08;以下简称 VS 2022&#xff09;是微软推出的一款功能强大的集成开发环境&#xff08;IDE&#xff09;&#xff0c;它支持多种编程语言&#xff0c;如 C#、C、Python 等&#xff0c;广泛应用于桌面应用、Web 应用、移动应用以及游戏开发…...

【数学建模】(启发式算法)蚁群算法(Ant Colony Optimization)的详解与应用

蚁群算法(Ant Colony Optimization)详解与应用 文章目录 蚁群算法(Ant Colony Optimization)详解与应用前言1. 蚁群算法的生物学基础2. 蚁群算法的基本原理2.1 算法框架2.2 状态转移规则2.3 信息素更新规则 3. 蚁群算法的实现4. 蚁群算法的改进4.1 MAX-MIN蚁群系统(MMAS)4.2 精…...

03-SpringBoot3入门-配置文件(自定义配置及读取)

1、自定义配置 # 自定义配置 zbj:user:username: rootpassword: 123456# 自定义集合gfs:- a- b- c2、读取 1&#xff09;User类 package com.sgu.pojo;import lombok.Data; import org.springframework.boot.context.properties.ConfigurationProperties; import org.spring…...

Sentinel[超详细讲解]-2

异常处理 默认情况下&#xff0c;Sentinel 会抛出 BlockException 异常&#xff0c;如果希望自定义异常&#xff0c;则可以使用 SentinelResource 注解的 blockHandler 属性。 1、自定义异常处理 BlockExceptionHandler 自定义异常处理类实现 BlockExceptionHandler 接口&#…...

API 请求需要证书认证? 如何在 Postman 中正确配置和使用?

本文来介绍 Postman 提供的管理证书功能如何配置&#xff0c;要了解更多相关的知识&#xff0c;可访问 Postman 证书 模块。 管理客户端证书&#xff0c;点击对应的按钮&#xff0c;首先选择 SETTINGS &#xff0c;然后选择 Certificate 选项卡&#xff0c;如图所示&#xff1…...

NG-ZORRO中tree组件的getCheckedNodeList怎么使用

在 NG-ZORRO&#xff08;Ant Design for Angular&#xff09; 的 Tree 组件 中&#xff0c;getCheckedNodeList 方法用于获取当前选中的节点列表&#xff08;包括半选状态节点&#xff09;。以下是具体用法和示例&#xff1a; 基本用法 首先&#xff0c;确保你已通过 ViewChil…...

对于有前后逻辑依赖关系的长文本,切分时确实需要特别注意上下文的连续性,以便在召回后知识时能够尽量保留前后文的关联。

对于有前后逻辑依赖关系的长文本&#xff0c;切分时确实需要特别注意上下文的连续性&#xff0c;以便在召回后知识时能够尽量保留前后文的关联。以下是你提到的三种切分方案的分析&#xff0c;以及如何在实践中选择和优化&#xff1a; 1. 滑动窗口切分 原理&#xff1a;通过一…...

关于ArcGIS中加载影像数据,符号系统中渲染参数的解析

今天遇到一个很有意思的问题&#xff0c;故记录下来&#xff0c;以作参考和后续的研究。欢迎随时沟通交流。如果表达错误或误导&#xff0c;请各位指正。 正文 当我们拿到一幅成果影像数据的时候&#xff0c;在不同的GIS软件中会有不同效果呈现&#xff0c;但这其实是影像是…...

图解AUTOSAR_SWS_FlashTest

AUTOSAR Flash Test 模块解析文档 AUTOSAR 经典平台内存硬件抽象层模块详解 目录 1. 概述 1.1 Flash Test 模块简介1.2 模块作用和定位2. 架构设计 2.1 整体架构2.2 状态机设计3. 执行流程 3.1 后台测试序列3.2 前台测试序列4. 配置结构 4.1 模块配置详解5. 总结1. 概述 1.1 F…...

Ubuntu 使用终端手动连接无线网络(wlan0)完整流程 + 故障排查记录

在某些场景下&#xff08;如 Ubuntu GUI 网络管理器不可用、使用轻量级桌面环境、或远程配置 Jetson Nano 等嵌入式设备&#xff09;&#xff0c;我们可能需要通过终端命令手动连接无线网络。本文记录一次真实的操作流程和排查过程&#xff0c;供自己和有需要的小伙伴参考。 &a…...

BNB Chain 何以打造 AI 驱动链上应用新世界?

人工智能正在加速改变 Web3 行业的现状面貌。最初 AI 代理起源于机器人技术和机器学习&#xff0c;它们通过自主系统调适&#xff0c;根据数据和环境做出相应技术决策支持、解决项目运行难题并执行相关任务。到了 Web3 世界&#xff0c;AI 代理开始融入 DAO、预测分析和自动交易…...

C 语言常用关键字详解:static、const、volatile

C 语言常用关键字详解&#xff1a;static、const、volatile 文章目录 C 语言常用关键字详解&#xff1a;static、const、volatile1. static 关键字1.1 用于局部变量示例&#xff1a; 1.2 用于全局变量示例&#xff1a; 1.3 用于函数示例&#xff1a; 2. const 关键字2.1 用于局…...

剑指Offer35- - 链表

1. 题目描述 这题题意感觉说的不是很清楚&#xff0c;容易让人产生歧义&#xff01;其实题意很简单&#xff0c;给你一个链表 head&#xff0c;你深拷贝它&#xff0c;然后返回即可&#xff0c;注意不能修改原链表 /* // Definition for a Node. class Node { public:int val;N…...

open-cv的安装

python -m pip install numpy matplotlib opencv-python 【记得科学上网&#xff0c;不然太慢了】...

【ESP32】VSCode配置ESP-IDF问题及解决方法

报错&#xff1a;“D:\Espressif\tools\idf-python\3.11.2\python.exe -m pip” is not valid. (ERROR_INVALID_PIP) 当遇到错误 “d:\espressif\tools\idf-python\3.11.2\python.exe -m pip” is not valid. (error_invalid_pip) 时&#xff0c;通常是由于 pip 版本不兼容或未…...

分布式渲染与云渲染:技术与应用的黄金搭档

一、核心概念&#xff1a;先区分再关联 分布式渲染是通过多台设备并行计算拆分渲染任务的技术&#xff08;如将一帧拆分为 64 个小块&#xff0c;64 台电脑同时渲染&#xff09;&#xff1b; 云渲染是基于云计算的渲染服务&#xff0c;本质是分布式渲染的商业化落地—— 用户无…...

创作者会被AI取代吗?AIGC为电影行业带来新变革

在人工智能&#xff08;AI&#xff09;技术日新月异的今天&#xff0c;创作领域正经历着一场前所未有的变革。AIGC&#xff08;AI生成内容&#xff09;技术的崛起&#xff0c;让机器能够像人类一样进行创作&#xff0c;这不仅引发了“创作者是否会被AI取代”的热烈讨论&#xf…...

界面控件Telerik和Kendo UI 2025 Q1亮点——AI集成与数据可视化

Telerik DevCraft包含一个完整的产品栈来构建您下一个Web、移动和桌面应用程序。它使用HTML和每个.NET平台的UI库&#xff0c;加快开发速度。Telerik DevCraft提供完整的工具箱&#xff0c;用于构建现代和面向未来的业务应用程序&#xff0c;目前提供UI for ASP.NET MVC、Kendo…...

西门子s7协议

目录 西门子s7协议 西门子PLC数据类型 PLC中类型与C#对应类型 特殊说明&#xff1a; S7协议帧结构 示例代码&#xff08;C#访问PLC数据&#xff09;&#xff1a; 上位机和西门子PLC的通讯 西门子PLC的存储区 S7协议通讯网络模型 S7协议栈基于ISO/OSI模型&#xff0c;…...

面向对象——开闭原则(Open-Closed Principle, OCP)

开闭原则&#xff08;Open-Closed Principle, OCP&#xff09; 是面向对象设计中的重要原则之一&#xff0c;它的核心思想是&#xff1a; 对扩展开放&#xff08;Open for extension&#xff09;&#xff1a;软件实体&#xff08;类、模块、函数等&#xff09;应该可以扩展&am…...

线程同步——读写锁

Linux——线程同步 读写锁 目录 一、基本概念 1.1 读写锁的基本概念 1.2 读写锁的优点 1.3 读写锁的实现 1.4 代码实现 一、基本概念 线程同步中的读写锁&#xff08;Read-Write Lock&#xff09;&#xff0c;也常被称为共享-独占锁&#xff08;Shared-Exclusive Lock&a…...

0.雷达信号

雷达信号 目录 1 常规脉冲信号 1 2 相位编码信号 2 3 线性调频信号 4 4 非线性调频信号 6 4.1 S型非线性调频信号 6 4.2 正弦调频信号 9 4.3 正切调频信号 10 5 噪声调幅干扰信号 11 6 噪声调频干扰信号 13 7 噪声调相干扰信号 15 1 常规脉冲信号 2 相位编码信号 …...

游戏引擎学习第189天

今天的回顾与计划 在昨天&#xff0c;我们花了一些时间来优化调试数据的收集方法&#xff0c;并且在调试界面中增加了一些界面代码&#xff0c;使得我们可以悬停在不同的元素上&#xff0c;查看相关信息。今天的任务是对这些数据进行更多的操作&#xff0c;进行一些有趣的实验…...

web3包含哪些关键技术栈,一些成功使用场景的分享

Web3的技术栈及其应用场景可归纳为以下六个核心模块&#xff0c;各模块均通过不同技术组合实现去中心化生态的构建&#xff1a; 一、关键技术栈及对应场景 ‌区块链与共识机制‌ 技术实现&#xff1a;以太坊、波场TRON等公链底层&#xff0c;结合PoW&#xff08;工作量证明&am…...

uvm factory

UVM Factory 是验证环境中实现动态对象和组件创建的核心机制&#xff0c;它通过类型注册和覆盖&#xff08;Override&#xff09;机制&#xff0c;允许在不修改原有代码的情况下替换组件或事务类型&#xff0c;从而提升验证环境的灵活性和可重用性。以下是Factory机制的详细解析…...

MAC安装docker 后提示com.docker.vmnetd”将对您的电脑造成伤害

出现“com.docker.vmnetd”将对您的电脑造成伤害的提示&#xff0c;通常是由于文件签名问题导致 macOS 的安全系统误判 Docker 为恶意软件。以下是解决方法&#xff1a; 停止相关服务并删除文件 运行以下命令停止相关服务并删除有问题的文件 停止 Docker 服务 sudo pkill ‘…...

DeepSeek 助力 Vue3 开发:打造丝滑的表格(Table)之添加行拖拽排序功能示例7,TableView16_07 列拖拽排序示例

前言:哈喽,大家好,今天给大家分享一篇文章!并提供具体代码帮助大家深入理解,彻底掌握!创作不易,如果能帮助到大家或者给大家一些灵感和启发,欢迎收藏+关注哦 💕 目录 DeepSeek 助力 Vue3 开发:打造丝滑的表格(Table)之添加行拖拽排序功能示例7,TableView16_07 列…...

爬虫的第三天——爬动态网页

一、基本概念 动态网页是指网页内容可以根据用户的操作或者预设条件而实时发生变化的网页。 特点&#xff1a; 用户交互&#xff1a;动态网页能够根据用户的请求而生成不同的内容。内容动态生成&#xff1a;数据来自数据库、API或用户输入。客户端动态渲染&#xff1a;浏览器…...

AI Agent 开发与传统后端开发区别?

AI Agent 开发与传统后端开发在目标、技术栈、设计模式和协作流程上存在显著差异。以下是详细对比&#xff1a; 一、核心目标不同 维度AI Agent 开发传统后端开发主要目标模拟人类决策、执行复杂任务处理业务逻辑、管理数据流用户交互主动感知环境、自主决策&#xff08;如对话…...

python 将mkv格式视频转换成mp4格式

在Python中&#xff0c;可以使用moviepy库来将MKV格式的视频转换成MP4格式。moviepy是一个用于视频编辑的强大库&#xff0c;支持多种视频格式的处理。 from moviepy.editor import VideoFileClipdef convert_mkv_to_mp4(mkv_file_path, mp4_file_path):try:video VideoFileC…...

【入门初级篇】报表基础操作与功能介绍

【入门初级篇】报表的基本操作与功能介绍 视频要点 &#xff08;1&#xff09;报表组件的创建 &#xff08;2&#xff09;指标组件的使用&#xff1a;一级、二级指标操作演示 &#xff08;3&#xff09;表格属性设置介绍 &#xff08;4&#xff09;图表属性设置介绍 &#xff0…...

单例模式在Python中的实现和应用

单例模式是一种常见的设计模式&#xff0c;用于确保一个类只有一个实例&#xff0c;并提供一个全局访问点。它的应用场景非常广泛&#xff0c;比如配置管理、日志记录、线程池等领域。让我们一起深入了解一下Python中如何实现单例模式吧&#xff01; 单例模式的基本概念 单例…...

HarmonyOS-ArkUI Navigation (导航组件)-第一部分

导航组件主要实现页面间以及组件内部的界面跳转&#xff0c;支持在不同的组件间进行参数的传递&#xff0c;提供灵活的跳转栈操作&#xff0c;从而便捷的实现对不同页面的访问和复用。 我们之前学习过Tabs组件&#xff0c;这个组件里面也有支持跳转的方式&#xff0c;Navigati…...

技术速递|为 .NET 的 AI 评估解锁新的可能性

作者&#xff1a;Wendy Breiding 排版&#xff1a;Alan Wang Microsoft.Extensions.AI.Evaluations 库旨在简化将 AI 评估流程集成到应用程序中的过程。它提供了一个强大的框架&#xff0c;用于评估您的 AI 应用程序并自动化评估其性能。 去年11月&#xff0c;我们发布了该库的…...

android studio调试aosp手机userdebug版本无法查看局部变量和参数问题如何解决?

背景&#xff1a; 平常系统开发过程中&#xff0c;经常需要对一些代码进行相关追踪&#xff0c;这个时候很多同学会使用马哥课程讲解的android studio直接进行调试的方法&#xff0c;但是近期有学员朋友在群里反馈它在调试过程中无法看到方法参数的值&#xff0c;局部变量值&a…...

【OCR】技术

OCR图像识别 一、OCR是什么二、Python中如何实现OCR1.简单应用 三、OCR的核心步骤1.​图像预处理​&#xff08;提高识别准确率&#xff09;2.​文字识别3.​输出结果 四、OCR到的应用场景五、注意事项六、扩展学习 此贴用来更新在工作中遇到的一些图片解析内容 一、OCR是什么 …...

数据库同步中间件PanguSync:如何跳过初始数据直接进行增量同步

某些用户在使用数据库同步中间件PanguSync时说&#xff0c;我不想进行初次的全量同步&#xff0c;我已经源备份还原到目标库了&#xff0c;两边初始数据一样&#xff0c;想跳过初始数据&#xff0c;直接进行增量同步&#xff0c;该怎么设置。 直接上干货&#xff0c;按如下步骤…...

ICLR 2025|华科OVTR:首次实现端到端开放词汇多目标跟踪,刷新性能SOTA!

OVTR 是一种新型的多目标跟踪&#xff08;MOT&#xff09;方法&#xff0c;它由华中科技大学的团队提出&#xff0c;并发表于 ICLR 2025。该方法不仅速度快、适应性强&#xff0c;还能在开放词汇场景下实现零样本跟踪。本文将从背景、创新点到实验细节&#xff0c;全面介绍 OVT…...

个人学习编程(3-29) leetcode刷题

最后一个单词的长度&#xff1a; 思路&#xff1a;跳过末尾的空格&#xff0c;可以从后向前遍历 然后再利用 while(i>0 && s[i] ! ) 可以得到字符串的长度&#xff0c; int lengthOfLastWord(char* s) {int length 0;int i strlen(s) - 1; //从字符串末尾开始//…...

JSP 与 JavaScript 动态网页开发的比较

本质区别 特性JSP (JavaServer Pages)JavaScript执行位置服务器端客户端(浏览器)主要功能生成HTML内容操作DOM、处理用户交互数据获取直接访问服务器资源(数据库等)需要通过AJAX/Fetch API获取SEO友好是(内容在服务器生成)否(内容可能由JS动态生成)首次加载完整HTML可能需要多…...

Vue下 Sortable 实现 table 列表字段可拖拽排序,显示隐藏组件开发

vue 开发table 列表时&#xff0c;需要动态调整列字段的顺序和显示隐藏 实现效果如图所示&#xff1a; vue 组件代码 <template><div style"width: 90%; margin: 0 auto;"><el-table :data"tableData" border"" ref"table…...

Apache Shiro 全面指南:从入门到高级应用

一、Shiro 概述与核心架构 1.1 什么是 Shiro&#xff1f; Apache Shiro 是一个强大且易用的 Java 安全框架&#xff0c;它提供了认证&#xff08;Authentication&#xff09;、授权&#xff08;Authorization&#xff09;、加密&#xff08;Cryptography&#xff09;和会话管…...

高速电路中的存储器应用与设计三

4 DDR2 SDRAM 介绍及其应用要点 1. DDR2 SDRAM 概述 DDR2&#xff08;Double Data Rate 2&#xff0c;两倍数据速率&#xff0c;版本 2&#xff09;SDRAM&#xff0c;是由 JEDEC 国际标准组织开发的、基于 DDR SDRAM 的、升级的存储技术。与 DDR SDRAM 相比&#xff0c;虽然其…...

AndroidStudio无法识别连接夜神模拟器

下载夜神模拟器&#xff1a; https://www.yeshen.com/ 启动之后发现AS关联不了夜神模拟器&#xff0c;需要做如下的操作。 1&#xff1a;复制配置文件进入夜神模拟器 adb 相关的更改&#xff1a; 开启的命令是&#xff1a; 端口启动 固定&#xff1a; 夜神模拟器&#xff…...

Go 语言标准库中database模块详细功能介绍与示例

Go语言的标准库 database/sql 提供了与 SQL 数据库交互的通用接口&#xff0c;但需要搭配具体的数据库驱动&#xff08;如 MySQL、PostgreSQL 等&#xff09;使用。以下是 database/sql 的核心方法及示例说明&#xff1a; 1. 连接数据库 sql.Open(driverName, dataSourceName)…...