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

はじめに

今回の内容

ゴール

ターゲット

前提知識

第１章　基本的な考え方

失敗に備える

• 最悪の場合に契約を一時停止する
• 扱う金額を制限する
• バグ修正のためのアップグレード

公開に対して慎重になる

• テストを徹底的に行う
• testnetでリリースしてバグを発見する
• 一気に公開せずに段階的に公開する

　コントラクトコードはできるだけシンプルに書く

• コントラクトコードのロジック
• コントラクトや関数のコードを減らすためのコードのモジュール化
• できるだけ既存のツールやコードを使用する
• できるだけパフォーマンスを明確にする
• 分散化を必要とする部分のみブロックチェーンを使用する

　最新の状態に保つ

• 新たに見つかったバグに当てはまらないか自分のコントラクトコードを確認する
• ツールやライブラリはできるだけ早くアップデートする
• 新しいセキュリティ技術を採用する

　ブロックチェーンの特性に注意する

• 悪意のあるコードを実行して制御フローを変更しようとする外部からのコールには十分に注意する
• public functionは公開されていて誰でも呼べることを留意する。データも見られていることに注意する
• GasコストとGas Limitに注意する

第2章　外部呼び出し

　外部呼び出しはできるだけ避ける

• x.transfer(y)とif (!x.send(y)) throw;は同等の意味を表しますが、sendはtransferの低いレベルの送信であるので、できるだけtransferを使用する方が良いです。
• someAddress.send()とsomeAddress.transfer()はリエントラント性があります。これらのメソッドはコントラクトコードを実行します。実行されたコントラクトコードにはイベントを記録するには十分な量である2,300Gasが与えられます。
• someAddress.call.value()()は与えられたEtherを送信して、コントラクトコードを実行します。実行されたコントラクトコードには実行可能な全てのGasが与えられます。ただし、リエントラント性はありません。

　リエントラント(reentrant)とは

　外部呼び出しのエラー処理

// bad
someAddress.send(55);
someAddress.call.value(55)(); // this is doubly dangerous, as it will forward all remaining gas and doesn't check for result

someAddress.call.value(100)(bytes4(sha3("deposit()"))); // if deposit throws an exception, the raw call() will only return false and transaction will NOT be reverted

// good
if(!someAddress.send(55)) {
    // Some failure code
}

ExternalContract(someAddress).deposit.value(100);

　　外部呼び出し後の制御フローは仮定しない

　　競合状態

　　信用できない契約には印をつける

Bank.withdraw(100); // Unclear whether trusted or untrusted

function makeWithdrawal(uint amount) { // Isn't clear that this function is potentially unsafe
    Bank.withdraw(amount);
}

// good
UntrustedBank.withdraw(100); // untrusted external call
TrustedBank.withdraw(100); // external but trusted bank contract maintained by XYZ Corp

function makeUntrustedWithdrawal(uint amount) {
    UntrustedBank.withdraw(amount);
}

   参考URL：

免責事項

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

会社紹介