有趣的智能合约蜜罐分析(上)_RES:StarLaunch

智能合约蜜罐概述

研究安全的读者应该都清楚,蜜罐本质上是一种对攻击方进行的技术,通过布置一些作为诱饵的主机、网络服务或者信息,诱使攻击方对它们实施攻击。蜜罐设计的初衷就是让黑客来入侵系统,并借此收集证据,也隐藏了真实环境。智能合约中也有蜜罐,但它不同于我们一般听到的蜜罐。在本文中,知道创宇区块链安全实验室主要针对智能合约蜜罐进行分析。智能合约蜜罐的作用更像是钓鱼,通过引诱攻击者转账到蜜罐合约。相比于普通钓鱼行为面对一般用户,智能合约蜜罐的钓鱼行为针对的是智能合约开发者、智能合约代码审计人员以及黑客,这种钓鱼行为明显门槛更高。接下来我们会对一些智能合约蜜罐的案例做讲解,揭露其中的局,这些智能合约蜜罐代码都可以GitHub上找到,这里给出他们的网址:smart-contract-honeySolidlity-Vulnerable根据这些智能合约蜜罐的手法,可以将它们大致的分类为以下几种古老的手段黑客的漏洞利用新颖的游戏黑客的漏洞利用由于篇幅有限,文章分为两部分进行讲解,本文作为上篇,主要对古老的手段和神奇的逻辑漏洞进行讲解和复现,新颖的游戏和黑客的漏洞利用会在下篇中进行讲解。古老的方法

2

require(msg

当我们将合约的代码放到本地进行自动换行时就可以发现该合约是存在问题的。//contractaddress:0x7a4349a749e59a5736efb7826ee3496a2dfd5489pragmasolidity^0

}functionwithdraw()payablepublic{if(msg

require(msg

报告:英国财政部召集小组探讨基金代币化:金色财经报道,英国财政部经济部长Andrew Griffith正在重新召集资产管理工作组以支持区块链行业。它将包括一个技术工作组,负责探索基金代币化和人工智能、分布式账本技术 (DLT) 和区块链的使用。

去年,英国投资协会呼吁政府和 FCA 为代币化基金创建一个框架。金融行为监管局在3月份发布了一份改进资产管理的讨论文件。它包括一个关于基金代币化是否被视为高优先级的问题。[2023/4/18 14:09:33]

functionCommand(addressadr,bytesdata)payablepublic{require(msg

}2

else{throw;}}//当区块块号大于504027时再判断调用者是否为合约所有者,如果是则将合约所有余额转给合约所有者。msg

该蜜罐合约完整的代码如下:contractTestToken{stringconstantname="TestToken";stringconstantsymbol="TT";uint8constantdecimals=18;uinttotal;boollocked;address_owner;structAllowed{mapping(address=>uint256)_allowed;}mapping(address=>Allowed)allowed;mapping(address=>uint256)balances;eventTransfer(addressindexed_from,addressindexed_to,uint256_value);eventApproval(addressindexed_owner,addressindexed_spender,uint256_value);functionTestToken(){total=0;_owner=msg

新加坡金融管理局行长:正与中国央行探讨CBDC落地场景:6月18日,第12届陆家嘴论坛在上海开幕,新加坡金融管理局行长孟文能在圆桌讨论中表示,CBDC(央行数字货币)是当前非常热的话题,中国央行在该领域的探索非常积极,新加坡与中国央行有非常多的交流,双方正在探讨CBDC相关落地场景。(新浪)[2020/6/18]

functiontotalSupply()constantreturns(uint256totalSupply){returntotal;}functionbalanceOf(address_owner)constantreturns(uint256balance){returnbalances;}functiondeposit()payablereturns(boolsuccess){if(balances+msg

functionwithdraw(uint256_value)payablereturns(boolsuccess){if(balances<_value)returnfalse;msg

functiontransfer(address_to,uint256_value)returns(boolsuccess){if(balances<_value)returnfalse;if(balances+_value<_value)returnfalse;balances-=_value;balances+=_value;Transfer(msg

functionapprove(address_spender,uint256_value)returns(boolsuccess){allowed._allowed=_value;Approval(msg

Roger Ver将与国家元首探讨如何使比特币现金成为主权国家的官方货币:5月31日消息,Roger Ver声称,将与国家元首见面讨论如何使比特币现金成为主权国家的官方货币。 有分析师发布了来自Discord频道的帖子屏幕截图,该帖子的用户名作者为“ rogerver”。随后比特币现金联盟的subreddit / r / BTC的成员声称已确认该作者即是Roger Ver,即“比特币耶稣”(Beincrypto)[2020/5/31]

functionallowance(address_owner,address_spender)constantreturns(uint256remaining){returnallowed._allowed;}functiontransferFrom(address_from,address_to,uint256_value)returns(boolsuccess){if(balances<_value)returnfalse;if(allowed._allowed<_value)returnfalse;if(balances+_value<_value)returnfalse;balances-=_value;balances+=_value;allowed._allowed-=_value;returntrue;}functionwithdrawAll()payable{//require(msg

else{throw;}}msg

}2

bytes32publichashPass;functionSetPass(bytes32hash)payable{if(!passHasBeenSet&&(msg

声音 | 加拿大央行行长:加拿大央行将于2020年初更多探讨数字货币等新兴技术:据福布斯12月24日消息,加拿大央行(Bank of Canada)行长Stephen Poloz近日在年终演讲中谈到数字化影响和货币未来。在此背景下,Stephen Poloz指出,包括比特币和稳定币应用在内的新兴支付技术,是一个持续的研究领域。从各方面考虑,加拿大央行是否认为有必要发行一种数字货币来替代现金,这是一个公开的问题。然而,货币世界正在飞速发展,所以加拿大央行需要制定计划来应对任何突发事件,央行将在2020年初对此发表更多看法。他表示,因为这些技术可能是全球性的,它们正在吸引各国央行和其他监管机构的注意力。[2019/12/25]

}functionGetGift(bytespass)returns(bytes32){if(hashPass==sha3(pass)){msg

returnsha3(pass);}functionPassHasBeenSet(bytes32hash){if(hash==hashPass){passHasBeenSet=true;}}}整个合约有三个关键的功能函数,分别是setPass()、GetGift()以及PassHasBeenSet()。首先是setPass()函数,代码如下,其功能为在还未设置密码且转账大于1eth时可以设置密码hashPass。functionSetPass(bytes32hash)payable{//设置密码if(!passHasBeenSet&&(msg

functionCommand(addressadr,bytesdata)payablepublic{require(msg

声音 | 王永利:法定数字货币可以探讨 但必须非常审慎小心:近日,中国银行前副行长、海王集团首席经济学家王永利表示,法定数字货币可以探讨,但必须非常审慎小心,任何新的设计,必须与现有法定货币体系在运行效率、运行成本、可能的风险等方面进行认真对比分析,没有把握不可盲目推进。从目前关于法定数字货币的设想看,即使是仅仅替代现金,其实际价值到底如何,能否比现有体系更优越,尚无令人信服的结论。[2019/7/30]

functionmultiplicate(addressadr)publicpayable{if(msg

}}该蜜罐合约有三个关键的功能函数,分别是withdraw()、Command()以及multiplicate()。首先是withdraw()函数,代码如下,其功能为判断调用者是否为合约所有者,如果是则获取合约中的所有代币。functionwithdraw()payablepublic{//提款require(msg

modifieronlyOwner{if(msg

}contractTestBankisOwned{eventBankDeposit(addressfrom,uintamount);eventBankWithdrawal(addressfrom,uintamount);addresspublicowner=msg

functiondeposit()publicpayable{require(msg

functionsetEmergencyCode(uint256code,uint256value)publiconlyOwner{ecode=code;evalue=value;}functionuseEmergencyCode(uint256code)publicpayable{if((code==ecode)&&(msg

functionwithdraw(uintamount)publiconlyOwner{require(amount<=this

}该蜜罐合约的关键点在于useEmergencyCode()函数,代码如下,其功能为判断code是否等于合约的ecode,传入的msg

functiontest2(uinta)returns(uint){variable+=a;returnvariable;}}contractBisA{uintvariable=0;functiontest2(uinta)returns(uint){variable++;returnvariable;}}====================contractB{uintvariable1=0;uintvariable2=0;functiontest1(uinta)returns(uintv){variable1++;returnvariable1;}functiontest2(uinta)returns(uintv){variable2++;returnvariable2;}}那么再看懂了上面讲解的基础上我们再回到蜜罐合约本身,Owner和TestBank合约中都有一个owner变量,因此TestBank合约中useEmergencyCode()函数修改的其实只是TestBank合约的所有者,并不会对Owner合约的所有者造成任何影响,而函数修饰器onlyOwner中判断的合约所有者为Owner合约的所有者,也就是合约创建者,无论攻击者如何修改TestBank合约中的owner值,最后都不能通过onlyOwner的判断提款成功。根据上述的分析,我们可以将该蜜罐合约的核心代码修改为如下内容,这样大家就能够一目了然的知道原因了,onlyOwner中判断的owner和useEmergencyCode()函数中的owner参数并不是一个东西,只是同名而已。contractTestBankisOwned{addresspublicowner1=msg

addresspublicowner2=msg

functionwithdraw(uintamount)publiconlyOwner{require(amount<=this

3.3.2代码复现将蜜罐合约完整代码放入到RemixIDE中,选择0x5B38Da6a701c568545dCfcB03FcB875f56beddC4作为合约创建者,点击「Deploy」来部署合约,设置msg.value为10eth调用deposit()函数存入10eth到合约中。

在使用该用户0x5B3调用setEmergencyCode()函数设置ecode和evalue,这里我们将ecode任意设置为「111111」,value设置为「10000000000000000000」也就是10eth。

如果蜜罐合约创建者故意泄露自己设置ecode和evalue的值,并且展示出合约中已经存在以太币,当攻击者0xAb8发现了这些问题并被认为该合约存在问题,将msg.value设置为10eth,并输入code为「111111」去调用useEmergencyCode()函数,尝试去将合约所有者地址修改为自己的地址,但该攻击者只是成为了TestBank合约的所有者,并没有成为Owner合约的所有者,这就导致了在执行withdraw()函数时函数修饰器onlyOwner会拒绝攻击者。

攻击者0xAb8查看owner的值确定自己就是合约的所有者了,之后调用withdraw()函数去提取合约中所有的20eth,会发现调用失败,这是因为函数修饰器onlyOwner中判断条件不能通过,导致withdraw()函数也不能正常执行,这样一来攻击者0xAb8就被蜜罐合约白白取了10eth。

而合约所有者0x5B3则可以去调用withdraw()函数取走合约中的20eth。

4.文献参考

蜜罐技术_百度百科(baidu.com)以太坊蜜罐智能合约分析(seebug.org)Solidity原理:继承(Inheritance)Solidity中文手册

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:15ms0-4:38ms