オンライン・ビットコインパズルソルバー(1000 BTCチャレンジ)
秘密鍵を見つけて、報酬を獲得しましょう。
コンソールを初期化しました。検索の準備が完了しています...
未解決ビットコインパズル一覧
下の「操作」ボタンをクリックすると、パズルの対象アドレスと検索範囲が自動的に入力されます。
| ビット | 対象アドレス | 褒美 | 開始範囲(16進数) | 終了範囲(16進数) | 操作 |
|---|
1000 BTCビットコインパズル:歴史、暗号技術、および仕組み
1. 概要と起源
2015年1月、Bitcoinユーザー「32008」を名乗る匿名の人物が、Bitcointalkフォーラムに「1000 BTCビットコインパズル」として知られる暗号学的チャレンジを紹介する投稿を公開しました。
作成者は、新たに生成された一連のアドレスに合計1,000 BTCを入金しました。各連続するアドレスには、数学的に制限された検索空間(bounded range)内にある秘密鍵が割り当てられ、シリーズが1段階進むごとに鍵のサイズが1ビットずつ増加する仕組みとなっていました(1ビットから160ビットの検索空間まで)。
このパズルの主な目的は、鍵空間が指数関数的に拡大することを実践的かつ視覚的に示し、secp256k1楕円曲線上におけるブルートフォース検索のセキュリティ上の限界を検証することでした。
2. 範囲メカニズムの仕組み
標準的なビットコイン秘密鍵は、256ビット全体の空間($2^{256}$)からランダムに選択されますが、このパズルでは、各パズル番号Nに対して有効な秘密鍵の範囲を意図的に制限しています。
- パズル #1:範囲 2^0 ~ 2^1 - 1$(鍵空間のサイズ:2^0 = 1)
- パズル #2:範囲 2^1$ ~ 2^2 - 1(鍵空間のサイズ:2^1 = 2)
- パズル #N:範囲 2^{N-1} ~ 2^N - 1$(鍵空間のサイズ:2^{N-1})
例えば、パズル #66では、秘密鍵が2^{65}から2^{66} - 1の範囲に制限されています。パズル #66で確認する必要がある候補鍵の総数は次のとおりです:
2^{65} = 36,893,488,147,419,103,232 個の鍵
各レベルで前の鍵空間が2倍になるため、パズル N+1を解くには、パズル Nと比較して2倍の計算能力(または時間)が必要になります。
3. 報酬分配と報奨金の仕組み
チャレンジが開始された際、各アドレスには特定の報酬が割り当てられていました:
- パズル #1~#160:当初は段階的に増加する金額(0.001 BTC、0.002 BTCなどから、より高い番号では数BTCまで)が資金として割り当てられていました。
- 統合と再資金提供:長年にわたり、低レベルのパズルが基本的なCPUスクリプトによって即座に解かれるようになると、コミュニティのスポンサーや当初の作成者が、未請求の高レベル報奨金を定期的に統合または再資金提供し、分散型GPUおよびASICによる解読作業を促進しました。
4. 現在のチャレンジ状況
- 低範囲(パズル #1~#65):完全に解決済み。最新のデスクトップCPUおよびGPUでは、最適化された楕円曲線ライブラリ(secp256k1のC++実装やbsgs / Pollard's Kangarooアルゴリズムなど)を使用することで、2^{1}から2^{40}の範囲を数秒から数分でスキャンできます。
- 中間範囲(パズル #66~#160):検索空間が2^{66}以上になると、個々のパズルを解くためには、大規模な分散コンピューティング・プール(KangarooやBaby-Step Giant-Stepアルゴリズムを使用するGPUクラスターなど)が必要になります。
- 指数関数的な壁:2^{80}を超えると、検索空間は標準的なハードウェアでは現実的に処理できないほど巨大になります。これは、範囲を制限した場合でも、ブルートフォース検索の規模が実行可能な計算能力の範囲を超えて指数関数的に増大することを示しています。
5. 暗号技術上の意義
Bitcointalkの1000 BTCパズルは、応用暗号技術における最も有名な実世界のベンチマークの一つとして知られています。このパズルは、次の3つの基本原則を示しています:
- 指数関数的成長:1ビット追加するだけで、セキュリティ上の複雑性が2倍になることを示しています。
- アルゴリズムの効率性:単純な線形探索(O(N))と、Pollard's Kangaroo(O(\sqrt{N}))のような衝突ベースの探索アルゴリズムとの性能差を示しています。
- ビットコインのセキュリティに関する証明:制限のない完全な256ビットのビットコイン秘密鍵(2^{256})が、既知の物理法則の下では依然として解読不可能である理由を視覚的に示しています。