ハル・フィニーは​サトシだったのか — RPOWを​作り、​数軒先に​本物の​「サトシ・ナカモト」が​住んでいた​男

ハル・フィニーは、日系米国人エンジニアのドリアン・サトシ・ナカモトから数ブロック離れた場所に住んでいた。Caltechで訓練を受けた暗号学者、RPOW（Reusable Proof-of-Work、2004年）の考案者、サトシ以外で最初にビットコインを稼働させたとされる人物、人類初の個人間ビットコイン取引（10 BTC、2009年1月12日）の受領者である。地理的・経歴的な一致がハル・フィニー＝サトシ説の中核であり、これを最も顕著に提唱したのが2014年3月25日のアンディ・グリーンバーグによるForbes特集「Nakamoto’s Neighbor」である。

説はジョン・カレイロウのニューヨーク・タイムズ・アダム・バック調査のためにフロリアン・カフィエロが2026年に実施した文体計量分析でも再浮上し、フィニーは最近接マッチでアダム・バックとほぼ同点と報告された。さらに2026年4月公開のサトシ複数人説を唱える『Finding Satoshi』ドキュメンタリーは、ハル・フィニーをレン・サッサマンと並ぶ共作者として提示している (主張と反証はリンク先を参照)。

1. 証拠

フィニーがサトシ・ナカモトの正体だ。2009年1月のメールのやり取り、最初のビットコイン取引（2009年1月12日）、2013年の「ビットコインと私」 回顧など、記録に残る「サトシ」との公的な関わりは、いずれも仮名を維持するための演出だった。フィニーは開発期（2007〜2008年）から少なくとも2009年8月のALS診断まで、可能性としては2011年初頭の退職までサトシとして活動していた。

さらに強い変種は2011年以降のサトシ通信（2011年4月のマイク・ハーン宛メールと2011年4月のギャビン・アンドレセンへの警告キー譲渡）を扱う必要があり、共著者または事前ドラフトを必要とする。

1.1 RPOW（2004年）— 実装まで到達した概念上の先駆

2004年、フィニーはReusable Proof-of-Work（RPOW） を構築した。これはアダム・バックのHashcashトークン（設計上1回限り）を、サーバー検証による再利用機構によって譲渡可能にしたシステムである。名指しされたサトシ候補の中で、ビットコイン以前にプルーフ・オブ・ワークに基づくデジタルトークンシステムを実際に動作させた者はフィニーただ一人。RPOWとビットコインは、同じ記録上の土台であるバックのHashcashの上に立つ。RPOWは2004年に使い切りのトークンを譲渡可能にし、ビットコインは5年後、プルーフ・オブ・ワークをマイニングの根幹に据えた。

反論: RPOWはサーバー仲介型でアーキテクチャの距離が大きい。

凡例：✅ この設計が発案 ／ 🔄 流用（発案は他者） ／ ❌ 設計に無い。

ビットコインの中心的な設計上の動きは、信頼された発行者を完全に排除することであり、これはまさにRPOWがやっていないことである。RPOWの著者性は能力と問題領域への関与を示すが、「認証済みサーバー経由の譲渡可能PoWトークン」と「最長チェーン合意による信頼不要なP2Pデジタルキャッシュ」の隔たりは大きい。ビットコインv0.1のコンポーネント別の出所についてはビットコイン設計系譜を参照。

1.2ドリアン・ナカモトへの地理的近接

フィニーはカリフォルニア州テンプル市に約10年間居住していた。グリーンバーグの2014年Forbes記事の数週間前にNewsweekがドリアン・ナカモトをサトシ候補として特定したのも、まさに同じ町である。フィニーとドリアン・ナカモトは「数ブロック離れた場所」に住んでいた。証拠: 「サトシ・ナカモト」は、真の著者から数ブロック離れた場所に住む実在の人物の名前から構築された仮名だった。仮名構築分析で他の名前選択機構と比較される、より精緻な版である。

反論: テンプル市はサンガブリエル・バレーの人口約36,000人の小さな郊外であり、偶然は起こる。この証拠を採るには、フィニーが（自身と無関係の名前ではなく）隣人の名前から派生した仮名を選んだこと、およびその後さらなる地理的手がかりを残さずに何年もその仮名を維持したこと、の両方を受け入れる必要がある。グリーンバーグの記事が記録するパターンは、行動的裏付けのない地理的隣接である。フランは、ハルがドリアン・ナカモトとの繋がりや認識を持っていなかったと強く主張している。

1.3 2026年文体計量での僅差と広範コーパスでの順位

フロリアン・カフィエロの2026年ニューヨーク・タイムズ調査向け文体計量レビューは、12候補中フィニーがアダム・バックとほぼ同点と報告した。カフィエロ自身は結果を不確定と評した。Bitcoin Instituteによるバス・ヴァン・ドルストの75,000人著者コーパスの再分析は、フィニーの執筆を上位6.89%（12,739人中878位、ニック・サボに次ぐ第2位）に位置づける。

最も多く引用される4件の文体計量調査において、フィニーは強いが首位ではないマッチとして一貫して現れる。サトシとの執筆語調の重なりは大きい。両者ともクリアで技術的でネイティブ水準の英語で、共通のサイファーパンクメーリングリスト語彙を用いて書いていた。

1.4最初の受領者かつ最早期協力者の地位

フィニーはサトシ以外で最初にビットコインを稼働させたとされる人物であり、人類初のビットコイン取引の受領者であり、サトシとの最早期の実質的な技術通信者の一人だった。フィニーの2008年11月の暗号学メーリングリストへのホワイトペーパー発表に対する応答は、ほとんどの暗号学者が懐疑的だった時点で、実質的かつ支持的なものだった。証拠: 複雑なシステムの著者は、立ち上げ時に既知で信頼できる、能力のあるエンジニアを近くに置く傾向がある。そして、その条件に最も正確に当てはまる候補こそが、この役割を担った当人である。

反論: 信頼できる技術協力者を立ち上げ時に表に置きながら匿名でシステムを公開することは、信頼できる協力者がいる匿名の著者がまさに選ぶパターンである。同時に、暗号学メーリングリストで高品質なシステムを高品質な最初のユーザーが識別したパターンでもある。フィニーが記録した自己の説明は後者である。「ビットコインと私」 で「私はサトシ以外で最初にビットコインを動かした人物だったと思う」と書く。

1.5サイファーパンク資質、能力、および英語水準

フィニーは長期にわたるサイファーパンクであり、暗号プロトコル実装の記録された経験（PGP 2.0、RPOW、最初の暗号学的に基づく匿名リメイラー）、カリフォルニア工科大学の工学経歴、米語を母語とする背景を持つ。技術コーディングプロファイル（深い暗号ライブラリ、動作するシステム実装、数十年にわたる低レベルプログラミング）はビットコインv0.1が示すものと整合する。彼のサイファーパンクとしての経歴は、他の名指し候補の多くよりもさらに遡る。ハイエク／エクストロピアン系譜の分析は、エクストロピアン・メーリングリストとその後のビットコインネットワークとを一次資料で結ぶ、数少ない個人単位のつながりの一つとしてフィニーの名を挙げている。

フィニー自身の記述は、もう一つの近接性を加えている。「ビットコインと私」で彼は、「ビットコインで実現されるアイデアを生み出したとされるウェイ・ダイにもニック・サボにも会い、長くやり取りを続けてこられた」と書き、「自分自身もプルーフ・オブ・ワークに基づく通貨、RPOWの作成を試みたことがある」とも記している。

反論: このプロファイルは当該時期の上級サイファーパンクの少なからぬ人数に当てはまり、候補集合を絞り込むがフィニーを特定して選び出さない。カフィエロの「ハル・フィニーがほぼ同点［アダム・バックと］」結果は構造的にこの点を示している。複数の候補が執筆語調プロファイルに適合し、文体計量手法はそれらの間で一意な選択をできない。詳細は特定の非対称性分析を参照。

2. 反証

アリバイ性のイベントは、2009年4月18日のレース当日時間帯と2010年8月14-15日の特異点サミット時間帯の2つ。サトシの記録された活動との位置関係:

ハルvsサトシ - アリバイ関連イベント

2.1 2009年4月18日のレース当日アリバイ

最も強いアーカイブ内反証は、2014年Forbes特集でのアンディ・グリーンバーグによって最初に報告され、2023年のジェイムソン・ロップによって構造化された時系列のアリバイである。2009年4月18日土曜日、フィニーはカリフォルニア州サンタバーバラで10マイルレースを走っていた。同じ時間帯、サトシはビットコインネットワーク上で活動していた。

レースはタイミングチップデータ、レース写真家の画像、レース結果ID 591、フランが撮影した追加写真で記録されている。アーカイブには2009年4月18日のサトシ・ハーン宛メールがあり、タイムスタンプはレースの時間帯内に位置する。同一人物が10マイルレースを走りながら取引をブロードキャストしメールに返信することはできない。

アリバイの成立には、フィニーのレース写真とタイミングチップデータが本物（2014年にフランが偽造したものではない）であり、メールとオンチェーン取引のタイムスタンプが正確（時計のずれや改ざんを受けていない）であることが必要だが、両者は通常そうであり、オンチェーン記録（ブロック11,408のタイムスタンプ）はフランが操作できる非公開の記録から独立している。グリーンバーグの2014年Forbes記事は2023年のロップによる構造化に約10年先行し、この写真記録を最初に報じた記事である。グリーンバーグは、フィニー宅訪問の場でフランから写真を見せられたと報告している。これは仮説否定のために事後的に構築されたアリバイではなく、サトシのネットワーク活動と偶然一致した、当時記録された活動である。

ロップ2023およびピーター・ミラー2026の追加分析は、仮説に対する4つの構造的観察を加える:

• IPアドレスの相違: 2009年1月10日のビットコインデバッグログにフィニーのIRCノードがIP 207.71.226.132で記録され、サトシのIPは68.164.57.219と異なるISP・地理的領域に現れる。フィニーがサトシだったなら、両端点が同じデバッグログで同時に別ピアとして現れない。同じ週のサトシの通信環境を、活動ペースとフィニー宛メールの「今いる場所からは」という言い回しという別角度から読み解いたのがサトシのリリース期環境分析である。
• コーディングスタイルの相違: フィニーの公開コードはインデントにタブ・識別子にsnake_caseを用いる。サトシのビットコインv0.1ソースはスペースとcamelCase（Visual C++ on Windows典型のハンガリアン記法プレフィックス付き）を用いる。コメント形式と関数名規則も体系的に異なる。
• 英米綴りの相違: サトシの執筆は一貫して英国・連邦の綴り（colour、favour、optimise、maths）を用いる。フィニーの執筆は全体を通して米国式である。サトシのメール語調をハルの執筆と比べる文体計量比較では、メール語調はハルよりホワイトペーパーに近い。
• OS環境の相違: ビットコインv0.1はWindows専用 .rarアーカイブとしてVisual C++ 6.0でビルドされて公開された。サトシの2010年12月のアンドレセン宛自己記述「[ギャビンは]私よりLinuxにずっと詳しい」はWindows中心の作業環境を裏付ける（設計・公開・最終期間にわたる時系列の全記録はサトシのWindows専一の開発環境を参照）。フィニーは記録された長期Macユーザーだった。開発環境の記録は2台の異なるマシンを示す。

2.2フィニーの2013年「ビットコインと私」における第三者的記述

2013年3月、フィニーはBitcoinTalkに「ビットコインと私」 を投稿した。ALS末期にアイトラッキングソフトを用い、死の1年前に書かれたものである。エッセイは一貫してサトシとの関わりを第三者として記述している:

今日、サトシの正体は謎になっている。でも当時、相手は日本系の若者で、非常に賢く誠実な人物だと思っていたんだ。人生で多くの優秀な人々と知り合う幸運に恵まれてきたので、その兆候は分かるんだよね。

私はサトシ以外で最初にビットコインを動かした人物だったと思う。

この説が真であるためには、このエッセイは病床から、彼が4年間関わってきたビットコインコミュニティに宛てて、瀕死の人物が書いた持続的な自己欺瞞でなければならず、見せる相手もなく、妥当な動機もない。シンプルな読みなら、フィニーはサトシを、自分が関わった、正体は彼にとっても謎のままだった人物として回想している。

他候補に適用される自己記述枠組みと比較して、フィニーの記述は異常に明確である: ビットコイン公開期についての彼の語り全体が、サトシを別人として扱っている候補である。

2.3 Patoshiマイニング規模の不整合

セルジオ・ラーナーのPatoshi分析は、単一の支配的な初期マイナー（ほぼ確実にサトシ）を、約22,000ブロック・約110万BTC（そのほぼすべてが未使用）として特定する。ロップ2022年「Was Satoshi Greedy?」 は、Patoshiパターンを利益最大化ではなくネットワーク防衛のための意図的なハッシュレート抑制として再構成している。

フィニー自身の「ビットコインと私」 は彼のビットコイン保有量について明示的: コンピューターが熱くなりファン音が気になったためビットコインを止める前に「数ブロック」をマイニングしたと記述し、その後2010年末まで忘れていたが、「まだ動いていた」と「驚いて」「古いウォレットを引っ張り出し」、ビットコインがまだそこにあるのを確認した、と記す。フラン・フィニーの2019年「Cryonics Magazine」プロファイルは家族のビットコイン保有量について同様に明示的である。

この説は、フィニーがPatoshi規模の保有を妻、遺産、およびアルコー（患者の冷凍保存後の財務に関わる）からALS期間中ずっと隠し続け、同時にその規模と明示的に矛盾する公的回顧を書いたことを要求する。Patoshiの防衛的マイニング行動（出力を抑制した持続的なネットワーク保護）もまた、ファン音のために2009年初頭にビットコインを止めたというフィニー自身の記述と相容れない。

2.4識別性論

ウェイ・ダイの2014年AALWAスレッド回想は、サトシが開発期間中に可視のサイファーパンクコミュニティで「以前から積極的に活動していた人物ではない」と論じる。これは2007〜2008年にサイファーパンク議論で表立って活動していた候補に対する反証として作用する読みである。フィニーはこの期間中、サイファーパンクコミュニティで継続的に表に出ていた: 匿名リメイラーを運営し、エクストロピー研究所とLessWrongに投稿し、自身の名前で冷凍保存と寿命延長コミュニティに関与していた。LessWrongでの2009年10月の「Dying Outside」 エッセイは、2008〜2009年の開発・公開期間中の彼の活動の公的記録の一部である。

識別性論のもとで、フィニーの継続的かつ表立ったサイファーパンク活動は、アダム・バック、サッサマン、その他の当該時期に表立って活動していた候補に当てはまるのと構造的に同じ問題である。

2.5 ALS進行と2010年8月の特異点サミット

第2のアリバイ的観察はより長い時間帯を覆う。フィニーのALS診断は2009年8月に確定した。2010年8月（15か月後）までに病状は目に見えて進行していた。フラン・フィニーの2010年8月22日の公開投稿は、ハルとフランが2010年8月14-15日にサンフランシスコでの特異点サミットに出席したことを記録する。同期間、当時の記述とハル自身の「ビットコインと私」 は、彼のタイピング速度が120 WPMの速射から指でつつく程度に低下し、一日の多くを電動車椅子で過ごしていたことを文書化している。

同じ2010年8月14-15日の時間帯、サトシはオンラインで高活動だった: 4つのSVNコードチェックインと17のBitcoinTalkフォーラム投稿。実質的な技術的関与、持続的なタイピング量、匿名化アーキテクチャエントリーが記録する西海岸時間帯パターン（午前10時頃ピーク、正午頃低下）と整合する投稿時刻など、通常のサトシ多忙期間のフットプリントそのものである。同じ8月15日の活動には、サトシがバリュー・オーバーフロー事件に応急パッチをリリースした5時間の対応も含まれている。その活動の詳細なフォレンジック読み解きはオーバーフロー事件の構造分析を参照。

この説は、ハルが両方をやっていたことを要求する: 指でつつくタイピング速度でサンフランシスコの数日間カンファレンスに物理的に出席しながら、同じ時間帯にビットコイン設計問題について4つのコミット + 17の長文フォーラム投稿を生み出す。組み合わせは「サトシ」ハンドルの下で活動する第二の人物なしには実現しない。これは §1で導入した共著者変種に帰着する。

2.6家族の証言の一貫性

フラン・フィニーは、グリーンバーグの2014年Forbes記事（直接レース写真を見せた）、2019年「Cryonics Magazine」プロファイル、その後の取材など、複数のインタビューでハルがサトシだったことを一貫して否定してきた。家族の証人は単独では不完全な証拠であり（妻に嘘をつくサトシというのも考えられなくはない）、それでもフランの説明は写真で裏付けられ、10年以上にわたって続いている。フランが保存したレース当日の写真は直接的な一次資料の証拠であり、彼女のインタビュー証言は数年にわたる一貫した裏付けの記録である。この説が家族の証言記録に耐えるためには、ハルは公的な欺瞞に加えて妻に対する数年にわたる欺瞞を維持し、同時にその欺瞞と矛盾する活動の写真証拠を残していなければならない。

3. 広い記録の中での位置づけ

最も多く引用される4件の文体計量調査において、フィニーが最近接マッチとして現れたものはゼロ。サボが3件で首位、アダム・バックが1件（カフィエロが不確定と評しフィニーが「ほぼ同点」）で首位。4件全てに共通するパターンはこうだ: いずれの単一候補も決定的に浮上せず、フィニーの「強いが首位ではない」マッチは §1.5で論じた執筆語調の重なりと整合する。

レース当日アリバイ（§2.1）、2013年の第三者的記述（§2.2）、Patoshi規模の不整合（§2.3）は、構造的に異なる反証ラインを構成する: それぞれが当該時点で当時記録された記録であり、事後的な再構成ではない。フィニーは反証が主に告白の不在に依拠する候補（サボ、アダム・バック）とは異なる証拠的位置にある。フィニーには、サトシの役割と整合させるのが困難な、能動的に記録された活動と自己記述がある。

サトシの2008年8月21日のアダム・バック宛メール（「b-moneyのページは知らなかった」）は、フィニーがサトシと最初に記録された接触をする数か月前である。フィニーがサトシだったなら、パターンはこうなる: フィニーが「サトシ」としてバックにメールし、b-moneyへの紹介を受け、「サトシ」としてウェイ・ダイにメールし、2か月待ってから「ハル・フィニー」として暗号学メーリングリストでビットコイン発表に支持的に応答する自分自身に向けてメールする。能動的かつ継続的な共同演出なしには成立しない構造。

他の名指し候補仮説との比較については、サトシ正体仮説概要および個別エントリーのサッサマン、金子勇、サボ、トッド、アダム・バックを参照。フィニーは、2026年の『Finding Satoshi』ドキュメンタリーが後に共作者として組み合わせた二人のうちの一人である。この「単独の人物ではない」という直感は、Wired誌が2011年にラズロ・ハニエツから引き出していたものと同じで、当時はまだどちらの名前も組み合わせに結びついていなかった。

4. 資料の範囲

• 根拠は、2014年Forbes特集、2023年ロップ分析、フィニーの2013年「ビットコインと私」エッセイ、2026年NYT調査とカフィエロ分析、Bitcoin Instituteによるヴァン・ドルストの再分析、Patoshiパターンの文献、フラン・フィニーのインタビュー記録、ピーター・ミラー2026年合成である。
• カフィエロの「ハル・フィニーがほぼ同点」結果は、フィニーまたはアダム・バックのいずれかの確認ではなく、一意性の論点に関する材料として扱われる。対称的な取り扱いについてはアダム・バック仮説エントリーを参照。
• フィニーの2013年枠組みと矛盾する非公開の執筆や通信、レース当日アリバイをサトシのネットワーク活動と偽造を必要としない形で和解させるもの、Patoshi規模の保有とフィニーの遺産との記録された繋がりなど、こうした新しい証拠が浮上した場合は、記録と評価を更新する。

フィニーの事例は、候補全体に共通するこの必要だが十分ではないという評価枠組みの中で、サトシ同定仮説総覧のB群に位置づけられる。

フィニーは、記録が最も激しく反論する候補だ。彼が記録の中に自分自身を多く残したからである。記録の少ない候補なら、私が除外するのはもっと難しかっただろう。レースの写真から、100万枚を掘った男にしては小さすぎるウォレットまで、自分の人生をこれほど丁寧に記録した人物こそ、記録が手放した人物だった。