블록체인 보안 &
솔리디티 실습

// ⚠️ 취약한 컨트랙트 (재진입 공격 가능)
pragma solidity ^0.8.0;

contract VulnerableBank {
  mapping(address => uint) public balances;

  function deposit() public payable {
    balances[msg.sender] += msg.value;
  }

  function withdraw() public {
    uint amount = balances[msg.sender];
    require(amount > 0, "잔액 없음");

    // ❌ 잔액 차감 전에 ETH 전송 → 재진입 허용
    (bool ok,) = msg.sender.call{value: amount}("");
    require(ok, "전송 실패");
    balances[msg.sender] = 0; // 너무 늦음!
  }
}

📋 단계별 실습 — 순서대로 실행하세요

🔢 Lab 1. 정수 오버플로/언더플로

Integer Overflow / Underflow

// ⚠️ 취약 — Solidity 0.7: 오버플로 체크 없음
pragma solidity ^0.7.0;

contract UnsafeCounter {
    mapping(address => uint256) public balances;

    // 공격: deposit(type(uint256).max) 후 deposit(1)
    //       → 0으로 래핑됨! (잔액 폭발 → 0)
    function deposit(uint256 amount) public {
        balances[msg.sender] += amount; // ❌ 오버플로 발생 가능
    }

    // 공격: 잔액 0인 상태에서 transfer(10, victim)
    //       → 0 - 10 = 2^256-10 (언더플로 → 무한 잔액!)
    function transfer(address to, uint256 amount) public {
        balances[msg.sender] -= amount; // ❌ 언더플로 발생 가능
        balances[to] += amount;
    }

    function withdraw(uint256 amount) public {
        require(balances[msg.sender] >= amount, "insufficient");
        balances[msg.sender] -= amount;
        msg.sender.transfer(amount);
    }
}