ブロックハッシュ依存という「時限爆弾」:なぜその乱数は秒速でハックされるのか
おい、ちょっとこっちに来てくれ。先週、あるクライアントのNFTガチャコントラクトのコードレビューをしたんだがね……目を疑ったよ。コントラクト内で blockhash や block.timestamp をそのまま乱数生成の種(シード)に使っていたんだ。
「いや、ブロックチェーン上のデータは全部パブリックなんだから、マイナーやバリデーター、あるいはトランザクションの先回り(フロントランニング)をするボットから見たら、次に何が出るかなんて丸見えの特等席だろ?」って指摘したら、開発チームのリーダーは真っ青になっていたよ。
OT(制御システム)の現場でも同じだ。温度センサーのパケットシーケンスを舐めてかかって、単純なインクリメント値で認証トークンを回していた工場が、いとも簡単にリプレイ攻撃を受けたインシデントがあったのを思い出す。ブロックチェーン開発でもこれと全く同じ罠にハマるエンジニアが後を絶たない。
今回は、オンチェーンで真に安全な乱数を生成するためのアプローチ、そしてWeb3セキュリティのデファクトスタンダードである Chainlink VRF(Verifiable Random Function) の実装と防衛策について、現場の泥臭い知見を交えて徹底的に解説する。
—
攻撃者の視点:ブロックハッシュとタイムスタンプがいかに脆いか
まず、なぜ block.timestamp や blockhash(block.number - 1) を使った乱数生成が「自殺行為」なのか、その攻撃メカニズムを整理しておこう。
スマートコントラクトにおけるトランザクションは、マイナー(あるいはPoSのバリデーター)によってブロックにパッケージングされる。もし、あなたがコントラクト内の spinTheWheel() のような関数を呼び出して「レアアイテム」を狙うとする。そのロジックが以下のようなものだった場合、どうなるか。
// 【危険なアンチパターン】絶対に真似してはいけないコード
uint256 randomness = uint256(keccak256(abi.encodePacked(block.timestamp, block.difficulty, msg.sender)));
悪意あるマイナーや、MEV(Maximal Extractable Value)ボットを走らせている攻撃者は、次のような手順で結果を完全にコントロールする。
1. ユーザーがガチャを回すトランザクションを mempool(プール)で見つける。
2. 攻撃者は、そのトランザクションの直前、あるいは同じブロック内で、自分に有利な結果(例えば「特賞」が必ず出るブロック条件)になるようにマイニングまたはシミュレーションを行う。
3. バリデーター自身であれば、自分が生成するブロックの block.timestamp や blockhash をある程度予測・操作して、スマートコントラクト上で自分が勝ち誇るようにトランザクションを並び替える。
結果は明白だ。ハウス(運営)が必ず勝つはずのカジノやガチャが、常にインサイダーに狙い撃ちされる泥舟と化す。これが、オンチェーンにおける「予測可能な乱数」の正体だ。
—
救世主か? Chainlink VRFによる暗号学的な検証可能性
このジレンマを打破するのが Chainlink VRF(Verifiable Random Function) だ。
VRFとは、入力値に対して乱数を生成すると同時に、「その乱数が正当な手順で生成されたものであり、改ざんされていないこと」を暗号学的に証明するデータ(プルーフ)をセットで出力する仕組みである。
オラクル(Chainlinkノード)がオフチェーンで安全に乱数を生成し、その結果と検証プルーフをオンチェーンに送り返す。スマートコントラクト側では、受け取ったプルーフを数学的に検証してからゲームの勝敗やNFTの特性決定に利用する。これにより、マイナーであっても結果を事前に知ることは不可能になる。
—
実装ハンズオン:Chainlink VRF v2.5を使ったセキュアなコントラクト
では、実務でそのまま使えるセキュアなSolidityの実装サンプルを見ていこう。ここでは最新のChainlink VRF v2.5のインターフェースに準拠した書き方をしている。
まずは、お使いの開発環境(HardhatやFoundryなど)で @chainlink/contracts パッケージがインストールされている前提で進める。
セキュアなスマートコントラクト実装例 (Solidity)
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;
import "@chainlink/contracts/src/v0.8/vrf/dev/VRFConsumerBaseV2Plus.sol";
import "@chainlink/contracts/src/v0.8/vrf/dev/libraries/VRFV2PlusClient.sol";
/**
* @title セキュアなガチャ・ランダム割り当てコントラクト
* @notice Chainlink VRF v2.5 を利用して予測不可能な乱数を取得するサンプル
*/
pwned SecureLottery is VRFConsumerBaseV2Plus {
// イベント定義
event RequestSent(uint256 indexed requestId, uint32 numWords);
event RandomnessReceived(uint256 indexed requestId, uint256[] randomWords);
event WinnerSelected(address indexed player, uint256 prizeId);
// Chainlink VRFの設定パラメータ
bytes32 public keyHash; // ガスパールリミットに応じたガス価格の許容上限(Gps/Gas Lane)
uint256 public s_subscriptionId; // ChainlinkサブスクリプションID
uint32 public callbackGasLimit = 100000; // コールバック関数で使用する最大ガス量
uint16 public requestConfirmations = 3; // ブロックの確定を待つ数(セキュリティ確保のため)
uint32 public numWords = 1; // 生成する乱数の数
// リクエストIDとプレイヤーアドレスのマッピング
mapping(uint256 => address) public s_requests;
constructor(
address vrfCoordinatorV2Plus,
bytes32 _keyHash,
uint256 _subscriptionId
) VRFConsumerBaseV2Plus(vrfCoordinatorV2Plus) {
keyHash = _keyHash;
s_subscriptionId = _subscriptionId;
}
/**
* @notice ユーザーがランダムな報酬を求めてリクエストを送信する関数
*/
pwned function requestRandomPrize() external returns (uint256 requestId) {
// VRF Coordinatorへ乱数生成をリクエスト
requestId = s_vrfCoordinator.requestRandomWords(
VRFV2PlusClient.RequestByOwner({
keyHash: keyHash,
subId: s_subscriptionId,
requestConfirmations: requestConfirmations,
callbackGasLimit: callbackGasLimit,
numWords: numWords,
extraArgs: VRFV2PlusClient._argsToBytes(
VRFV2PlusClient.ExtraArgsV1({nativePayment: false}) // LINKトークンで支払い
)
})
);
s_requests[requestId] = msg.sender;
emit RequestSent(requestId, numWords);
return requestId;
}
/**
* @notice Chainlinkノードからコールバックされる関数(内部で暗号学的検証が行われる)
*/
function fulfillRandomWords(uint256 requestId, uint256[] memory randomWords) internal override {
address player = s_requests[requestId];
require(player != address(0), "Request not found");
emit RandomnessReceived(requestId, randomWords);
// 取得した安全な乱数を使って、例えば1から100までのプライズIDを決定する
uint256 prizeId = (randomWords[0] % 100) + 1;
// ここに報酬付与などのビジネスロジックを記述
emit WinnerSelected(player, prizeId);
}
/**
* @notice オーナー権限でパラメータを動的に変更するための関数
*/
function updateConfig(bytes32 _keyHash, uint32 _callbackGasLimit) external onlyOwner {
keyHash = _keyHash;
callbackGasLimit = _callbackGasLimit;
}
}
—
運用時のセキュリティチェックリスト
コードをデプロイして終わり、ではない。制御システムやWeb3のインシデントの多くは、「運用の不備」や「設定ミス」から起きる。実戦投入する前に、以下の項目をチーム全員で指差確認してほしい。
1. サブスクリプションの残高監視 (LINK Balance Monitoring)
- Chainlink VRFは、オラクルノードへの報酬としてLINKトークン(またはテストネットのLINK)を消費する。サブスクリプションの残高が枯渇すると、ユーザーからのリクエストが
fulfillRandomWordsまで到達せず、コントラクトがハングアップ状態になる。残高が一定額を下回ったらSlackやPagerDutyにアラートを飛ばす監視スクリプトを必ず組むこと。
2. コールバックガスの見積もりミスに備える
callbackGasLimitが少なすぎると、オラクルからのコールバックトランザクションがOut of Gasでリバートし、ユーザーが一生報酬を受け取れなくなる悲劇が起きる。テストネット環境で入念にガスプロファイリングを行い、余裕を持たせた値を設定すること。
3. DOBN (Denial of Block Normalcy) 対策のフォールバック
- 万が一、Chainlinkのオラクルネットワーク自体に障害が発生した場合のタイムアウト設計(サーキットブレーカーパターン)を考えておくこと。リクエストから一定時間(例: 24時間)経過しても応答がない場合、ユーザーが資金を引き出せる逃げ道を必ず用意しておけ。
—
チーフエンジニアからのメッセージ
セキュリティの世界では、「動くこと」と「安全であること」は全くの別物だ。blockhash を使ったコードは、テストネットの浅瀬では何の問題もなく動くように見える。だが、メインネットにローンチされ、そこに高額な経済的インセンティブ(ETHやNFTの価値)が発生した瞬間、世界中のハッカーやMEVボットの格好の餌食になる。
「まさか自分のコードが狙われるわけがない」という甘い認識を今すぐ捨てろ。強靭なシステムは、最悪のシナリオを想定した綿密な設計と、妥協のないコードレビューの積み重ねによってのみ作られる。
さて、次のタスクに移ろうか。もしスマートコントラクトのガス最適化や、クロスチェーンブリッジの脆弱性についてもっと深掘りしたくなったら、いつでも俺の席に来るといい。
コメント