문제에서는 Solidity Remix IDE가 힌트가 될 수 있을 것이라고 한다. Remix IDE는 스마트 컨트랙트를 작성할 때 실시간으로 여러 유용한 기능, 정보를 제공한다.

코드

먼저, 문제 이름이 Fallout이므로, 왜 Fallout일지(문제 내의 사진을 보면 Fal1out이다.) 생각해보자. Fallback처럼 기존에 있는 함수인지 찾아보았으나 없다.

일단 모르겠다.

그럼 코드를 살펴보자.

먼저, SafeMath 라이브러리를 가져와 안전한 연산과 overflow/underflow를 방지한다. using SafeMath for uint256;은 uint 자료형으로 수행되는 연산을 안전하게 수행할 수 있도록 한다.

mapping(key => value) variable; 는 매핑으로, 키-값 쌍으로 동작한다. 여기서는 allocation[owner] = msg.value에서 owner는 address, msg.value는 uint로, owner주소에 msg.value 값을 기록하는 것이다.

Fal1out

constructor가(자칭) 정의되어있는데, 자세히 보면 함수의 이름이 Fallout이 아니라 Fal1out이다. 즉, 문제에서도 보았듯이 훼이크를 친 것 같다. /constructor/구문은 깔끔히 무시해주고, 일반 함수로 받아들이자!

이 함수가 실행되면 함수 호출자가 owner가 된다. 함께 전송된 이더는 allocation[owner]에 저장된다.

onlyOwner

이전 문제에도 있었듯이, modifier를 사용해 require문이 참인지 확인한다. 즉, 함수 호출자 = 소유주인지 확인하여 옳지 않으면 "caller is not the owner" 메세지를 출력하고 트랜잭션에 실패하며, 참이라면, modifier가 적용된 함수 본문의 코드가 실행된다.(_;코드 덕분에)

allocate

이 함수가 실행되면 함수 호출자가 보낸 이더의 값을 allocation 매핑에 추가하여 저장한다. 추가로, add함수를 사용하여 오버플로우를 방지하였다.

function add(uint256 a, uint256 b) internal pure returns (uint256) { uint256 c = a + b; require(c >= a, "SafeMath: addition overflow"); return c; } 이는 SafeMath 라이브러리에 있는 add함수 코드이다.

위 방식을 통해 오버플로우를 감지한다. 만약 위 방식을 사용하지 않았더라면 어떤 일이 발생할 지 모르며, 의도치 않은 결과가 나올 수 있다.

sendAllocation

이더를 보낼 수 있는 allocator의 주소를 파라미터로 받아온다. transfer함수는 지정된 주소에 이더를 전송하는 함수이다. allocator에게 할당된 값이 0 이상이라면, allocator의 주소에 할당된 이더의 값이 전송된다.

collectAllocations

위의 modifier에서 require문이 참인 경우(함수 호출자 = 소유주인 경우) 실행할 수 있는 함수이다. 즉, owner만 실행할 수 있다. 여기에서 this는 해당 스마트 계약의 인스턴스 주소이므로, address(this).balance는 이 스마트 계약에 저장된 모든 잔액이다. 즉, msg.sender(=owner)에게 스마트 계약의 모든 남은 금액을 전송하는 함수로, 내용만 보아도 owner만이 실행해야 한다.

allocatorBalance

view로 선언되었으므로 단순히 정보를 볼 때만 쓰는 함수이다.(상태를 변경하지 않는 조회 함수) allocator의 주소에 할당된 이더가 얼마인지 보여준다. 즉, 잔액 조회 용도이다.

실습!

인스턴스를 생성한다. 그림은 생략하겠다.

contract.owner()로 owner주소 체크

0x000000~~0000 아직 owner가 없다. 내가 owner가 되어야겠다.

contract.Fal1out()

이제 컨펌받고 다시 owner주소를 확인해보면 내가 owner이다! 아마 이 문제에서 의도한 것은 외부인이 owner가 될 수 없도록 설계해야 하는데 생성자에 오타를 내어 일반 함수로, 그것도 owner가 되기 쉬운 매우 취약한 함수로 만들었다. 오타를 조심하라는 문제인 듯 하다.

생각해보니 owner가 되기 전에 다른 함수들 실행해볼걸,,(owner가 아닐 때 오류 발생하는 구문을 보고싶엇다..)

일단 안에 얼마있는지 확인해보자.

Fal1out함수로 이더를 따로 전송하진 않았으므로 비어있다고 뜬다.(i라고 뜸, 이게 비었다는 뜻인가? 이것도 질문해야겠다)

contract.allocate({value:toWei("0.0000000000000001")}) 로 1Wei를 보내보았다.

근데 왜 contract.allocatorBalance(player)을 하면 가진 금액이 뜨지 않는지 모르겠다. 위 사진과 동일하게 나온다. (질문 예정, 이후 수정)

내가 소유주이므로 컨트랙트의 모든 이더를 나에게 보내기 위해 collectAllocations()를 실행하고 컨펌받았다.

일단 할 것은 다 했으니 Submit instance를 하였다.

성공!

소감문

사실 0, 1을 풀 땐 크게 느끼지 못했는데, 확실히 이렇게 정리를 하면서 각 함수를 제대로 이해하고, 모르는 것은 찾아보고, 그 후에 문제를 푸니까 술술 풀린다. (물론 초반 문제라 쉬운 것도 있다. 하지만 느낌이 달라졌다는 것이 중요!) 문제 유형에 익숙해진 것도 있지만, 어떻게 해야할 지 조금씩 알겠다. 코드들도 아직은 익숙치 않음에도 몇 번 보니까 익숙해졌고, 정리하면서도 까먹을 수 있었던 부분들이 기억이 난다. 이제 꾸준하게만 하면 된다.. 아직 너무 쪼끔했다.

열공~

마찬가지로 생각이 날 때마다 업데이트 될 예정!

Fallback이란? 어떤 기능이 약해지거나 제대로 동작하지 않을 때, 이에 대처하는 기능 또는 동작

스마트 컨트랙트에는 Fallback 함수가 있다.

Fallback Function

fallback함수는 무기명 함수이다. 직접 호출되지 않고, 특정 상황에서 제대로 동작하지 않을 때 디폴트로 fallback함수가 실행된다.

컨트랙트에서는 호출한 함수가 컨트랙트 내에서 조회되지 않는 경우(주소가 확인되지 않는 경우)가 있다. 또한 Ether를 보낼 때도 자동으로 실행된다.

Reference https://velog.io/@octo__/Solidity-fallback-function

이 레벨을 통과하기 위해서는 다음 두 가지 조건이 필요하다.

1. contract의 ownership를 선언한다.(내가 owner가 되고자 한다.)
2. 계좌의 잔액을 0으로 만든다.

아래는 컨트랙트 코드이다.

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract Fallback {
mapping(address => uint256) public contributions;
address public owner;

constructor() {
    owner = msg.sender;
    contributions[msg.sender] = 1000 * (1 ether);
}

modifier onlyOwner() {
    require(msg.sender == owner, "caller is not the owner");
    _;
}

function contribute() public payable {
    require(msg.value < 0.001 ether);
    contributions[msg.sender] += msg.value;
    if (contributions[msg.sender] > contributions[owner]) {
        owner = msg.sender;
    }
}

function getContribution() public view returns (uint256) {
    return contributions[msg.sender];
}

function withdraw() public onlyOwner {
    payable(owner).transfer(address(this).balance);
}

receive() external payable {
    require(msg.value > 0 && contributions[msg.sender] > 0);
    owner = msg.sender;
}
}

이 레벨을 풀 때 도움이 될 지도 모르는 힌트들

1. ABI와 상호작용할 때 어떻게 이더를 보낼까?
2. ABI 외부로 어떻게 이더를 보낼까?
3. help() 커맨드로 wei/ether 전환
4. Fallback 함수

먼저, 코드를 살펴보자.

constructor

owner를 msg.sender로 설정, 즉 컨트랙트 배포자(트랜잭션을 보낸 사람)의 주소를 소유자로 설정했다. contributions[msg.sender] = 1000 * (1 ether)로, 소유자의 초기 기여도(?)를 1000 ETH로 설정했다.

onlyOwner

modifier를 사용해 함수 호출자가 소유자인지 확인한다. require함수로 트랜잭션을 보낸 사람의 주소가 컨트랙트의 소유자 주소와 동일한지 확인한다. 같지 않으면 "caller is not the owner" 메세지를 출력 후 트랜잭션을 실패하게 한다. _;는 modifier가 적용된 함수 본문의 코드가 실행된다. function withdraw() public onlyOwner 에서 owner만이 해당 코드(payable(owner).transfer(address(this).balance);)를 실행할 수 있다.

contribute

공개적으로 호출 가능, payable 키워드를 사용했으므로 ETH를 받을 수 있다. 함수 호출자가 보내는 이더의 양(msg.value)가 0.001 ETH보다 적어야 한다. 이보다 많으면 트랜잭션이 실패한다. if문에서는 기여자가 보낸 이더의 총합이 현재 소유자가 보낸 이더의 양보다 클 경우, 기여자를 새 소유자(owner)로 설정한다.

*즉, 기여도가 가장 큰 사람 = owner

getContribution

공개로, view로 표시되어 데이터를 조회하는 함수이다.(상태 변경 x) 현재 호출자 주소에 대한 기여도를 반환하여 사용자는 자신의 기여도를 이 함수로 확인가능하다.

withdraw

modifier로 설정된 onlyOwner 조건을 만족하는 경우에만 해당 함수가 실행된다. 즉, owner만 호출할 수 있다. payable이므로 이더를 받을 수 있음을 의미하며, 이 컨트랙트가 보유한 잔액을 transfer 함수로 owner에게 모두 전송한다. 즉, 소유자가 컨트랙트의 모든 자금을 인출할 수 있는 기능이다.

receive

function 키워드를 사용하지 않는 특별한 함수로, receive라는 예약된 이름을 사용해 선언한다. 스마트 컨트랙트가 직접 이더를 전송받을 때 호출된다.(자동 호출) external이므로 외부에서만 호출 가능하며, 이더 수신이 가능하다. 함수 호출자의 기여도가 0보다 높고 사용자가 0 이상의 이더를 전송해야만 실행되며, 이더를 보낸 사용자의 주소를 owner로 변경한다.

contract.owner()키워드로 주소 확인을 해보면, 0x3c99F231E92c4F0009aC726dd310Bd76d1c755bB (이후에 바뀌므로 잠시만 기억해놓자)

contract.contribute({value:toWei("0.0000000000000001")}) 1Wei를 보내보았다.

를 해보니 인스턴스 주소로 1Wei가 전송된 것을 확인할 수 있었다.

전송했으니 내가 owner이다.

라고 생각했으면 반성하자.

코드를 다시 보면 0.001 이더 미만을 보내고, 컨트랙트로 0 이상의 이더를 보내야 한다. 즉 아직 owner가 되지 않은 상태이다. contract.owner()을 해보면 아직 내 주소로 변경되지 않았다. 다시 0.0005 ETH를 보내고(1Wei는 너무 적어서 조금 더 보내보았다), 컨펌시킨 후 컨트랙트로 0.0001 이더를 보내보자.

help()를 보면 sendTransaction({options})가 있다.

활용하여, contract.sendTransaction({value:toWei("0.0001")}) 컨펌되었으면, contract.owner()을 다시 해보자.

내가 owner가 되었다!!

이제 contract.withdraw()로 컨트랙트의 이더를 0으로 만들자.

성공!

Ethernaut은 OpenZepplin이 제공하는 EVM에서 플레이할 수 있는 Web3/Solidity 기반의 워게임이다.(스마트 컨트랙트 보안 교육용 게임) 각 단계마다 필요한 취약점을 찾아야 한다.

031까지 총 32단계이며, 05까지의 난이도로 구성되어있다.(현재까지는 최대 4이며, 이전부터 단계가 조금씩 추가되는 중이다. 6년 전 자료를 보면 15개였다.)

Ethernet과는 이름은 비슷하지만 관련은 없는 듯 하다.

뭔가 쓸게 많을 줄 알고 글 쓰기 시작했는데 막상 써보니 마땅히 쓸 것이 없다,,

Level을 올려가며 풀이하면서, 여기에 쓰면 좋겠다고 생각나는 것이 있을 때마다 수정할 계획이다.

이상!

크롬에 메타마스크를 설치하고, network를 sepolia로 switch.

2. Open the browser's console

f12를 눌러 개발자모드 콘솔 창 열어주고, player()로 player의 주소를 볼 수 있다.

3. Use the console helpers

getBalance(player)로 현재 Ether 잔액을 확인한다.

help()로 다양한 정보를 얻을 수 있다.

4. The ethernaut contract

ethernaut라는 main contract를 활용할 예정이다.

5. Interact with the ABI

ethernaut는 Ethernaut.sol이라는 contract로, TruffleContract에 배포되어있다. 컨트랙트의 ABI는 Ethernaut.sol의 메인 메소드들을 보여준다.

6. Get test ether

7번에서 인스턴스를 생성하는데, 이를 위해서는 수수료의 지불이 필요하다. 공짜로 얻기 위해 https://blog.chain.link/sepolia-eth/ 에서 0.1ETH를 얻을 수 있었다. (그러나 이후 holesky로 네트워크를 변경하고 지인에게 받았다.)

7. Getting a level instance

웹 페이지의 하단에 보면 Get new instance가 있다.

음? 왜이렇게 많이 나오지?

이유는 모르겠으나,, holesky로 바꾸어 성공했다.

메타마스크로 이동하여 수수료를 지불해주면 인스턴스가 생성되었음을 확인할 수 있다.

8. Inspecting the contract

9. Interact with the contract to complete the level

그냥 단순히 따라가기만 하면 된다.

성공!

앞으로는 조금 더 자세한 설명과 내가 고민했던 것들을 구체적으로 적을 예정이다.