区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > 中币 > 正文

Rust 智能合约养成日记: 合约安全之重入攻击

作者:

时间:

往期回顾:

Rust智能合约养成日记合约状态数据定义与方法实现Rust智能合约养成日记编写Rust智能合约单元测试Rust智能合约养成日记Rust智能合约部署,函数调用及Explorer的使用Rust智能合约养成日记Rust智能合约整数溢出这一期中我们将向大家展示Rust合约中重入攻击,并提供给开发者相应的建议。本文中的相关代码,已上传至BlockSec的Github上,读者可以自行下载:https://github.com/blocksecteam/near_demo

1.重入攻击原理

我们用现实生活中的简单例子来理解重入攻击:即假设某用户在银行中存有100元现金,当用户想要从银行中取钱时,他将首先告诉柜员-A:“我想要取60元”。柜员-A此时将查询用户的余额为100元,由于该余额大于用户想要取出的数额,所以柜员-A首先将60元现金交给了该位用户。但是当柜员-A还没有来得及将用户的余额更新为40元的时,用户跑去隔壁告诉另一位柜员-B:“我想要取60元”,并隐瞒了刚才已经向柜员-A取钱的事实。由于用户的余额还没有被柜员-A更新,柜员-B检查用户的余额仍旧为100元,因此柜员-B将毫不犹豫地继续将60元交给用户。最终用户实际已经获得了120元现金,大于之前存在银行中的100元现金。

为什么会发生这样的事情呢?究其原因还是因为柜员-A没有事先将用户的60元从该用户的账户中扣除。若柜员-A能事先扣除金额。用户再询问柜员-B取钱时,柜员-B就会发现用户的余额已更新,无法取出比余额(40元)更多的现金了。

以上述“从银行取钱”这一典型过程为例,映射到具体的智能合约世界中来,实际上跨合约调用行为的发生和真正更新本地所维护的合约数据之间也同样地存在一定的时间间隔。而该时间间隔的存在以及这两个步骤之前不恰当的顺序关系,将给攻击者实施重入攻击创造有利条件。

下文第2小节将首先介绍相关的背景知识,第3小节将在NEARLocalNet中演示说明一个具体的重入攻击例子,以体现代码重入对于部署在NEAR链上的智能合约的危害性。本文最后将具体介绍针对重入攻击的防护技术,帮助大家更好的编写Rust智能合约。

Trust Wallet:去年11月14日至23日创建新钱包的地址存在漏洞,已为受影响用户创建补偿流程:4月22日消息,加密货币钱包Trust Wallet发布《WASM漏洞、事件更新与建议措施》,公告指出,2022年11月,一名安全研究人员通过漏洞赏金计划报告TrustWallet开源库Wallet Core中的Web Assembly(WASM)漏洞。Trust Wallet Browser Extension在Wallet Core中使用WASM,Browser Extension在2022年11月14日至23日期间生成的新钱包地址包含此漏洞。TrustWallet迅速修补了漏洞,所有在这些日期之后创建的地址都是安全的。不过,TrustWallet仍然检测到两个潜在的漏洞,在攻击发生时造成了大约17万美元的总损失。对此,Trust Wallet将补偿因漏洞导致的黑客攻击而造成的符合条件的损失,并为受影响的用户创建了补偿流程。此外,Trust Wallet敦促受影响的用户尽快转移所有易受攻击地址上剩余的约88,000美元余额。对于只使用Trust Wallet移动端、只将钱包地址导入浏览器扩展程序、在2023年11月14日之前或2022年11月23日之后仅使用浏览器扩展程序创建了一个新钱包的用户不受此漏洞影响。如果用户在TW Browser Extension收到警告通知,将有可能受到影响。对于在2022年12月下旬和2023年3月下旬存在异常资金流动的用户,可能是遭受这两个漏洞利用的少数受害者之一。[2023/4/22 14:20:27]

2.背景知识:NEP141的转账操作

NEP141为NEAR公链上的FungibleToken标准。大部分NEAR上的Token都遵循NEP141标准。

当某一用户想要从某一个Pool中,如去中心化交易所,充值(deposite)或者提现(withdraw)一定数额的Token时,用户便可以调用相应的合约接口完成具体的操作。

DEX项目合约在执行所对应的接口函数时,将调用Token合约中的ft_transfer/ft_transfer_call函数,实现正式的转账操作。这两个函数的区别如下:

当调用Token合约中的ft_transfer函数时,转账的接收者(receiver_id)为EOA账户。当调用Token合约中的ft_transfer_call函数时,转账的接收者(receiver_id)为合约账户。而对于ft_transfer_call而言,该方法内部除了首先会扣除该笔交易发起者(sender_id)的转账数额,并增加受转账用户(receiver_id)的余额,此外还额外增加了对receiver_id合约中ft_on_transfer(收币函数)的跨合约调用。这里可以简单理解为,此时Token合约将提醒receiver_id合约,有用户存入了指定数额的Token。receiver_id合约将在ft_on_transfer函数中自行维护内部账户的余额管理。

Trust EVM GameFi黑客松已启动,总奖池达15万美元:8月17日消息,Trust EVM GameFi 黑客松活动报名入口已在 DoraHacks 开启。本次活动由 Trust EVM 主办,项目提交时间为 8 月 15 日至 9 月 14 日,总奖池达 15 万美元。

为期四周的 Trust EVM GameFi Hackathon 旨在鼓励和支持 Gaming 项目建设,吸引全球开发人员在 Trust EVM 上构建 GameFi 项目。Trust EVM 将为所有参与者提供技术和社区资源。[2022/8/17 12:30:39]

3.代码重入的具体实例

假设存在如下3个智能合约:

合约A:Attacker合约;攻击者将利用该合约实施后续的攻击交易。合约B:Victim合约。为一个DEX合约。初始化的时候,Attacker账户拥有余额100,DEX的其他用户拥有余额100。即此时DEX合约总共持有了200个Token。##pub?struct?VictimContract?{??attacker_balance:?u128,??other_balance:?u128,}?impl?Default?for?VictimContract?{??fn?default()?->?Self?{????Self?{??????attacker_balance:?100,??????other_balance:100???}?}}

合约C:Token合约。

攻击发生前,因为Attacker账户没有从Victim合约提现,所以余额为0,此时Victim合约(DEX)的余额为100+100=200;

##pub?struct?FungibleToken?{??attacker_balance:?u128,??victim_balance:?u128}?impl?Default?for?FungibleToken?{??fn?default()?->?Self?{????Self?{??????attacker_balance:?0,??????victim_balance:?200???}?}?

下面描述该代码重入攻击的具体流程:

Attacker合约通过malicious_call函数,调用Victim合约中的withdraw函数;例如此时Attacker给withdraw函数传入amount参数的值为60,希望从合约B中提现60;

BikeRush宣布完成第一轮创世自行车NFT空投:5月8日消息,Ride To Earn 自行车健康骑行项目 BikeRush 宣布完成第一轮创世自行车 NFT 空投。BikeRush 将于近日开放应用测试入口,空投 NFT 持有者将成为 Ride To Earn 首批测试用户,可获得低碳骑行 BST Token 奖励以及 BRT 社区治理 Token 空投。[2022/5/8 2:58:36]

impl?MaliciousContract?{??pub?fn?malicious_call(&mut?self,?amount:u128){????ext_victim::withdraw(??????amount.into(),??????&VICTIM,???????0,???????env::prepaid_gas()?-?GAS_FOR_SINGLE_CALL?????);?}...}

在合约B中,withdraw函数开头处的assert!(self.attacker_balance>=amount);`将检查Attacker账户是否有足够的余额,此时余额100>60,将通过断言,执行withdraw中后续的步骤。impl?VictimContract?{??pub?fn?withdraw(&mut?self,amount:?u128)?->?Promise{????assert!(self.attacker_balance>=?amount);????//CallAttacker的收币函数????ext_ft_token::ft_transfer_call(??????amount.into(),??????&FT_TOKEN,???????0,???????env::prepaid_gas()?-?GAS_FOR_SINGLE_CALL?*?2?????)?????.then(ext_self::ft_resolve_transfer(????????amount.into(),???????&env::current_account_id(),????????0,????????GAS_FOR_SINGLE_CALL,?????))?}...}?

合约B中的withdraw函数接着将调用合约C中的ft_transfer_call函数;通过上述代码中的ext_ft_token::ft_transfer_call实现跨合约调用。

Crust Network将投放9万CRU和180万CSM奖励众贷参与者:Crust Network官方在“波卡生态中国行”上宣称,将通过代币激励形式鼓励用户使用Crust存储。此外,Crust将投放9万CRU+180万CSM奖励在Kusama插槽拍卖众贷中质押KSM的用户。CSM是Crust Shadow原生代币,在后续“数据创造价值”活动中,存储用户可通过质押CSM获得CRU奖励。[2021/6/6 23:15:24]

合约C中的ft_transfer_call函数,将更新attacker账户的余额=0+60=60,以及Victim合约账户的余额=200-60=140,随后通过ext_fungible_token_receiver::ft_on_transfer调用合约A的ft_on_transfer“收币”函数。#impl?FungibleToken?{??pub?fn?ft_transfer_call(&mut?self,amount:?u128)->?PromiseOrValue<U128>{????//相当于internal_ft_transfer????self.attacker_balance?+=?amount;????self.victim_balance???-=?amount;?????//CallAttacker的收币函数????ext_fungible_token_receiver::ft_on_transfer(??????amount.into(),??????&ATTACKER,??????0,???????env::prepaid_gas()?-?GAS_FOR_SINGLE_CALL?????).into()?}...}

由于合约A被Attacker所控制,并且代码存在恶意的行为。所以该“恶意”的ft_on_transfer函数可以再次通过执行ext_victim::withdraw,调用合约B中的withdraw函数,以此达到重入的效果。#impl?MaliciousContract?{??pub?fn?ft_on_transfer(&mut?self,?amount:?u128){????//恶意合约的收币函数????if?self.reentered?==?false{??????ext_victim::withdraw(????????amount.into(),????????&VICTIM,?????????0,?????????env::prepaid_gas()?-?GAS_FOR_SINGLE_CALL???????);???}????self.reentered?=?true;?}...}

SPDR Gold Trust持仓较上日减少3.8吨或0.3%:全球最大黄金ETF--SPDR Gold Trust持仓较上日减少3.8吨或0.3%,当前持仓量为1248.29吨。全球最大白银ETF--iShares Silver Trust持仓较上日减少217.22吨,当前持仓量为17855.07吨。[2020/8/15]

由于上一次进入withdraw以来,victim合约中的attacker_balance还没有更新,所以还是100,因此此时仍旧可以通过assert!(self.attacker_balance>=amount)的检查。withdraw后续将再次在FT_Token合约中跨合约调用ft_transfer_call函数,更新attacker账户的余额=60+60=120,以及Victim合约账户的余额=140-60=80;ft_transfer_call再次调用回Attacker合约中的ft_on_transfer函数。由于目前设置合约A中ft_on_transfer函数只会重入withdraw函数一次,所以重入行为在本次ft_on_transfer的调用时终止。此后函数将沿着之前的调用链逐级返回,导致合约B中的withdraw函数中在更新self.attacker_balance的时候,最终使得self.attacker_balance=100-60-60=-20由于self.attacker_balance是u128,且并没有使用safe_math,因此将导致整数的溢出现象。最终执行的结果如下:

$node?Triple_Contracts_Reentrancy.js?FinishinitNEARFinishdeploycontractsandcreatetestaccountsVictim::attacker_balance:3.402823669209385e+38FT_Token::attacker_balance:120FT_Token::victim_balance:80

即尽管用户Attacker在DEX中锁定的FungibleToken余额仅100,但是最终Attacker实际获得的转账为120,实现了本次代码重入攻击的目的。

4.代码重入防护技术

4.1先更新和与状态,再转账。

更改合约B代码withdraw中的执行逻辑为:

#impl?VictimContract?{??pub?fn?withdraw(&mut?self,amount:?u128)?->?Promise{????assert!(self.attacker_balance>=?amount);????self.attacker_balance?-=?amount;????//CallAttacker的收币函数????ext_ft_token::ft_transfer_call(??????amount.into(),??????&FT_TOKEN,???????0,???????env::prepaid_gas()?-?GAS_FOR_SINGLE_CALL?*?2?????)?????.then(ext_self::ft_resolve_transfer(????????amount.into(),???????&env::current_account_id(),????????0,????????GAS_FOR_SINGLE_CALL,?????))?}

??#??pub?fn?ft_resolve_transfer(&mut?self,?amount:?u128){????match?env::promise_result(0){??????PromiseResult::NotReady?=>?unreachable!(),??????PromiseResult::Successful(_)?=>?{?????}??????PromiseResult::Failed?=>?{???????//若ext_ft_token::ft_transfer_call跨合约调用转账失败,???????//则回滚之前账户余额状态的更新self.attacker_balance?+=?amount;??????}???};?}

此时的执行效果如下:

$node?Triple_Contracts_Reentrancy.js?FinishinitNEARFinishdeploycontractsandcreatetestaccountsReceipt:873C5WqMyaXBFM3dmoR9t1sSo4g5PugUF8ddvmBS6g3X???Failure:Error:{"index":0,"kind":{"ExecutionError":"Smartcontractpanicked:panickedat'assertionfailed:self.attacker_balance>=amount',src/lib.rs:45:9"}}Victim::attacker_balance:40FT_Token::attacker_balance:60FT_Token::victim_balance:140

可见由于此时的Victim合约在withdraw的时候事先更新了用户的余额,在调用外部的FungibleToken实施转账。因此当第二次重入了withdraw的时候,Victim合约中保存的attacker_balance已经更新为40,因此将无法通过assert!(self.attacker_balance>=amount);使得Attcker的调用流程由于触发了AssertionPanic,无法利用代码重入进行套利。

4.2引入互斥锁

该方法类似于当柜员-A还没有来得及将用户的余额更新为40元的时,用户跑去隔壁告诉另一位柜员-B:“我想要取60元”。尽管用户隐瞒了刚才已经向柜员-A取钱的事实。但是柜员-B却能够知道用户已经去过柜员-A那里,并且还没有办结所有的事项,此时柜员-B便可以拒绝用户来取钱。通常情况下可以通过引入一个状态变量,来实现一个互斥锁

4.3设置GasLimit

例如在DEX合约的withdraw方法调用ext_ft_token::ft_transfer_call时,设置一个适当的GasLimit。此GasLimit将不够支持下一次代码再次重入DEX合约的withdraw函数,以此阻断重入攻击的能力。

例如对代码做如下修改,限制withdraw方法调用外部函数时的GasLimit:

??pub?fn?withdraw(&mut?self,amount:?u128)?->?Promise{????assert!(self.attacker_balance>=?amount);????//CallAttacker的收币函数????ext_ft_token::ft_transfer_call(??????amount.into(),??????&FT_TOKEN,???????0,?-???????env::prepaid_gas()?-?GAS_FOR_SINGLE_CALL?*?2+???????GAS_FOR_SINGLE_CALL?*?3?????)?????.then(ext_self::ft_resolve_transfer(????????amount.into(),???????&env::current_account_id(),????????0,????????GAS_FOR_SINGLE_CALL,?????))?}

修改后执行效果如下

$node?Triple_Contracts_Reentrancy.jsFinishinitNEARFinishdeploycontractsandcreatetestaccountsReceipt:5xsywUr4SePqfuotLXMragAC8P6wJuKGBuy5CTJSxRMX???Failure:Error:{"index":0,"kind":{"ExecutionError":"Exceededtheprepaidgas."}}Victim::attacker_balance:40FT_Token::attacker_balance:60FT_Token::victim_balance:140

可见限制跨合约函数调用时的GasLimit也能起到防止重入攻击的效果。

本期总结和预告

这一期我们讲述了rust智能合约中的整数溢出问题,同时给出了建议,在书写代码时尽量先更新状态,再执行转账操作,并且设定合适的gas值,可以有效抵御重入攻击,下一期我们将讲述rust智能合约中的DoS问题,敬请关注。

标签:ACKTOKENUSTRANHackerLinkApache Tokenjustice币怎么样empowr orange

中币热门资讯
比特币:BRC-20 等致网络拥堵 比特币开发者们怎么看?_COI

Inscription和BRC-20的火热所导致的比特币网络拥堵手续费高昂这一事宜已经在比特币开发者社区中有所讨论.

COIN:a16z:NFTs 是加密经济的下一个金矿?_BitcoinPeso

作者?|?ChrisDixon 翻译:Edward?? 凯文-凯利在2008年的经典文章《1000名真正的粉丝》中预言,互联网将改变创意活动的经济学。要成为一个成功的创作者,你不需要几百万.

MEF:美联储加息快报丨美国银行分析师:美联储的立场不会倒向鸽派_TESTA

巴比特讯,由于市场加息和缩表预期不断升温,美国金融市场在1月经历了一轮持久的“股债双杀”:10年期美债收益率上周曾升穿1.9%.

ROLL:24小时内创建17.7万个地址,以太坊地址创下了单日最高峰值_加密货币市场最新消息分析

原标题:《以太坊的内在价值现在体现在哪里?》在撰写本文时,以太坊似乎受到了来自业界多方面的广泛关注,尽管最近成功亮相的以太坊2.0信标链是其重要的亮点.

TOK:思考 | 弱链上游戏和强链上游戏的优缺点_Dumbo Token

特别感谢guiltgyoza、RyanZurrer和Swagtimus对本文的反馈。同时,感谢Sylve和MatchboxDAO的社区提供的灵感和周到的讨论.

FOR:ORC20 实操铸造铭文代币保姆级教程_RC2

原文作者:CG 什么是ORC-20? ORC-20是一种开放的标准,是对BRC-20的补充和升级。取消了一些BRC-20的限制,并且定义了更多的操作.