ウェイ・ダイは​サトシだったのか — b-moneyを​書き、​ビットコインに​Crypto++ を​残した​男

ウェイ・ダイのb-moneyはビットコインホワイトペーパーの参考文献 [1] である。ウェイ・ダイのCrypto++ ライブラリは、SHA-256の計算のためにビットコインv0.1に同梱されている。そしてウェイ・ダイは、ネットワークを立ち上げる前にサトシが連絡を取った2番目の人物である。ウェイ・ダイ＝サトシという説は、仮想通貨の報道で、少なくとも2010年から論じられてきた（候補の分け方では、サトシがホワイトペーパーではっきり引用した人たちのA群に入る）。

1 証拠

仮説はこうである。サトシ・ナカモトの正体はウェイ・ダイである。記録に残る「サトシ」とのやり取りは、すべて仮名を守るための芝居だった。2008年8月22日のサトシからのメールも、b-moneyがいつ公開されたかを伝えたウェイ・ダイの返事も、2009年1月10日にサトシが続けて送ったメール（「b-money論文で解決しようとしていた目標のほぼ全てを達成している」）もそうである。ウェイ・ダイは、開発を始めたころ（2007年半ば以降）から2011年に身を引くまでサトシとして動き、そのあいだも、Crypto++ の保守やほかの執筆を自分の名前で公に続けて、人の目をそらした。2014年のAALWA（LessWrongの「何でも聞いて」スレッド）での回想は、計算したうえで、公の場で否定してみせたものだった。

1.1 b-moneyとビットコインの考え方の近さ

ビットコインホワイトペーパーの8件の参考文献のうち、b-moneyは、ビットコインの貨幣の設計に最もじかに対応する。どちらも、プルーフ・オブ・ワークを、デジタルなものに希少さを持たせる手段として使い直し、新しいコインを仲間どうしで伝え合うP2Pネットワークを考え、信頼に頼らない貨幣という枠組みをはっきり掲げて設計し、マイニングに似た発行の仕組みを持つ。b-money提案は1998年11月にサイファーパンクメーリングリストで公開され、二つのプロトコルの概要を示した。一つは、全員に同時に届く通信路が要るもので、もう一つは、残高を記録するサーバーの集まりを使うものである。ビットコインのフルノードとSPVクライアントの分かれ方に、先回りしていたような組み立てである。ホワイトペーパーはb-moneyを参考文献 [1] として引用している。

証拠: ビットコインより前のすべての提案の中で、ビットコインの貨幣の仕組みに一番近いのはb-moneyである。設計の近さから考えれば、b-moneyを書いた人物は、ビットコインを作った人物の候補として自然である。ホワイトペーパーがはっきり引用していることも、それを後押しする。サトシは、b-moneyを重要な先行研究としてわざわざ挙げているからだ。

反論: 設計が近いことだけでは候補は決まらない。同じくホワイトペーパーで引用されたアダム・バックのHashcashは、ビットコインがマイニングに使い直したプルーフ・オブ・ワークの仕組みのもとになった。同じ理屈なら、アダム・バックも候補になる。正体の説のまとめは、ウェイ・ダイとアダム・バックを、どちらも候補のA群に入れている。ビットコインv0.1のコンポーネント別の出所（b-moneyからもHashcashからも継承していない部分を含む）についてはビットコイン設計系譜を参照。

1.2 ビットコインv0.1はCrypto++ のコードに頼っていた

ウェイ・ダイは、暗号アルゴリズムを集めた無料のオープンソースのC++ ライブラリ、Crypto++ を作り、保守してきた。ビットコインv0.1は、SHA-256の実装にCrypto++ を使っていた: 2009年1月のv0.1.0のソースのsrc/sha.cppおよびsrc/sha.hには、SHAの処理を、Crypto++のVersion 5.5.2（2007年9月24日）から抜き出して、単独のファイルにした、という意味のコメントが冒頭にある。Crypto++ から来たことを示すnamespace CryptoPPという名前も残っている。

ビットコインが生まれる10年以上前、ウェイ・ダイ本人が、同じCrypto++ ライブラリを使って作ったものを1996年にDisperse/Collectとして発表している。のちにビットコインが頼ることになるCrypto++ のコードが出てくる公開の記録では、この発表が一番古い。

ビットコインがこのコードベースに頼っていたのは、v0.1の2009年1月からv0.4.xまでの34か月で、サトシが2011年4月に去ってから約6か月後に終わった。ここからの話はこの期間のことで、今のBitcoin Coreには当てはまらない。サトシの候補として名前の挙がった人が公開したコードに、ビットコインv0.1がじかに頼っていたのは、これだけである。証拠:

• b-moneyが参考文献 [1]
• Crypto++ がビットコインのハッシュの基本の部品になっている
• この二つのどちらにも名前があるのは、ウェイ・ダイただ一人

この二つがそろっている候補は、ウェイ・ダイのほかにいない。

反論: 2000年代後半、C++ で暗号を扱うなら、Crypto++ を使うのが普通だった。当時のC++ のプロジェクトでSHA-256を使うのにCrypto++ を選ぶのは、技術の選び方としてごく当たり前で、自分が作者だという手がかりにはならない。v0.3.6でSSE2を使って速くした改良は、BitcoinTalkのメンバー「BlackEye」が提案したもので、サトシが一人で決めたのではない。作者本人が何もかも自分で決めながら、別人を装っていたという筋書きでは、このことは説明しにくい。

1.3 サイファーパンクの資質と知的系譜

ウェイ・ダイは長年のサイファーパンクで、1990年代、サイファーパンクのメーリングリストができたころからの参加者であり、考え方の近い集まり（Extropians、SL4）でも熱心に活動してきた。b-moneyは、Hashcash（アダム・バック）、Bit Gold（ニック・サボ）、RPOW（ハル・フィニー）と同じ考え方の人たちの中から生まれた。b-moneyのあとも、ウェイ・ダイは暗号学や合理性をめぐって書き続けていて、LessWrongのプロフィールを見ると、近い分野で数十年にわたって書いてきたことが分かる。

反論: サイファーパンクの資質は複数の候補（アダム・バック、ハル・フィニー、ニック・サボ、サッサマン）に当てはまる。この点で候補は絞れるが、ウェイ・ダイ一人には決まらない。

1.4 能力: 暗号学の博士と変わらない力と、計算機科学の経歴

ウェイ・ダイはワシントン大学で計算機科学を学び、Microsoftで勤務した。b-moneyの論文に見える技術の力（学術論文に載せられる水準の暗号プロトコルの設計）と、Crypto++ に見えるものを作る力（研究にも商用にも広く使われ、保守され続けているC++ のライブラリ）は、19,901行のC++ でできたビットコインv0.1のコードを書くのに必要な力と釣り合う。

反論: この能力と経歴は、ほかの候補にも、候補でないサイファーパンクにも当てはまる。サトシであるには能力が要るが、能力があるからサトシだとは言えない（正体の説のまとめの考え方を参照）。

1.5 Windows開発環境の重なり

Bitcoin v0.1はWindows上で開発された。v0.1のreadme.txtには、使えるコンパイラーとしてVisual C++ 6.0 SP6とMinGW GCC 3.4.5が書かれている。ソースはマイクロソフトのハンガリアン記法で書かれ、v0.1.xはWindows専用の .rarで配られた。2011年2月のマルミ宛てのメールにあるPGPの暗号文の頭の行も、Windows専用の道具を指している。ウェイ・ダイのCrypto++ は、土台ができた1990年代末から2000年代を通じて、おもにWindowsのMicrosoft Visual C++ で開発されてきた。のちにマイクロソフトに勤めたこと (上の§1.4) も、Windowsで仕事を続けていたことと合う。名前の挙がったサトシの候補の中で、記録に残る仕事の環境が、Bitcoin v0.1を作ったWindowsの環境と重なる人は少なく、ウェイ・ダイはその一人である。ピーター・トッドのように、リポジトリの記録がLinux-FHSの書き方で、Windowsの環境と合わない候補とは違う。

反論: 2000年代後半、仕事でC++ を書く人にとってWindowsは当たり前で、ほかの候補にも、候補でない大勢の開発者にも当てはまる。この点は説の後押しにはなるが、ウェイ・ダイ一人に絞る理由にはならない。同じころにWindowsでC++ を書いていた人なら、誰でも同じように重なるからである。

2 反証

2.1 2008年8月22日のメールは、別々の人どうしのやり取りである

記録の中で一番強い反証は、2008年8月20〜22日に続いたメールの流れそのものである。同じメールは、ウェイ・ダイによる固定供給への批判と、その批判に答えが出ていないことを扱った分析でも、別の論点のために取り上げている。そちらの論点は、ウェイ・ダイがサトシかどうかではない。2013年4月にダイがビットコインの固定供給を「失敗」と評したとき、サトシがとうにダイに渡していた反論の材料に、なぜダイは触れなかったのか、という疑問である:

ウェイ・ダイがサトシだったなら、このやり取りは不自然になる。次のことを、すべて一人で演じたことになるからだ:

• 「サトシ」として、Hashcashの引用についてアダム・バックに尋ねる
• アダム・バックから、自分自身の論文を紹介される
• 2日後、「サトシ」として、自分にb-moneyの公開日を尋ねる
• 自分に、いつ公開したかを答える

このやり取りは、見たままに受け取ればよい。サトシがアダム・バックに引用について助言を求め、バックが、サトシの知らなかったb-moneyの提案を紹介し、サトシがb-moneyの著者に連絡して、引用する日付を確かめた。ウェイ・ダイの返事（公開した時期とリンクを伝えた）は、見知らぬ人の仕事に、まじめに応じた別人の返事と見て、何も無理がない。2009年1月10日にサトシが続けて送ったメールについても、ダイ本人は、当時はほとんど気に留めず、2年たってやっとマイニングを始めたと振り返っている。これも、サトシの外にいる人の受け止め方で、ウェイ・ダイ＝サトシ説が正しいなら、ダイのこの振り返りも嘘だったことになる。

サトシの身元の隠し方を調べた分析で見たとおり、ホワイトペーパーに引用されたサイファーパンクの候補なら、誰でも同じ形で説が崩れる。サトシとの公開前のやり取りは、一人の人が自分で仕組んだ芝居ではなく、外にいる人として受け取ったものだからである。サトシを特定する手がかりの偏りを扱った分析でも、ウェイ・ダイとアダム・バックはどちらも、ビットコインの公開の前にサトシとやり取りしていたことから候補を外れる、という同じ結論になった。

2.2 サトシの「b-moneyのページは知らなかった」という自認

2008年8月21日のアダム・バック宛てのメールに、サトシはこう書いている: 「b-moneyのページは知らなかったが、私のアイデアの出発点は、まさにそこだ」。この発言から、サトシがb-moneyを知ったのは、開発をしたあとの、ホワイトペーパーを出す2か月前で、アダム・バックに教えられてのことだったと分かる。詳しくはサイファーパンク独立到達分析で検討する。

ウェイ・ダイ = サトシの説が正しいとすると、この発言は、人に見せるためでもない私的なメールでの嘘になる。サトシは、アダム・バックへの私的なメールで、ウェイ・ダイのページは見たことがないと言いながら、実はそのページを書いた本人だったことになるからだ。素直に読めば、サトシはビットコインを設計しているあいだ、b-moneyを本当に知らず、2008年8月にアダム・バックに教えられて、初めて知ったのである。ウェイ・ダイ自身の2014年のAALWAでの回想も、この読み方と合う。サトシは中心のアイデアを自分で考え出し、b-moneyはあとから知った、というのである。

2.3 ウェイ・ダイの2014年のAALWAでの回想

ウェイ・ダイは、『Ask any LessWronger anything』のスレッドで、あなたがサトシではないのか、という質問にじかに答えた:

WDウェイ・ダイ（LessWrongのコメント、2014年3月16日）

彼は、学術的な暗号学の世界やサイファーパンクのコミュニティで以前から活動していた人ではない、というのが私の推測です。もしそうだったなら、文体やコードの書き方から、もう特定されていたはずですから

この回想には、説に関係することが三つ書かれている:

• サトシは「学術暗号学またはサイファーパンクのコミュニティで以前から積極的に活動していた人物ではない」と述べている。言葉どおりに受け取れば、長年サイファーパンクだったウェイ・ダイ自身が、候補から外れることになる。
• サトシは、アダム・バックに教えられてウェイ・ダイの論文を知る前に、b-moneyと同じ中心のアイデアを、自分で考え出していた。
• ウェイ・ダイは、回想のどこでも、自分とサトシを別の人として語っている。

一つ目の点は、2007〜2008年にサイファーパンクで公に活動していたほかの候補（アダム・バック、ハル・フィニー、ニック・サボ、サッサマン）にも当てはまる（詳しくはサイファーパンク独立到達の分析を参照）。同じ理由で、ウェイ・ダイ自身にも当てはまる。この時期、ウェイ・ダイはサイファーパンクのメーリングリストで活動し、Crypto++ の保守でも人目に触れていたからだ。

この説が正しいなら、2014年の回想は、まるごと公の場での嘘だったことになる。サトシは前から活動していた人ではない、という、ウェイ・ダイ自身を候補から外す言葉も、その嘘の一部だったことになる。

2.4 文体計量での距離

2026年の再分析では、75,000人の文章を集めたバス・ヴァン・ドルストの文体計量のデータ「Where is Satoshi?」を使った。その中で、ウェイ・ダイは上位22.99%（12,739人中2,929位）に入る。候補として名前がよく挙がる5人の中では4番目で、ニック・サボ（4.67%）、ハル・フィニー（6.89%）、アダム・バック（7.87%）に次ぐ:

一番よく引かれる4件の文体計量の調査のどれでも、ウェイ・ダイがサトシに一番近いとされたことはない。ウェイ・ダイの文章は、集めた文章の上位4分の1には入るが、サボ、フィニー、アダム・バックと比べると、数字の上ではっきりサトシから遠い。設計の近さから見た議論（§1.1、b-moneyとの近さ）と、文体計量から見た議論とで、ウェイ・ダイについての答えは逆になる。

2.5 Crypto++ への依存は、逆の証拠にもなる

Crypto++ が組み込まれていること（§1.2）は、説と食い違いはしないが、誰が書いたかを示す強い証拠ではない。2007〜2008年にC++ でSHA-256を使うシステムを作るなら、誰が作るにしても、Crypto++ を使うのが普通で、開発者が誰であれ、それを選ぶのは自然だった。v0.3.6のSSE2での改良（2010年7月）はBitcoinTalkメンバー「BlackEye」 の提案によるもので、サトシ単独ではない。ウェイ・ダイがサトシだったなら、SHA-256を自分で書き直すか、SSE2への対応を、フォーラムのメンバーに言われる前に自分で入れていただろう。

2.6 自分はサトシではないという複数の発言

ウェイ・ダイは、自分はサトシではないと、ずっと言い続けてきた:

• 2011年、LessWrongで、サトシなのではないかと正面から聞かれたダイは、「なぜ私にそれができると思ったのですか」と答え、自分は10年以上前に似たアイデアを書いただけだと、はっきり述べた。
• 2011年のWired誌での発言では、同じ年、ダイは雑誌の取材でビットコインを「非常に重要」と評している。正体を隠している作者の言い方ではなく、外から感心している人の言い方である。
• 2014年AALWA回顧（前述）では、自身とサトシを明示的に区別している。
• その後の投稿でも、2014年3月の同じスレッドで、ポルトガルの新聞記者に聞かれて、サトシの動機を、自分ではない人のこととして答えている。2014年7月の投稿では、2009年初頭に「サトシ・ナカモトという人物」から個人的にメールを受けたが、「当時はあまり注意を払いませんでした」と振り返っている。
• 自分の名前で続けたLessWrongでの活動は、何年にもわたって公の場に残っている。同じ時期にサトシでもあったのなら、この活動は、人の目をそらすために、サトシと掛け持ちで続けていたことになる。

ウェイ・ダイの否定は、ニック・サボの否定と形が似ている（サボは2011年のブログの投稿で、自分のビットゴールドの設計にあった欠陥を直したのはナカモトだ、と書いている）。どちらも、公の場で長いあいだ、サトシを自分とは別の人として語り続けている。どちらの否定を覆すにも、本人が何年も、自分から公に嘘をつき続けていたと考えるしかない。

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

一番よく引かれる4件の文体計量の調査のうち、5人の候補すべての順位を公開しているのは一つだけ（ヴァン・ドルストのデータを、このサイトで分析し直したもの）で、ウェイ・ダイは5人中4位、サボ、フィニー、バックよりサトシから遠い。2008年8月のメールのやり取り、サトシ自身の「b-moneyのページは知らなかった」という言葉、ウェイ・ダイ自身の2014年の回想の三つは、どれも、ウェイ・ダイがサトシとは別の人として応じていた、ということで矛盾なく説明がつく。仮説が正しいと言うには、この三つをすべて覆さなければならない。

ウェイ・ダイは、ほかの候補とは事情が違う。候補の分け方では、ウェイ・ダイはA群（サトシがホワイトペーパーではっきり引用した人）に入る。ところが、その引用がどうして生まれたかを示すメールそのものが、ウェイ・ダイはビットコインを作った側ではなく、サトシから知らされた側だったことも示している。

名前の挙がったほかの候補の説と比べるには、サトシの正体についての説のまとめと、一人ずつを扱ったページのアダム・バック、ハル・フィニー、サッサマン、金子勇、サボ、トッドを参照。

4 このページの限界

• ここでは、新しい証拠は示していない。使ったのは、次の資料である。2008年8月のメールのやり取り、ウェイ・ダイの2014年のAALWAでの回想、Crypto++ が組み込まれた記録、ヴァン・ドルストのデータをこのサイトで分析し直した結果、そして、ウェイ・ダイをサトシの候補として論じた公の議論の今の状況である。
• ほかの候補には、説のきっかけになった報道が一つある（ハル・フィニーにはグリーンバーグ2014、アダム・バックにはNYT 2026、トッドにはHBO 2024）が、ウェイ・ダイの説は違う。ウェイ・ダイは、ホワイトペーパーに引用されたので、ビットコインが公開される前から、誰もが思いつく候補だった。そのため、この説を言い出した報道が一つあるわけではない。
• 新しい証拠が出てきたら、このページを書き直す。たとえば、3通のメールのほかに二人をじかに結ぶ文書、ありふれたCrypto++ の組み込み方を超えて、ウェイ・ダイのほかのコードと同じ特徴がビットコインv0.1に見つかること、2014年の回想と食い違うウェイ・ダイの発言などである。

ウェイ・ダイの伝記には、このページのもとになった文書がまとめてある。学歴と研究の記録、b-moneyの提案、サイファーパンクへの参加、のちの回想である。§1の証拠と §2の反証は、それらを並べて、どちらが重いかを比べたものである。

1998年にb-moneyを書いた男が、2008年に、そのb-moneyをアダム・バックから教わる。この話は、別々の二人がいるときにだけ筋が通る。それからの記録も、すべてそのとおり、二人の話のままである。