Lesson 5 capture 9 オーバーフロー対策
コントラクトのセキュリティ強化 オーバーフローとアンダーフロー
オーバーフロー
変数のとりうる値を超えた状態。
uint8の値は、最大2^8 - 1 = 255まで。
以下のプログラムを実行すると0となる。
uint8 number = 255;
number++;
number++;
アンダーフロー
uint8 number = 0;
number--;
number--;
を実行すると255(11111111)となる。
OpenZeppelinライブラリを使う
OpenZeppelinライブラリとは
OpenZeppelinはEthereum上で使用できる安全なスマートコントラクト開発のためのライブラリ（Solidityにおける特別なタイプのコントラクト）。
OpenZeppelinには多くの機能が実装されておりインポートするだけで安全に機能を使うことができます。
OpenZeppelinには多くの機能が実装されておりインポートするだけで安全に機能を使うことができます。
ERC20やERC721などの標準の実装。
柔軟な役割ベースの許可スキーム。
カスタム契約や複雑な分散型システムを構築するための再利用可能なSolidityコンポーネント。
ガス料金なしのシステムのためのガソリンスタンドネットワークとのファーストクラスの統合！
監査済リードするセキュリティ企業による（V2.0.0の最後の完全な監査）。
柔軟な役割ベースの許可スキーム。
カスタム契約や複雑な分散型システムを構築するための再利用可能なSolidityコンポーネント。
ガス料金なしのシステムのためのガソリンスタンドネットワークとのファーストクラスの統合！
監査済リードするセキュリティ企業による（V2.0.0の最後の完全な監査）。
SafeMath.solライブラリの使用
openzeppelin-solidity/contracts/math/SafeMath.sol
例えばSafeMathライブラリで、using SafeMath for uint256のシンタックスを使うとしよう。
SafeMathライブラリはadd、sub、mulさらにdivの４つの関数を持つ。
そして以下のように、uint256からこれらの関数にアクセス可能。
using SafeMath for uint256;
uint256 a = 5;
uint256 b = a.add(3); // 5 + 3 = 8
uint256 c = a.mul(2); // 5 * 2 = 10
uint256 a = 5;
uint256 b = a.add(3); // 5 + 3 = 8
uint256 c = a.mul(2); // 5 * 2 = 10
SafeMath.solライブラリの使用宣言
import "./safemath.sol";
using SafeMath for uint256;
//処理
prev
-
-
クリプトゾンビLesson 5 capture 8 ERC721 takeOwnership
Lesson 5 capture 8 ERC721 takeOwnership takeOwnershipは、msg.senderがそのトークン/ゾンビを受け取ることを承認されているか確認し、承認され ...
next
-
-
クリプトゾンビLesson 5 capture 10 SafeMathパート2
Lesson 5 capture 10 SafeMathパート2 SafeMathライブラリのコード openzeppelin-solidity/contracts/math/SafeMath.sol ...
2008年11月、metzdowd.comにナカモトサトシにより投稿された論文
ブロックチェーン
ビットコインは送信アドレス(Tx)に対するデジタル署名によって保護されており、一定時間（10分）ごとに、すべての取引記録を分散台帳に追加します。