ハル・フィニー （1956–2014）

2008年、マイクロソフトの無料のコンパイラーはPassportへのサインインを求めた。サトシは1998年のVisual C++ 6.0と無料のMinGWで作った。仮名の登録と、アカウントのない設計。

サトシのコードが名前を付けたのはCOINとCENTだけで、それより小さな単位には名前がなかった。最小単位の「satoshi」は、本人の最後の投稿の2か月後に、利用者が掲示板で付けた名前である。

ハル・フィニーが、ギャビンの全桁表示の案、ribuckのビットセントの呼び方、マイク・ハーンのマイナーが手数料の決まりを記録する案に賛成する。

ハル・フィニーが、新しいスレッドでribuckのビットセント・ミリセント・マイクロセントの案を指し、マイクロセントがちょうど最小の単位に当たると書く。

BitcoinTalkトピック2188におけるHalの文脈投稿。msg29259の前。

乱数生成器の話題には投稿が何十も付くのに、すべてを暗号化したリメーラーへのハル・フィニーの取り組みには議論が一つもない、とメイが問う。サイファーパンクがいるべき場所は匿名のリメールだ。

メイに答え、フィニーは、PGPからチャウムの論文にたどり着き、ヴィンジの『True Names』を動かす技術を見つけた経緯を語り、リメーラーをこの考えの家の1階と呼ぶ。

ハルの2009年のツイートへの返信で、フラン・フィニーが、ハルがそれを書いたのはALSと診断された17日後で、2009年9月6日のハーフマラソンが本格的に走った最後だったと書く。

ALSと診断された17日後、ハル・フィニーが、11マイル走って帰ってきたところで、今は一回一回を本当に大切にしているとツイートする。

バックが、PerlのRSAのプログラムが短くなっていった版を小さい順に並べる。始まりは1995年3月9日の5行の版で、ハル・フィニーがすぐにサイファーパンクのメーリングリストで仕組みを説明した。

ダミアン・ドリジェが1995年にハル・フィニーのSSLの挑戦を割った経緯。鍵を見つけたのは、アダム・バックと組んだバイヤーズとヤングより約2時間遅い2番目で、2回目の挑戦は32時間足らずで割れた。

ALSの診断から2か月後のフィニーの文章。ALS患者の9割を超える人が人工呼吸器を選ばずに死を選ぶと知って驚き、その時が来たら自分は生きるほうを選びたいと書く。

2008年8月20日、サトシはC++実装を「ほぼ完成」と書いた。そのとき何を知っていたのか。Hashcash、b-money、マイクロミント、ビットゴールド、DigiCash、RPOWの最初の記録。

フィニーによるRPOWのよくある質問。hashcashや電子現金との違い、中央のサーバーがボトルネックではなく欠かせない要素である理由、IBM 4758がありうる唯一の土台である理由。

rpow.netのトップページ。RPOWはhashcashのトークンを順番に再利用できるようにし、IBM 4758の証明で誰でもコードを確かめられる。ニック・サボのビットゴールドの一つの形にもなる。

1992年のオークランドの会合から生まれたサイファーパンクのメーリングリスト。名前、匿名リメーラー、Clipperとの対立、1997年の分裂、サトシの論文が引いたHashcashとb-moneyまで。

米国のエンジニア。2014年にStatoshiを作り、2017年に自宅へSWATを差し向けられた。2018年にCasaへ移って「Who Controls Bitcoin Core?」を書いた。

ハル・フィニーがビットコインとの初期の関わり、サトシとの交流、ALS診断について語ったBitcoinTalk投稿の全文。

2008年11月にハル・フィニーとビットコインのコードを監査したレイ・ディリンジャーが、信頼される役割のない設計からサトシは詐欺師ではないと確信した理由と、その後のICOの詐欺を語る。

ティム・スワンソンによるレイ・ディリンジャーへの取材全文。ホワイトペーパー10周年企画で、コードレビューの技術詳細や浮動小数点発見の経緯が語られる。

サトシ・ナカモトとビットコインについての疑問を、それぞれ詳しく扱っているページへつなぐ案内。

ドナルドが難題を1982年の問題の名で呼び、サトシは「解決策だ」と言い切り、顔ぶれの決まった将軍の問題を、誰でも加われる場に描き直した。王のWi-Fiの答えは、bitcoin.orgのページになった。

2008年の疑いの声、名高いハッカーにも破れなかったコード、判決、辞書、ノーベル賞への推薦。ほかの人たちがサトシについて語った言葉を、一つにまとめて読む。

2008年10月31日、メーリングリストに八ページの論文が投稿された。それは、1年半かけて作られ、すでに動いていたシステムの報告だった。投稿に返ってきたのは、まず沈黙、次に規模への疑いだった。

生まれたときの名前が文字どおり「サトシ・ナカモト」だった人を、2014年のNewsweekの表紙の特集が名指しした。その証拠を、一つずつ確かめる。

クリスマスの挨拶、1枚1,000万ドルという予想、体調を気づかう言葉。サトシの返事はどれも技術の話から始まり、季節の挨拶には最後まで触れなかった。五つの型に分けて読む。

ハイエクの1976年の競合通貨論、1995年のエクストロピアンの架空通貨『Hayeks』、2009年のビットコインの国家によらない発行を一つの思想の系譜としてたどり、直接の影響とは分けて扱う。

Finding Satoshi (2026年4月) はハル・フィニーとレン・サッサマンをビットコイン共作者として提示。ロップはレース当日のアリバイを示し、バックも反論している。

Bitcoin v0.1の公開から2日後にハル・フィニーが投稿したツイート。サトシ以外の人のマシンでビットコインのソフトウェアが動いたことが分かる記録としては、これが最初のものとされる。

サトシは27か月、主にMinGWを使いWindowsでビットコインを書いた。2009年11月、マルミが始めたLinux版を自ら仕上げ、2010年半ばにはWindows・Linux・Mac版がそろった。

サトシがマルミにSourceForgeプロジェクトの開発者権限を付与し、パスワード保護ウォレット機能に合意、計画中のFAQ用に頻出質問への回答集を共有。

ハル・フィニーが単一NAT配下で複数のブロック生成を動かす要望、安全な時刻認証はブロック連鎖に適すると指摘、クライアントのライブラリインターフェースも要望する。

2014年3月25日のForbesの特集。グリーンバーグはテンプル市の偶然からハル・フィニーにたどり着いたが、2009年のサトシとのメールとウォレットの記録を見て、自分の説を捨てた。

RPOWを作り、最初のビットコインの送金を受け取り、ドリアン・サトシ・ナカモトの数ブロック先に住んでいた。フィニーがサトシだったとする説の証拠を、一つずつ確かめる。

ヴァン・ドルストの『Where is Satoshi?』文体計量コーパスから候補5名を抽出した再分析。サボが12,739人の上位4.67% で首位だったが、名もない594人のほうがサトシに近かった。

2021年2月22日、エヴァン・ハッチがMediumに「レン・サッサマンとサトシ：サイファーパンク史」を公開。サッサマンがサトシだという説は、この記事から始まった。

2015年5月15日、ニューヨーク・タイムズがナサニエル・ポッパーの「サトシの謎を読み解く」を載せた。Bit Goldを設計したニック・サボが、サトシである見込みが最も高いとした。サボは否定した。

Bit Goldを考え出し、最もよく引かれる文体計量の研究4件のうち3件で首位に来た人。ニック・サボがサトシだったとする説の証拠を、一つずつ確かめる。

2026年4月8日、ニューヨーク・タイムズがジョン・キャリールーの調査記事を載せた。文体の統計による分析から、サトシである見込みが一番高いのはアダム・バックだとした。バックは否定した。

サトシを特定しようとする公開の試みが繰り返されてきたこと、残された材料の多さ、それでも正体が分からないこと。この三つがかみ合わないのはなぜかを考える。

サトシの候補として何度も名前の挙がる12人を、経歴が合うか、文体、サトシとのやり取り、開発の環境という、互いに独立した4つの面から比べる、正体の説のまとめ。

サトシの最後のメールから68日後に世を去った、Mixmasterの開発者。レン・サッサマンがサトシだったとする説の証拠を、一つずつ確かめる。

ジェイムソン・ロップが、ハル・フィニーはサトシではないと主張した。2009年4月18日、サトシがメールを送り、送金をしていた時間に、フィニーはサンタバーバラで10マイルのレースを走っていた。

サトシとサイファーパンクの関係を、一次資料の三つの手がかりで考える。b-moneyを知らなかったという本人の言葉、前から活動した人ではないというダイの推測、ヒューズの1993年の宣言との重なり。

Bitcoin v0.1を出した週（2009年1月8〜12日）に、サトシがどんな環境にいたかを読む。手がかりは、1月12日のフィニー宛てのメールの「from where I am」と、その週の作業量。

BitcoinTalkトピック1735におけるHalの文脈投稿。

ウォレスがWired誌に書いた特集で、大手のメディアがビットコインを本格的に扱った最初期の記事。ホワイトペーパー、Mt.Gox、利用者が増えるときのつまずきをたどり、「どうだっていい」で結ぶ。

リリース前のコードを読んでいたハル・フィニーが、サトシに送った非公開のメール。「どのくらいの規模になると考えているのかな？ 数十ノード？ 数千？ 数百万？」と、規模についての根本の疑問をたずねた。

暗号学メーリングリストで公に告知した数時間後、サトシはハル・フィニーに個別にv0.1のリリースを知らせ、SourceForgeのリンクとbitcoin.orgのリリースノートを伝えた。

サトシがアダム・バックに送った最後のメール。前に論文を教えてもらった礼を述べ、ビットコインのソフトウェアを公開したと知らせた。暗号学メーリングリストに投稿された、ハル・フィニーによる概要も添えている。

サトシがフィニーに、自分のいる場所からは外部からの接続を受けられないと打ち明けたメール。動き出したばかりのネットワークで、サトシのノードがどんな制約を抱えていたかが分かる。

Periwinkleのセキュリティコンサルタント。2009年1月の暗号学メーリングリストでビットコインを論じ、ボットネットに乗っ取られたマシンは最も安全な部類に入る、と皮肉った。

ハル・フィニーの妻。ハルは、サトシ以外で最初にビットコインのソフトウェアを動かした人とされる。フランはビットコインの誕生をそばで見て、ALSを患ったハルを支え、ハルの死後はその遺したものを守っている。

CoinDeskが、フランを通じてハルのPCから得た、サトシとハル・フィニーの未公開のメールを公表した。2008年11月の拡張性の質問と2009年1月8日のv0.1通知を含む。

SerHackが2008年9月10日付の、公開前のジェネシスブロックを分析。サトシが11月に共有したソースに含まれていた。日付はリーマンの損失発表と同じ日。

個人から個人へ送った、史上初のビットコインの送金。サトシ・ナカモトがブロック170でハル・フィニーに10 BTCを送り、ビットコインのP2P電子キャッシュシステムが設計どおりに動くことを確かめた。

Cryonics Magazineが妻フラン・フィニーへの取材に基づくハル・フィニーの詳細プロフィールを掲載。Caltechでの出会い、PGP社での仕事、ALSの診断、Alcorでの冷凍保存を扱う。

ハル・フィニーは、v0.1の公開から2日後に「Running bitcoin」とツイートした。ビットコインについて記録に残る最初のツイートで、サトシのほかにもソフトを動かす人が出たことを伝えた。

ALSの診断から2か月後、フィニーはLessWrongに、患者の9割を超える人が人工呼吸器より死を選ぶと書き、自分は生きるほうを選び、まだコードを書きたいと望んだ。

サボが2011年5月にUnenumeratedに書いた投稿。ビットゴールド (1998) からビットコイン (2009) まで11年かかった理由を論じ、それを練った非公開の場をlibtechと明かす。

レイ・ディリンジャーがビットコイン最初期の役割を回顧。ブロックチェーンコードのレビュー、ハル・フィニーとの分業、サトシの誠実さについて語る。

ティム・スワンソンによるレイ・ディリンジャーへの詳しい取材。ホワイトペーパー10周年の企画で、コードレビューの技術の詳細や浮動小数点の発見の経緯が明かされる。

ハル・フィニーによるビットコインとの初期の関わり、サトシとの交流、そしてALSとの闘いを振り返った、よく知られた投稿。ビットコイン史上最も称賛された投稿の一つ。

サトシ以外で最初にビットコインのソフトウェアを動かしたとされ、最初のビットコイン取引の受取人であったハル・フィニーが、58歳でALSにより逝去した。

2004年に開発されたハル・フィニーの再利用可能プルーフ・オブ・ワーク（RPOW）システムが、ビットコインの最も重要な先駆けの一つとして没後に再評価される。