ハル・フィニーは​サトシだったのか — RPOWを​作り、​近所に​「サトシ・ナカモト」と​いう​名前の​人が​住んでいた​人

ハル・フィニーは、ドリアン・サトシ・ナカモトという日系アメリカ人のエンジニアの家から、数ブロック先に住んでいた。フィニーは、カリフォルニア工科大学で学んだ暗号学者で、RPOW（Reusable Proof-of-Work、2004年）を作り、サトシのほかで初めてビットコインのソフトウェアを動かしたことが分かっている人で、人から人へのビットコインの最初の送金（10 BTC、2009年1月12日）の受け取り手でもある。住む場所と経歴がこれほど重なることが、ハル・フィニー＝サトシ説の柱になっている。この説を最も目立つ形で示したのが、2014年3月25日のアンディ・グリーンバーグによるForbesの特集記事「Nakamoto’s Neighbor」である。

この説は、2026年に、ジョン・キャリールーによるニューヨーク・タイムズのアダム・バックについての調査のために、フロリアン・カフィエロが行った文体計量の分析で、また浮かび上がった。最も近い候補として、フィニーはアダム・バックとほぼ並んだ、と伝えられた。その2週間後、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のトークンは、もともと一度しか使えない作りだったが、RPOWはサーバーで確かめてから使い回せるようにして、人に渡せるものにした。名指しされたサトシの候補の中で、ビットコインより前に、プルーフ・オブ・ワークを使ったデジタルなトークンの仕組みを実際に動かしたのは、フィニーだけである。RPOWとビットコインは、どちらもバックのHashcashを土台にしている。RPOWは2004年に、一度しか使えないトークンを人に渡せるものにし、ビットコインは5年後、プルーフ・オブ・ワークをマイニングの根っこに置いた。

反論：RPOWは、サーバーを間に置く仕組みで、ビットコインとは作りが大きく違う。

記号：✅ この設計が最初に考えた ／ 🔄 借りた（考えたのは別の人） ／ ❌ この設計にはない。

ビットコインの設計の要は、信頼される発行者をすっかりなくしたことで、これこそ、RPOWがしていないことである。RPOWを作ったことは、作る力と、この問題に本気で取り組んでいたことを示す。だが、「確かめられたサーバーを通して、プルーフ・オブ・ワークのトークンを人に渡せる」ことと、「最長のチェーンで合意する、信頼のいらないP2Pのデジタルキャッシュ」とのあいだには、大きな隔たりがある。ビットコインv0.1の部品ごとの出どころは、ビットコインの設計の系譜を見てほしい。

1.2 ドリアン・ナカモトの近くに住んでいた

フィニーは、カリフォルニア州テンプルシティに10年近く住んでいた。グリーンバーグの2014年のForbesの記事の数週間前に、Newsweekがドリアン・ナカモトをサトシの候補として挙げたのも、まさにこの町である。Forbesの言い方では、フィニーとドリアン・ナカモトは「数ブロック離れて」住んでいた。グリーンバーグの取材によれば、フィニーの家の近くにあったのはナカモト家の実家で、ドリアン本人は1987年までニュージャージーにいて、そのあともロサンゼルス周辺の別の町に住んでいた。証拠：「サトシ・ナカモト」は、本当の作者の家から数ブロック先に住む、実在の人の名前から作った仮名だった、という。匿名性アーキテクチャの分析で扱う、仮名の作り方の話を、もっと込み入らせた形である。

反論：テンプルシティは、サンガブリエル・バレーにある人口およそ36,000人の小さな郊外の町で、偶然は起こる。この証拠を受け入れるには、二つのことを受け入れなければならない。フィニーが、自分と関係のない名前ではなく、近所の人の名前から仮名を作ったこと。そして、そのあと何年も、住む場所につながる手がかりをほかに一つも残さずに、その仮名を守り続けたことである。グリーンバーグの記事が記録しているのは、住まいが近かったということだけで、それを裏付ける振る舞いは記録されていない。フィニー自身はグリーンバーグへのメールで、テンプルシティに住んでいたのは「10年以上前」で、「ドリアン・ナカモトを知っていたことは、はっきりと否定する」と書いている。

1.3 2026年の文体計量でほぼ並び、広く書き手を集めた資料でも上位

フロリアン・カフィエロがニューヨーク・タイムズの2026年の調査のために行った文体計量の検討は、12人の候補のうち、フィニーがアダム・バックとほぼ並んだと伝えた。カフィエロ自身は、この結果を決め手にならないと言っている。バス・ヴァン・ドルストの75,000人の書き手の資料を2026年に分析し直した結果では、フィニーの文章は上位6.89%（12,739人中878位）に入る。最もよく引かれる名指しの候補5人の中では、ニック・サボに次ぐ2番目である。

最もよく引かれる4件の文体計量の調査で、フィニーはいつも、よく合うが首位ではない候補として出てくる。これは、サトシと文章の調子がかなり重なっていることと食い違わない。二人とも、すっきりした、技術的な、母語の水準の英語で書き、サイファーパンクのメーリングリストでよく使われる言葉を共有していた。

1.4 最初の受け取り手で、最も早い協力者

フィニーは、サトシのほかで初めてビットコインのソフトウェアを動かしたことが分かっている人で、人から人へのビットコインの最初の送金の受け取り手で、サトシと中身のある技術のやり取りをした、最も早い一人だった。ホワイトペーパーの告知への、2008年11月の暗号学のメーリングリストでのフィニーの返事は、暗号学者の多くが疑ってかかっていたときに、中身があり、しかも好意的だった。証拠：込み入った仕組みを作った人は、立ち上げのときに、よく知っていて、信頼でき、腕の立つ技術者をそばに置きたがる。その条件に最もよく合う候補が、まさにこの役回りで出てくる人である、という。

反論：信頼できる技術の協力者を立ち上げの場に見える形で置きながら、匿名で仕組みを公開するのは、信頼できる協力者を持つ匿名の作者なら、まさに選びそうな形である。だが同時に、腕の確かな最初の利用者が、暗号学のメーリングリストで出来のよい仕組みを見つけた、という形でもある。フィニー自身が書き残した説明は、後者のほうである。「ビットコインと私」で「サトシ以外でビットコインのソフトウェアを動かした最初の人間は私だったと思う」と書いている。最初の受け取り手だったことは、どちらの読み方とも食い違わない。

1.5 サイファーパンクとしての経歴、作る力、英語

フィニーは古くからのサイファーパンクで、暗号のプロトコルを実装した経験が記録に残っている（PGP 2.0、RPOW、暗号を使った最初の匿名のリメーラー）。カリフォルニア工科大学で工学を学び、英語はアメリカ英語が母語である。技術とプログラミングの経歴（暗号のライブラリへの深い理解、動く仕組みの実装、ハードウェアに近い部分の何十年にもわたるプログラミング）は、ビットコインv0.1に見える力と食い違わない。サイファーパンクとしての経歴は、名指しされたほかの多くの候補より、さらに古くさかのぼる。エクストロピアンのメーリングリストにも、そのあとに生まれたビットコインのネットワークにも、一次資料で姿が確かめられる人はごくわずかで、フィニーはその一人である。そのことはハイエクとエクストロピアンからの系譜の分析で見た。

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

反論：この人物像は、当時の中心的なサイファーパンクの少なくない人に当てはまる。候補は絞られるが、フィニーだけを選び出すわけではない。カフィエロの「ハル・フィニーが［アダム・バックと］ほぼ並んだ」という結果は、まさにこのことを示している。文章の調子が合う候補は何人もいて、文体計量のやり方では、その中から一人を選べない。くわしくは、サトシ同定の非対称性の分析を見てほしい。

2 反証

アリバイになる出来事は二つある。2009年4月18日のレースの時間帯と、2010年8月14〜15日のシンギュラリティ・サミットの時間帯である。記録に残るサトシの動きと並べると、次のようになる:

ハルとサトシ — アリバイに関わる出来事

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

このサイトの中で最も強い反証は、2023年にジェイムソン・ロップが初めて示した、時刻の並びによるアリバイである。2009年4月18日の土曜日、フィニーはカリフォルニア州サンタバーバラで10マイルのレースを走っていた。同じ時間に、サトシはビットコインのネットワークで動いていた。

レースのことは、レースの結果、フィニーのゼッケン番号591と一致する大会の撮影業者の写真、フランが撮った写真に記録されている。このサイトには、2009年4月18日のサトシからハーンへのメールがあり、その時刻はレースの時間の中に収まる。同じ人が、10マイルのレースを走りながら、送金を流し、メールに返事を書くことはできない。

このアリバイが成り立つには、レースの結果と写真が本物（あとから作ったものではない）で、メールとチェーン上の送金の時刻が正しい（時計のずれや書き換えがない）ことが必要である。どちらも普通はそうで、しかもチェーン上の記録（ブロック11,408の時刻）は、誰かが手を加えられるような私的な記録とは別のところにある。ロップがアリバイを組み立てたのは2023年だが、材料は、その日に作られた記録である。レースの結果、大会の撮影業者の写真、フランの写真、サトシのハーン宛てのメール、ブロックの時刻。あとからの思い出話ではなく、当時の記録を、あとから突き合わせたものである。

ロップの2023年の分析と、ピーター・ミラーの2026年の追加の分析は、さらに四つの点を挙げている。初めの三つは説に不利に働く。四つ目のOSの点は、記録と照らすと成り立たない:

• IPアドレスが違う：2009年1月10日のビットコインのデバッグログには、フィニーのIRCのノードがIP 207.71.226.132で記録され、サトシのIPは68.164.57.219である。プロバイダーは違うが、ロップによれば、どちらもカリフォルニア州である。フィニーがサトシだったなら、同じデバッグログに、二人が別々の相手として同時に出てくることはない。同じ週のネットワークの環境は、サトシのリリースの週の環境の分析で、作業の多さと、フィニー宛てのメールの「今いる場所では」という言い方から、別の角度で扱った。
• コードの書き方が違う：フィニーが公開したコードは、字下げにタブを使い、名前にはsnake_caseを使う。サトシのビットコインv0.1のソースは、スペースとcamelCaseを使う（WindowsのVisual C++でよく見るハンガリアン記法の頭文字付き）。コメントの書き方や関数の名前の付け方も、決まって違う。
• イギリス式とアメリカ式の綴りの違い：サトシの文章は、アメリカ式も混じるが、ほとんどがイギリスや英連邦の綴り（colour、favour、optimise、maths）である。フィニーの文章は、全部アメリカ式である。サトシのメールの調子をハルの文章と比べた文体計量では、サトシのメールは、ハルの文章より、ホワイトペーパーのほうによく合う。
• OS：ビットコインv0.1は、MinGWでビルドし、Visual C++ 6.0でデバッグして、Windows専用の.rarとして公開された。2010年12月にサトシがマルッティ・マルミに書いた「［ギャビンは］Linuxに関しては、技術的に私よりずっと上だ」という言葉も、Windowsを中心にした作業の環境を裏付ける（設計、公開、最後の時期を通した記録は、サトシのWindowsの開発環境を見てほしい）。ミラーはこれに対して、ハルも妻もMacを持っていたと書くが、出典を示しておらず、当時の記録は逆を指している。グリーンバーグの2014年のForbesの記事は、フィニーが初期のビットコインのコードを「IBMのWindowsデスクトップのタワー機」で動かしたと書く。フィニーが2004年に公開したRPOWのクライアントにも、Linuxに加えて、Microsoft VC++を使うWindowsでのビルドの手順が付いていた。OSの点では、記録から、フィニーとサトシを見分けることはできない。

2.2 2013年の「ビットコインと私」で、フィニーはサトシを別の人として書いている

フィニーは、「ビットコインと私」を投稿した。ALSが進んだ末に、目の動きで文字を入力するソフトを使って書いたもので、亡くなる17か月前のことである。この文章は、サトシとの関わりを、終始、三人称で書いている:

HFハル・フィニー（BitcoinTalkへの投稿、2013年3月19日20:40 UTC）

今日、サトシの正体は謎になっている。でも当時は、日系の若い男性を相手にしているつもりで、とても賢く誠実な人だと思っていたんだ。人生で多くの優秀な人たちと知り合う幸運に恵まれてきたから、そういう人は見れば分かるんだよ。

サトシ以外でビットコインのソフトウェアを動かした最初の人間は私だったと思う。

この説が正しいなら、この文章は、死を前にした人が、4年間かかわってきたビットコインの人たちに向けて、延々と自分を偽って書いたものだということになる。読み手を欺いても得るものはなく、そうする理由も見当たらない。フィニーは、サトシを、自分がやり取りした一人の人として、そして自分にとってもその正体は謎のままだった人として、思い出している。

ほかの候補に当ててきた、本人の言葉の見方と比べても、フィニーの書いたものは並外れてはっきりしている。ビットコインが公開されたころについての語りの全体で、サトシを、いつも別の人として扱っているからである。

2.3 Patoshiのマイニングの規模と合わない

セルジオ・ラーナーのPatoshiの分析は、初期に一人で大部分を掘った人（ほぼ確実にサトシ）がいたことを突き止めた。その人は約22,000ブロックを掘り、約110万BTCを持ち、そのほとんどを一度も使っていない。ジェイムソン・ロップの2022年の「Was Satoshi Greedy?」は、Patoshiのパターンを、ネットワークを守るために、わざとハッシュレートを抑えていたものとして描き直している。

フィニー自身の「ビットコインと私」は、自分のビットコインの持ち分をはっきり書いている。コンピューターが熱くなり、ファンの音が気になったので、ビットコインを止める前に「数ブロック」を掘った。そのあと2010年の末まで忘れていたが、「まだ動いていた」ことに「驚いて」、「古いウォレットを引っ張り出し」、ビットコインがまだそこにあるのを確かめた、という。フラン・フィニーの2019年の「Cryonics Magazine」での人物紹介も、家族の持つビットコインがわずかだったことを裏付けている。

この説が正しいなら、フィニーは、Patoshiほどの持ち分を、妻にも、遺産の管理にも、冷凍保存の団体アルコー（保存のあとの患者のお金に関わる）にも、ALSのあいだずっと隠し続け、そのうえ、その規模とはっきり食い違う振り返りの文章を公に書いたことになる。Patoshiの、ネットワークを守るために抑えて掘り続けるやり方も、ファンの音のせいで2009年の初めにビットコインを止めたという、フィニー自身の話とは合わない。

2.4 表に出ていた人は、とうに正体が知られていたはず、という議論

ウェイ・ダイがAALWAのスレッドで2014年に振り返ったことによれば、サトシは開発のあいだ、人目につくサイファーパンクの集まりで「以前から活発だった人」ではなかった。この見方では、2007〜2008年にサイファーパンクの議論で表立って動いていた候補は、誰であれ不利になる。フィニーは、自分の名前で表に出続けていた。LessWrongに載った2009年10月の「Dying Outside」の文章は、ビットコインが公開されたころのフィニーの活動を示す、公の記録の一部である。

この議論に照らすと、フィニーが表立ってサイファーパンクの活動を続けていたことは、アダム・バック、サッサマン、そのほか同じころ表立って動いていた候補に当てはまるのと、同じ問題になる。

2.5 ALSの進み方と、2010年8月のシンギュラリティ・サミット

二つ目のアリバイは、もっと長い時間にわたる。フィニーがALSと診断されたのは2009年8月で、2010年8月（その15か月後）には、病気はもう目に見えて進んでいた。フラン・フィニーの2010年8月22日のLessWrongのコメントによれば、ハルとフランはその前の週末、2010年8月14〜15日に、サンフランシスコのシンギュラリティ・サミットに出ていた。同じコメントで、フランは、ハルのタイピングが「120 WPMの速射から、のろのろと指でつつくほどに」なり、「今は電動車椅子で動いている」と書いている。

同じ2010年8月14〜15日、サトシはオンラインでさかんに動いていた。SVNへのコードのチェックインが4回、BitcoinTalkのフォーラムへの投稿が17件ある。技術の話に深く関わり、長い文章を打ち続けていたことを示す、サトシが忙しい時期のいつもの跡である。8月15日には、バリュー・オーバーフロー事件に、サトシが5時間でパッチを作って公開した対応も入っている。その動きを詳しく読み解いたのが、オーバーフロー事件の成り立ちの分析である。

この説が正しいなら、ハルは両方をこなしていたことになる。指でつつくようにしか打てない体で、サンフランシスコで何日も続く会議にじかに出ながら、同じ時間に、ビットコインの設計について4回のコミットと17件の長い投稿を書いた、ということである。この二つが同時に成り立つには、「サトシ」の名前で動くもう一人の人が要る。そうなれば、§1で触れた、共作者がいたという形の説になる。

2.6 家族の証言はいつも同じ

フラン・フィニーは、いくつものインタビューで、ハルがサトシだったことを一貫して否定してきた。グリーンバーグの2014年のForbesの記事（電話でハルの否定を伝え、証拠を見せるためにグリーンバーグを家に招いた）、2019年の「Cryonics Magazine」での人物紹介、その後の取材である。家族の証言は、それだけでは不完全な証拠である（妻に嘘をつくサトシも、考えられなくはない）。それでも、フランの話は10年以上ずっと変わっておらず、ロップが2023年に公開した、フランがレースの日に撮った写真は、じかの一次資料の証拠である。フランのインタビューでの証言も、何年にもわたって食い違いのない裏付けになっている。この説が成り立つには、ハルは、世間を欺くのに加えて、妻を何年も欺き続け、しかも、その嘘と食い違う行動の写真を残していたことになる。

3 公の記録全体から見ると

最もよく引かれる4件の文体計量の調査（Skye Grey 2013、アストン2014、ヴァン・ドルスト2024のこのサイトでの再分析、カフィエロ／キャリールー2026）で、フィニーを首位に挙げたものは一つもない。サボが3件で首位、アダム・バックが1件で首位である（ただしカフィエロは決め手にならないとし、フィニーが「ほぼ並んだ」としている）。これは、§1.5で論じた文章の調子の重なりと食い違わない。フィニーは、サトシに近い書き手の一人ではあるが、ただ一人ではない。

レースの日のアリバイ（§2.1）、2013年に別の人としてサトシを書いたこと（§2.2）、Patoshiの規模と合わないこと（§2.3）は、ほかとは種類の違う反証の筋になっている。どれも、その時に残された記録で、あとから組み立て直したものではない。反証の多くが「本人が認めていない」ことに頼っている候補（サボ、アダム・バック）とは、フィニーは証拠の上での立場が違う。フィニーには、本人が書き残した、サトシの役回りとはなかなか合わない行動と言葉がある。

サトシの2008年8月21日のアダム・バック宛てのメール（「b-moneyのページは知らなかった」）は、フィニーとサトシの最初のやり取りが記録に残る、何か月も前のものである。フィニーがサトシだったなら、こういう流れになる。フィニーが「サトシ」としてバックにメールを送り、b-moneyを教えられ、「サトシ」としてウェイ・ダイにメールを送り、それから2か月待って、今度は「ハル・フィニー」として、暗号学のメーリングリストで、ビットコインの告知に好意的な返事を自分に宛てて書く。ずっと芝居を続けていなければ、こうはならない。

名指しされたほかの候補の説と比べるには、サトシ同定仮説の総覧と、サッサマン、金子勇、サボ、トッド、アダム・バックの、それぞれのページを見てほしい。フィニーは、2026年の『Finding Satoshi』ドキュメンタリーが、のちに共作者として組み合わせた二人のうちの一人である。サトシは「一人ではない」という見方は、Wired誌が2011年にラズロ・ハニエツから聞き出していたものと同じである。二人の名前がこの見方と結びつく、15年も前のことだった。

4 資料の範囲

• ここでは、新しい証拠は示していない。使ったのは、2014年のForbesの特集記事、2023年のロップの分析、フィニーの2013年の「ビットコインと私」、2026年のNYTの調査とカフィエロの分析、このサイトでのヴァン・ドルストの資料の再分析、Patoshiのパターンについての文献、フラン・フィニーのインタビューの記録、ピーター・ミラーの2026年のまとめである。
• カフィエロの「ハル・フィニーがほぼ並んだ」という結果は、フィニーかアダム・バックのどちらかを裏付けるものとしてではなく、一人に絞れるかという問いの材料として扱う。逆の側から同じように扱ったものは、アダム・バックの説のページを見てほしい。
• 新しい証拠が出てきたら、このページを書き直す。たとえば、2013年の書き方と食い違う、フィニーの私的な文章ややり取り、偽造を持ち出さずにレースの日のアリバイとサトシのネットワークでの動きを両立させる説明、Patoshiほどの持ち分とフィニーの遺産とのあいだの、記録に残るつながりなどである。

サトシ同定仮説の総覧では、「必要だが、それだけでは足りない」という物差しを、どの候補にも当てた。フィニーの件は、そのB群（作る力の面でよく合うサイファーパンク）に入る。

フィニーは、記録が最も強く反論する候補である。本人が、記録の中に自分のことをたくさん残したからだ。記録の少ない候補だったら、私には外すのがもっと難しかっただろう。レースの写真から、100万枚を掘った人にしては小さすぎるウォレットまで、自分の暮らしをこれほど丁寧に書き残した人だからこそ、記録は、サトシではないと、最もはっきり告げている。