《區(qū)塊鏈安全與隱私》課件-5.4 智能合約漏洞-自毀函數(shù)漏洞

自毀函數(shù)漏洞04自毀函數(shù)是由以太坊虛擬機(jī)EVM提供的一項(xiàng)功能，用于銷毀區(qū)塊鏈上部署的智能合約。當(dāng)合約執(zhí)行自毀操作時(shí)，合約賬戶上剩余的ETH會(huì)發(fā)送給指定的目標(biāo)地址，然后其存儲(chǔ)和代碼從以太坊狀態(tài)中被移除。自毀函數(shù)在solidity中定義為selfdestruct。也就是說(shuō)，智能合約在某些特殊情況下可以自行毀滅，比如：存在致命bug、廢棄不再使用等。需要注意的是，一旦調(diào)用了selfdestruct函數(shù)，合約的代碼將被銷毀，合約賬戶中的所有余額將被發(fā)送到指定的地址上，并且以后無(wú)法再調(diào)用合約的其他函數(shù)。在實(shí)際開(kāi)發(fā)中，selfdestruct函數(shù)通常用于銷毀合約并將資金返回給某個(gè)預(yù)定的合約擁有者或其他指定地址，方便進(jìn)行清算或轉(zhuǎn)移。自毀合約漏洞-原理自毀合約漏洞-漏洞智能合約介紹自毀合約漏洞-remix模擬正常游戲1.使用賬號(hào)1部署EtherGame合約，并傳入1個(gè)以太用來(lái)模擬第一個(gè)游戲者（模擬第一個(gè)游戲者玩游戲投入）2.查看合約賬戶余額getBalanace或者balances（1個(gè)以太），查看TargetAmount(7個(gè)以太)，查看傳入合約的以太（1個(gè)以太），查看winner：無(wú)3.查看賬號(hào)1余額（98.99999....eth）==>傳入了1個(gè)以太和gas費(fèi)4.點(diǎn)擊deposit開(kāi)始游戲5.點(diǎn)擊claimReward,查看是否獲獎(jiǎng)。=>未獲獎(jiǎng)6.再次查看合約賬戶余額getBalanace或者balances（1個(gè)以太），查看TargetAmount(7個(gè)以太)，查看傳入合約的以太（1個(gè)以太），查看winner：無(wú)=>沒(méi)有改變結(jié)果：大概率游戲失敗自毀合約漏洞-remix模擬游戲成功1.使用賬號(hào)1部署EtherGame合約，并傳入7個(gè)以太用來(lái)模擬第一個(gè)游戲者（模擬第7個(gè)游戲者玩游戲投入）2.查看合約賬戶余額getBalanace或者balances（7個(gè)以太），查看TargetAmount(7個(gè)以太)，查看傳入合約的以太（7個(gè)以太），查看winner：無(wú)3.查看賬號(hào)1余額（98.99999....eth）==>傳入了7個(gè)以太和gas費(fèi)4.點(diǎn)擊deposit開(kāi)始游戲5.點(diǎn)擊claimReward,查看是否獲獎(jiǎng)。=>獲獎(jiǎng)6.再次查看合約賬戶余額getBalanace或者balances（0個(gè)以太），查看TargetAmount(7個(gè)以太)，查看傳入合約的以太（7個(gè)以太），查看winner：賬號(hào)1地址自毀合約漏洞-remix嘗試攻擊漏洞合約自毀合約漏洞-remix嘗試攻擊漏洞合約1.模擬游戲失敗的的基礎(chǔ)上進(jìn)行攻擊2.使用賬號(hào)2部署攻擊合約attack,傳入7個(gè)以太。3.獲取攻擊合約余額7個(gè)以太。4.進(jìn)行攻擊attack,傳入步驟1的合約5.再次查看攻擊合約余額為0個(gè)以太。（通過(guò)自毀合約傳遞）6.查看步驟1中余額getBalance，變?yōu)?個(gè)以太。=>智能合約余額超乎7，游戲邏輯失敗。自毀合約漏洞-漏洞修復(fù)不使用address(this).balance作為余額，另外命名有一個(gè)balance的變量用于記錄合約的用戶存款金額，這一樣判斷的就是這個(gè)變量balance，和合約地址剩余余額就沒(méi)關(guān)系

1.在新建文件夾中創(chuàng)建空白truffle文件2.Contract文件夾下創(chuàng)建漏洞合約：demo1_repair.sol3.trufflecompile編譯智能合約4.Migration文件夾下創(chuàng)建1_deploy_RandomGame文件：5.trufflemigrate部署智能合約

constRandomGame=artifacts.require("RandomGame");constAttackRandom=artifacts.require("AttackRandom");module.exports=asyncfunction(deployer,accounts){awaitdeployer.deploy(RandomGame);a=awaitRandomGame.deployed();awaitdeployer.deploy(AttackRandom,a.address);}整數(shù)溢出-truffle測(cè)試漏洞代碼6.在test文件夾下創(chuàng)建testDemo1.test.js文件

自毀合約漏洞-Truffle測(cè)試漏洞1.在新建文件夾中創(chuàng)建空白truffle文件2.Contract文件夾下修復(fù)漏洞合約：badrandom_repair.sol3.trufflecompile編譯智能合約4.Migration文件夾下創(chuàng)建1_deploy_RandomGame文件：5.trufflemigrate部署智能合約

constRandomGame=artifacts.require("RandomGame");constAttackRandom=artifacts.require("AttackRandom");module.exports=asyncfunction(deployer,accounts){awaitdeployer.deploy(RandomGame);a=awaitRandomGame.d