Crypto New Media
安全なスマートコントラクトを書くに最低限気をつける4つの点 – Kyuzan Engineering & Blockchain （JAPAN / 日本） – Medium
Crypto New Media Press
Photo by mike dennler on Unsplash 暗号通貨に対するハッキングは近年増加しつつあることが知られています。 本記事では安全なスマートコントラクトを書くにあたり、4 つの主要な攻撃方法とその対策をコードサンプルとともに紹介します。 1. オーバーフロー オーバーフローとは与えられたビット数で表現できる数の範囲を超えてしまった場合に起こる現象のことを指します。たとえば、Solidity の符号なし整数 (uint) は 256 bit の非負整数であり、0 以上 2²⁵⁶ −1 以下の整数のみ表します。この場合、0 − 1 の結果は −1 ではなく 2²⁵⁶ −1 となってしまいます。 mapping (address => uint) balance // 残高 function withdraw(uint amount) {balance[msg.sender] -= amountmsg.sender.transfer(amount)} 上の例ではbalance[msg.sender]が 0 の状態で withdraw(1)を呼ぶと残高 balance[msg.sender]が 2²⁵⁶ − 1 なってしまいます。このような意図しない計算結果は、金銭的な取引を扱うことの多いスマートコントラクトでは致命的な損害につながる可能性があります。そのため、四則演算を扱う場合は OpenZepplin が公開している SafeMath を使用しましょう。a — b […]
The post appeared first on .
