ハル・フィニー理論を否定する：証拠はビットコインの創始者がコンピュータの先駆者ではなかったことを示唆している

10年以上にわたり、暗号通貨愛好家は、2014年に亡くなった初期のビットコイン採掘者でありコンピュータ科学者のハル・フィニーが、ビットコインの仮名の創設者であるサトシ・ナカモトである可能性について推測してきました。ビットコイン管理会社Casaの共同設立者ジェイムソン・ロップによる包括的な調査は、これまで広く流布されていたこの理論に異議を唱える説得力のある証拠を浮き彫りにしています。

物理的不可能性の議論

最も強力な証拠の一つは、フィニーの健康状態と活動のタイムラインに関係しています。2010年8月以降、ハル・フィニーは筋萎縮性側索硬化症(ALS)という神経変性疾患と闘っており、これにより運動制御能力が徐々に低下していきました。フィニーの妻フランの投稿によると、2010年サンフランシスコで開催されたシンギュラリティ・サミット(August 14-15)の際、彼のタイピング速度は高速の120語/分から、「鈍い指の打ち込み」と表現されるほど遅くなっていたとのことです。

同じ週末の2010年8月中旬、サトシ・ナカモトは4回のコードチェックインとさまざまなフォーラムへの17件の投稿を行いました。この活動レベルは、当時フィニーが進行性の運動障害を抱えていたことを考えると、身体的に非常に困難だったはずです。

レース当日のタイムライン

もう一つの重要な証拠は、2009年4月18日にカリフォルニア州サンタバーバラで行われた10マイルのランニングイベントに関するものです。レース記録によると、ハル・フィニーはサンタバーバラ・ランニング・カンパニーのシャルドネ10マイラーに参加し、午前8時（太平洋標準時）にスタートし、78分のコースを完走しました。

一方、アーカイブされたメールによると、この正確な時間帯にサトシは初期のビットコイン開発者マイク・ハーンと積極的にやり取りをしていました。具体的には、サトシは午前9時16分（太平洋時間）にハーンにメールを送信しており、これはフィニーがゴールラインを越える2分前のことです。フィニーが積極的に走っていた1時間18分の間、彼はコンピュータシステムとやり取りすることは不可能だったでしょう。

オンチェーン取引データ

ブロックチェーン自体も追加の裏付けを提供しています。ロップの分析によると、サトシはブロック11,408でハーンに対して32.5BTCの取引を行い、これは午前8時55分（PST）に採掘されたもので、フィニーのレースの55分後のことです。サトシはその後、同じ取引とともに別の50BTCの送金を6時16分のメールで確認しており、これはフィニーがランニングイベントに参加している最中に行われました。

技術的コードの違い

時間的な議論を超えて、実際のコードの分析は構造的な違いも明らかにしています。ハル・フィニーのリユーザブル・プルーフ・オブ・ワーク（Reusable Proofs of Work）の実装には、オリジナルのビットコインクライアントコードと顕著に異なる設計要素が含まれており、異なる著者や技術的優先事項を示唆しています。

反論への対応

ロップは、自身の理論に対する潜在的な反論も認めています。メールは2017年にマイク・ハーンによって公開されましたが、これは出来事から7年後のことであり、その間に他のビットコイン開発者たちはスケーリングの意見の相違によりハーンに対して懐疑的になっていました。さらに、理論上、誰かが事前にスクリプト化したメールや取引を用意していた可能性や、複数の人物がサトシの仮名の下で操作していた可能性もあります。

しかし、ロップのサトシのパターンに関する徹底的な調査は、単一の人物の関与を示唆しています。「私がサトシについて調査してきた中で、グループであることを示す証拠には一度も出会ったことがありません。もしグループであったとしたら、彼らは皆同じ睡眠スケジュールで活動し、コードのコミット、メール、フォーラム投稿の一貫性を保っていたはずです。」このコミュニケーションと活動のパターンの一貫性は、共同著作を否定しています。

サトシ・ナカモトの真の正体の謎は未解決のままですが、蓄積された証拠は、ビットコインの最も早期の採用者・貢献者の一人であるにもかかわらず、ハル・フィニーがプロトコルの創設者であった可能性は低いことを示唆しています。