T7 · Solidity の基礎

0x1234…（アドレス）
 ├─ コード      配備時に固定。事前の更新経路がなければ変更不可
 ├─ ストレージ  永続、公開、高価。秘密のフィールドはない
 ├─ 入口        公開関数リスト = 攻撃面リスト
 └─ 記録        実行時のイベント。オフチェーンだけが読める

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.4;   // カスタム error は 0.8.4 から使用可能

contract Vault {
    // ── 保存領域：この四変数が全記憶 ──
    address public owner;
    bool public depositsPaused;
    mapping(address => uint256) public balanceOf;
    uint256 public totalDeposits;

    // ── 記録：オフチェーンが聞ける唯一の声 ──
    event Deposited(address indexed account, uint256 amount);
    event Withdrawn(address indexed account, uint256 amount);
    event DepositsPausedSet(bool paused);
    event OwnerTransferred(address indexed from, address indexed to);

    // ── 拒否理由：require 文字列より省 Gas で構造的に識別可能 ──
    error NotOwner();
    error DepositsArePaused();
    error ZeroAmount();
    error ZeroAddress();
    error InsufficientBalance(uint256 requested, uint256 available);
    error TransferFailed();

    modifier onlyOwner() {
        if (msg.sender != owner) revert NotOwner();
        _;
    }

    constructor() {
        owner = msg.sender;
        emit OwnerTransferred(address(0), msg.sender);
    }

    function deposit() external payable {
        if (depositsPaused) revert DepositsArePaused();
        if (msg.value == 0) revert ZeroAmount();
        balanceOf[msg.sender] += msg.value;
        totalDeposits += msg.value;
        emit Deposited(msg.sender, msg.value);
    }

    function withdraw(uint256 amount) external {
        if (amount == 0) revert ZeroAmount();
        uint256 available = balanceOf[msg.sender];
        if (amount > available) revert InsufficientBalance(amount, available);

        // 記帳を先にし、支払いを後にする。逆にすると危険。T28 を参照
        balanceOf[msg.sender] = available - amount;
        totalDeposits -= amount;
        emit Withdrawn(msg.sender, amount);

        (bool ok, ) = msg.sender.call{value: amount}("");
        if (!ok) revert TransferFailed();
    }

    // 管理者は弁を閉じるだけで、残高には触れない
    function setDepositsPaused(bool paused) external onlyOwner {
        depositsPaused = paused;
        emit DepositsPausedSet(paused);
    }

    function transferOwner(address newOwner) external onlyOwner {
        if (newOwner == address(0)) revert ZeroAddress();
        emit OwnerTransferred(owner, newOwner);
        owner = newOwner;
    }
}