Solidityでセキュアなコードを書く 第2回

はじめに

今回の内容

ゴール

ターゲット

前提知識

第1章　assert()とrequire()について

assert()を使って不変であることを確認する

contract Token {
    mapping(address => uint) public balanceOf;
    uint public totalSupply;

    function deposit() public payable {
        balanceOf[msg.sender] += msg.value;
        totalSupply += msg.value;
        assert(this.balance >= totalSupply);
    }
}

assert()とrequire()を正しく使う

第2章　その他注意するべきこと

小数点の丸めに注意する

// bad
uint x = 5 / 2; // Result is 2, all integer divison rounds DOWN to the nearest integer

// good
uint multiplier = 10;
uint x = (5 * multiplier) / 2;

uint numerator = 5;
uint denominator = 2;


Etherを強制的にアカウントに送ることができる

残高ゼロでコントラクトが作成されると想定するべきではない

オンチェーン上のデータは公開されている

抽象的なコントラクトとインターフェイスのトレードオフに注意する

fallback関数は簡単に書く

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

// good
function deposit() payable external { balances[msg.sender] += msg.value; }
function() payable { LogDepositReceived(msg.sender); }

関数と状態変数の可視性を明示的に書く

// bad
uint x; // the default is private for state variables, but it should be made explicit
function buy() { // the default is public
    // public code
}

// good
uint private y;
function buy() external {
    // only callable externally
}

function utility() public {
    // callable externally, as well as internally: changing this code requires thinking about both cases.
}

function internalAction() internal {
    // internal code
}


プログラムを特定のコンパイラバージョンに固定する

// bad  pragma solidity ^0.4.4;
// good  pragma solidity 0.4.4;

バージョンが0.4以前のSolidityにおける0で割った時の注意

関数とイベントを区別する

// bad
event Transfer() {}
function transfer() {}

// good
event LogTransfer() {}
function transfer() external {}

参考URL：

免責事項

ブロックチェーン学習に最適の書籍の紹介

会社紹介