当前位置：首页 > 区块链技术 > 什么是重入攻击

重入攻击是什么？Curve池内的7000万美元如何丢的？

2026-06-14 15:42:07 | 来源： | 作者：佚名
之前的 Curve 池漏洞与我们在过去几年里看到的大多数加密货币黑客事件有所不同，因为与之前的许多漏洞不同，这一次并不直接与智能合约本身的漏洞有关，而是与它所使用的语言的底层编译器有关

近期 Curve 的 Vyper 编译语言漏洞导致超过 7000 万美元被盗，此次的漏洞被称为「重入攻击」，本文将深入介绍重入攻击。本文源自 CyberPunkMetalHead 于 Medium 所着文章 《A Deep Dive Into How Curve Pool’s $70 Million Reentrancy Exploit Was Possible》，由 星球日报Odaily 编译、整理。

近期的 Curve 池漏洞与我们在过去几年里看到的大多数加密货币黑客事件有所不同，因为与之前的许多漏洞不同，这一次并不直接与智能合约本身的漏洞有关，而是与它所使用的语言的底层编译器有关。

在这里，我们谈论的是 Vyper：一个面向智能合约的、具有Pythonic风格的编程语言，旨在与以太坊虚拟机（EVM）交互。我对此次漏洞的背后原因非常感兴趣，所以我决定深入研究。

随着这次漏洞的发展，每天的新闻头条都在报告新的数字。现在看来，情况终于得到了控制，但在此之前已经有超过 7000 万美元被盗。根据 LlamaRisk 的事后评估，截止到今天，有几个 DeFi 项目的池子也被黑客攻破，包括PEGD 的 pETH/ETH: 1100 万美元；Metronome 的 msETH/ETH: 340 万美元；Alchemix 的 alETH/ETH: 2260万美元；和Curve DAO: 大约2470万美元。

这次漏洞被称为重入错误，它是在 Vyper 编程语言的某些版本上出现的，特别是 v0.2.15、v0.2.16 和 v0.3.0。因此，使用这些特定版本的 Vyper 的所有项目都可能成为攻击的目标。

什么是重入（reentrancy）？

为了理解这次漏洞为什么会发生，我们首先需要了解什么是重入以及它是如何工作的。

如果一个函数在运行过程中可以被中断，并且在其之前的调用完成运行之前可以安全地再次被调用「重新进入」，则称该函数为可重入的。可重入函数在硬件中断处理、递归等应用中都有使用。

为了使一个函数变得可重入，它需要满足以下条件：

  • 它不能使用全局和静态数据。这只是一种约定，没有硬性的限制，但如果使用全局数据的函数被中断和重新启动，它可能会丢失信息。
  • 它不应修改自己的代码。无论函数何时被中断，都应该能够以相同的方式运行。这可以管理，但通常不建议这样做。
  • 它不应该调用其他非重入函数。 重入不应与线程安全混淆，尽管它们紧密相关。一个函数可以是线程安全的，但仍然不是可重入的。为了避免混淆，重入只涉及到一个线程的运行。这是在没有多任务操作系统存在的时代的一个概念。

这里有一个实际的例子：

i = 5
def non_reentrant_function():
return i**5
def reentrant_function(number:int):
return number**5

函数 non_reentrant_function：

  • 这个函数没有参数。
  • 它直接返回全局变量 i 的五次方。
  • 所以当你调用这个函数时，它总是返回 5**5，即 3125。

函数 reentrant_function：

  • 这个函数有一个参数 number，是整型。
  • 它返回参数 number 的五次方。
  • 这意味着你可以给这个函数传入任何整数，并得到这个数的五次方作为返回值。例如，如果你传入 2，它会返回 2 的 5 次方 ，即 32。

值得注意的是，许多智能合约函数都不是可重入的，因为它们访问如钱包余额之类的全局信息。

什么是锁（Lock）？

锁本质上是一种线程同步机制，某个进程可以声称或「锁定」另一个进程。

最简单的锁类型被称为二进制信号量。这种锁为被锁定的数据提供独占访问。还有更复杂的锁类型，可以提供对读数据的共享访问。在编程中误用锁可能导致死锁或活锁，进程持续互相阻塞，状态不断改变但没有进展。

编程语言在后台使用锁来优雅地管理和共享多个子程序之间的状态更改。但是，某些语言，如 C# 和 Vyper 允许在代码中直接使用锁。

@nonreentrant(‘lock’)
def func():
assert not self.locked, “locked”
self.locked = True
# Do stuff
# Release the lock after finishing doing stuff
raw_call(msg.sender, b””, value=0)
self.locked = False
# More code here

在上面的例子中，我们希望确保如果 msg.sender（合约调用者）是另一个合约，它不会在运行时调用代码。如果在 raw_call() 下面还有更多的代码，而没有锁，msg.sender 可能会在我们的函数运行完毕之前调用上面的所有代码。

因此，在 Vyper 中，nonreentrant(‘lock’) 装饰器是一种控制对函数的访问的机制，以防止调用者在它们完成运行之前反复运行智能合约函数。

在许多 DeFi 黑客事件中，通常都是合约开发者没有预见到的智能合约错误，一个聪明但恶意的利用者发现了某些函数或数据暴露的方式中的弱点。但这次的情况独特之处在于，Curve 的智能合约以及所有其他成为攻击受害者的池和项目在代码本身中都没有已知的漏洞。合约是稳固的。

nonreentrant(‘lock’)是存在的。

由于 Vyper 语言在处理重入锁的方式上出现了问题，导致了这个问题的发生。所以，合约创建者可能部署了看似合理的代码，但由于编译器没有正确处理锁，使得攻击者能够利用这个有缺陷的锁进行利用，导致合约行为出现意料之外的结果。

让我们看看真正受到重入攻击的合约。注意 @nonreentrant(‘lock’) 修饰符吗？通常情况下，这应该可以防止重入，但实际上并未能防止。攻击者能够在函数返回结果之前反复调用 remove_liquidity()。

@nonreentrant(‘lock’)
def remove_liquidity(
_burn_amount: uint256,
_min_amounts: uint256[N_COINS],
_receiver: address = msg.sender
) -> uint256[N_COINS]:
“””
@notice Withdraw coins from the pool
@dev Withdrawal amounts are based on current deposit ratios
@param _burn_amount Quantity of LP tokens to burn in the withdrawal
@param _min_amounts Minimum amounts of underlying coins to receive
@param _receiver Address that receives the withdrawn coins
@return List of amounts of coins that were withdrawn
“””
total_supply: uint256 = self.totalSupply
amounts: uint256[N_COINS] = empty(uint256[N_COINS])
for i in range(N_COINS):
old_balance: uint256 = self.balances[i]
value: uint256 = old_balance * _burn_amount / total_supply
assert value >= _min_amounts[i], “Withdrawal resulted in fewer coins than expected”
self.balances[i] = old_balance – value
amounts[i] = value
if i == 0:
raw_call(_receiver, b””, value=value)
else:
response: Bytes[32] = raw_call(
self.coins[1],
concat(
method_id(“transfer(address,uint256)”),
convert(_receiver, bytes32),
convert(value, bytes32),
),
max_outsize=32,
)
if len(response) > 0:
assert convert(response, bool)
total_supply -= _burn_amount
self.balanceOf[msg.sender] -= _burn_amount
self.totalSupply = total_supply
log Transfer(msg.sender, ZERO_ADDRESS, _burn_amount)
log RemoveLiquidity(msg.sender, amounts, empty(uint256[N_COINS]), total_supply)
return amounts

这是如何被利用的？

到目前为止，我们知道重入攻击是一种反复调用智能合约中的某个函数的方法。但这是如何导致资金被盗和在Curve 攻击中损失 7000 万美元的呢？

注意智能合约末尾的 self.balanceOf[msg.sender] -= _burn_amount 吗？这告诉智能合约池中 msg.sender 的流动性，减去燃烧费。接下来的代码行为 message.sender 调用 transfer()。

因此，一个恶意合约可以在金额更新之前不断地调用提现，几乎让他们可以选择提取池中的所有流动性。

这样的攻击通常的流程是这样的：

  • 易受攻击的合约有 10 个 eth。
  • 攻击者调用存款并存入 1 个 eth。
  • 攻击者调用提现 1 个 eth，此时提现函数运行一些检查：
  • 攻击者的帐户中是否有 1 个 eth？是的。
  • 将 1 个 eth 转移到恶意合约。注意：合约的余额尚未更改，因为该函数仍在运行。
  • 攻击者再次调用提现 1 个 eth。（重新入场）
  • 攻击者的帐户中是否有 1 个 eth？是的。

这将重复，直到池中没有更多的流动性。

Vyper 语言中的这个问题已经被修复，在 0.3.0 版本之后不再存在。如果您是开发人员，或使用 Vyper 的 Web3 组织，请确保立即更新您的版本。

免责声明：本文只为提供市场讯息，所有内容及观点仅供参考，不构成投资建议，不代表本站观点和立场。投资者应自行决策与交易，对投资者交易形成的直接或间接损失，作者及本站将不承担任何责任。！
Tag：重入攻击  

你可能感兴趣的文章

币圈快讯

  • BitMart合约将上线BANK、EPT、INIT

    2025-04-21 17:11
    据官方公告，BitMart合约将于04/2117:00上线BANKUSDT，04/2120:00上线EPTUSDT以及04/2419:00上线INITUSDT永续合约。Lorenzo是一个机构级资产管理平台，发行由多种底层策略支持的收益代币。Balance是面向社交和游戏的下一代AI+Web3协议和框架，无缝集成了AI技术、区块链技术和去中心化应用。Initia是一个Layer-1区块链，通过交织网络将特定应用的区块链连接起来。链接：https://bitmart.zendesk.com/hc/zh-cn/articles/36169141780251

  • QCPCapital：密切关注比特币88,800美元关键阻力位

    2025-04-21 17:11
    ChainCatcher消息，加密投资机构QCPCapital发文称，比特币在亚洲时段早盘突破87,000美元，扭转了因特朗普“解放日”宣布引发的抛售潮，此次反弹与去年12月的“圣诞反弹”形成鲜明对比。同时，黄金也受贸易战和美元走弱提振升至新高。股市收跌、4月跌幅扩大背景下，比特币作为避险或通胀对冲工具的说法再受关注，若趋势持续，或为机构配置比特币提供新动力。 机构信心回归迹象已现，上周比特币ETF净流入1340万美元，与前一周7.08亿美元净流出形成对比。期权市场持仓更均衡，风险逆转指标趋于平稳。比特币和黄金联袂上涨，是假日噪音还是比特币向避险资产转变的实质性标志？若属后者，将标志传统金融对比特币看法重大变化。因欧洲仍在假期，市场或需几日确认趋势，比特币、黄金和股市相关性值得密切关注。目前正密切关注88,800美元关键阻力位，突破前对结论持谨慎态度。

  • QCP：继续关注 BTC 88,800 美元这一关键阻力位

    2025-04-21 17:07
    QCP Capital 在官方频道发文表示，“比特币上演了自己的复活节重生,在亚洲早盘突破87,000美元,这一强劲反弹收复了此前因特朗普前总统4月2日意外发布"解放日"声明而引发的大部分跌幅。比特币作为避险资产或通胀对冲工具的叙事再次获得关注。如果这一动态持续,可能为机构配置比特币提供新的推动力...

  • 美国司法部证实将持续推进对SafeMoon前CEO的欺诈诉讼

    2025-04-21 17:05
    ChainCatcher消息，据law360.com援引美国司法部（DOJ）上周五提交的文件报道，特朗普时代美国司法部曾推动缩减对加密货币的执法力度，但这并未能阻止联邦检察官对SafeMoon前首席执行官BradenKarony的追诉。Karony面临与该代币崩盘相关的欺诈指控。他即将于5月受审，这将成为检验司法部新方针是否会保护高管免受过往所谓不当行为指控的关键试金石。4月18日，纽约东区联邦检察官证实将继续推进诉讼。Karony被控共谋证券欺诈、电汇欺诈和洗钱，拒不认罪，自2月起以300万美元保释。

  • 美国司法部证实将继续推进对SafeMoon前CEO的欺诈诉讼

    2025-04-21 17:04
    4月21日消息，据law360.com援引美国司法部（DOJ）上周五提交的文件报道，特朗普时代美国司法部曾推动缩减对加密货币的执法力度，但这并未能阻止联邦检察官对SafeMoon前首席执行官BradenKarony的追诉。Karony面临与该代币崩盘相关的欺诈指控。他即将于5月受审，这将成为检验司法部新方针是否会保护高管免受过往所谓不当行为指控的关键试金石。4月18日，纽约东区联邦检察官证实将继续推进诉讼。Karony被控共谋证券欺诈、电汇欺诈和洗钱，拒不认罪，自2月起以300万美元保释。此前4月10日消息，SafeMoonCEO以美司法部解散加密货币部门为由再次申请驳回诉讼。
    • 查看更多

最新资讯

更多

区块链百科