2023年10月21日、ビットコイン研究者ジェイムソン・ロップは「ハル・フィニーはサトシ・ナカモトではなかった」と題する分析記事をブログに発表し、ハル・フィニーがビットコインの創設者の仮名であったという長年の憶測に対し、複数の角度から詳細な反論を展開した。証拠と反証の全体扱いはハル・フィニー = サトシ仮説エントリーにあり、本記事はロップの反証側への具体的貢献を文書化する。
レース日のアリバイ（2009年4月18日）
ロップの中心的証拠は時系列のアリバイである。ロップによれば、2009年4月18日の土曜日、太平洋時間午前8:00、長距離ランナーであったフィニーは、カリフォルニア州サンタバーバラで10マイルのレースをスタートした。ロップは、計時チップのデータ、レース公式カメラマンの画像、さらに妻フランが撮影した別の写真によってこのレースを記録している。フィニーは約78分後、太平洋時間午前9:18ごろにゴールしたとロップは報告している。
ロップは、まさにこの時間帯にサトシ・ナカモトがマイク・ハーンとメールでやり取りしたり、トランザクションをブロードキャストしたりするなどして、ビットコインネットワーク上で活動していたと論じる。ロップは、レース時間内に該当するサトシからハーン宛のメールとビットコイントランザクションを特定し、同一人物が両方を同時に行うことは不可能だと結論づける。
アーカイブには、2009年4月18日のサトシからハーン宛のメールがあり、サトシは「32.51と50.00を返送した」とハーンに伝えている。
ロップが提示するその他の議論
- IPアドレス分析 — ロップは初期ビットコインのデバッグログに記録されたIPアドレスを調べ、それがフィニーの既知のインフラストラクチャと整合しないと報告している。
- 別メールでのサトシによるハル言及 — ロップは、サトシからマルッティ・マルミ宛のメールでサトシが「ハル」に言及しており、ロップはこれを自己言及ではなく第三者言及として読めると指摘している。
- コーディングスタイルの差異 — ロップは、フィニー由来とされるコードとサトシ由来のコードの間で、書式の慣習（タブvsスペース、インデント、コメントスタイル、命名規則）を比較し、体系的な差異を報告している。
- 活動パターンの差異 — ロップは、サトシの活動期間がハル・フィニーの別途記録された活動の中断・再開と整合しないと指摘している。
- ペルソナの不整合 — ロップは、フィニーが公的に関心を示してきたトピック（CO₂ 問題、ビットゴールドへの先行知識など）と、サトシの記録上のペルソナを対比する。
「ナカモトの隣人」という枠組み
ハル・フィニーはカリフォルニア州テンプルシティに約10年住んでいた。同地は、グリーンバーグの2014年記事の数週間前にNewsweekがドリアン・ナカモトをサトシ候補として特定したのと同じ町である。フィニーとドリアン・ナカモトが「数ブロック離れて」住んでいたという地理的偶然が、グリーンバーグの記事タイトルの由来であり、フィニーがそもそもサトシ候補として注目された理由の一部でもある。ロップの分析はこの偶然をあくまで偶然として扱い、この点は地理ではなく活動記録によって決着をつけるべきだと論じる。
結論
ロップは、レース日のアリバイと補強証拠の組み合わせにより、フィニー = サトシ説は成立しない、と主張する。ロップの記事は代替候補を提示するものではなく、特定の身元仮説に対する集中的な反論である。
ここで記録されたレース日のアリバイには、もう一つの使い道がある。カフィエロの2026年の文体計量分析ではフィニーがバックとほぼ同点だったので、バックを「最も近い一致」とする結論は一意ではない(アダム・バック正体仮説エントリーがこの点を論じている)。フィニーの容疑を晴らすこの同じアリバイは、文体計量上の近さだけでは書き手を特定できないことを示している。
