金子勇は​サトシだったのか — 日本人の​名前を​持つただ​一人の​候補、​匿名の​ファイル共有ソフトWinnyの​開発者

「金子勇＝サトシ」説は、主なサトシの正体の説のうち、ほぼ日本語でしか語られていない、ただ一つの説である。2ちゃんねる・5ちゃんねるの掲示板や日本の技術系のメディアではさかんに論じられてきたが、英語でのビットコインの議論には、ほとんど出てこない。

この説が名指す金子勇（1970〜2013年）は、東京大学の助手だった。2002年5月に2ちゃんねるでP2Pのファイル共有ソフトWinnyを公開し、2004年から2011年までの7年半を、刑事裁判の被告として過ごした。この裁判は、道具を作った人がどこまで刑事の責任を負うかをめぐる、画期となる裁判になった。金子は、最高裁で無罪が確定した2年後の2013年7月に、心筋梗塞で亡くなった。名指しされたほかの候補の説と比べるには、サトシ同定仮説の総覧を見てほしい。

前提：金子勇とは誰か

金子を知らない読者のために、簡単に背景を書いておく（金子勇とWinnyのWikipediaの項目による。生涯と裁判の年表は金子勇の伝記にある）：

金子勇（1970〜2013年）は、日本の研究者でソフトウェアの開発者である。東京大学大学院情報理工学系研究科の助手を務め、2002年5月に、2ちゃんねるの掲示板でWinnyというP2Pのファイル共有ソフトを公開した。告知のスレッドで最初に書き込んだときの投稿の番号が47だったので、「47氏」と呼ばれた。本名が明かされるまで、Winnyを作っていたあいだずっと、この匿名の名前で通した（呼び名の由来は伝記に詳しい）。Winnyは、どのファイルを誰が最初に流したのかが分からないように、データの通り道を工夫した仕組みを使っていて、日本の利用者のあいだに広く出回った。

2004年5月、京都府警は金子を、著作権法違反の幇助の疑いで逮捕した。検察の言い分は、Winnyを作って配ったことで、Winnyで著作物を共有した利用者の行為を手助けした、というものだった。京都地裁は2006年12月に有罪（罰金150万円）とし、大阪高裁は2009年10月に逆転で無罪とし、最高裁は2011年12月に検察の上告を退けて、無罪が確定した。この裁判は、道具を作った人の刑事の責任をめぐる画期となる裁判として、日本の技術政策の議論で広く引き合いに出されている。

金子は2013年7月6日に心筋梗塞で死去した。

ここでは、Winnyの刑事裁判を、起きた出来事として扱う。裁判の法律上の争点（金子に手助けするつもりがあったか、Winnyそのものが違法だったか、判決をどう評価するか）は、サトシの正体を考える材料には使わない。有罪の判決を持ち出して人柄をあれこれ言っても、誰が書いたかの証拠にはならないからである。

ただし、裁判がもたらした目に見える結果は別である。2007〜2008年の金子は、控訴中の、有罪の判決を受けた被告として、警察、検察、弁護団、日本の技術系のメディア、学界から、ずっと注目されていた。これは記録に残る事実で、§2.1の、人目にどれだけついていたかの検討は、この事実と向き合わなければならない。大事なのは裁判の法律上の中身ではない。裁判によって金子がどれだけ人目にさらされていたか、というはっきり見える結果のほうが、この説が向き合うべき事実である。

1 証拠

この説によれば、2007年から2010年ごろ、サトシ・ナカモトの正体は金子だった。検察が最高裁に上告していたころ（2010〜2011年）に、金子はプロジェクトに深く関わるのをやめ、2013年7月の死によって、サトシとしてのビットコインへの関わりは、事実上終わった、という。

この説は、主に日本語の掲示板（2013年ごろからの2ちゃんねる・5ちゃんねるのさまざまなスレッド）と、日本語の技術系のメディアで論じられている。ほかの名指しされた候補の説ほど、英語では取り上げられていない。

1.1 日本人の名前

これは、この説にしかなく、名指しされたほかの候補の誰も持たない証拠である。「Satoshi Nakamoto」は日本人の名前としてありうるもので、金子は日本人だった。日本人でない人が仮名に日本人の名前を選ぶなら、サトシという名前に見えるテクノ・オリエンタリズムの分析が扱うような、わざと何かを象徴させる選び方が要る。だが、日本人の作者なら、日本人の名前の形をした仮名を そのまま使えばよく、わざわざ何かを象徴させる必要はない。

反論：この証拠は、本来は説明しなければならない謎の一つ（なぜ仮名が日本人の名前の形なのか）を、謎として扱わずに、証拠として数えてしまっている。仮名の形は、作者が日本人だと考えても説明がつくが、ほかの読み方（わざとテクノ・オリエンタリズムを狙った、何人かのグループが日本らしさを連想させるために選んだ、など）でも説明がつく。この証拠で候補がぐっと絞れるのは、「仮名は作者の本当の国籍を表している」という前提を受け入れたときだけで、公の記録は、その前提を裏付けていない。

1.2 P2Pの専門の力

記録に残る金子のWinnyの仕事は、P2Pのプロトコルを設計する力と、攻撃を受けることを前提にしたソフトウェアを作る力が、十分にあったことを示している（Winnyは、とりわけ、外から止められないように作られていた）。この力は、ビットコインv0.1のネットワークの部分に見える力と食い違わない。

反論：P2Pのプロトコルを作る力で候補は絞れるが、サトシの仕事に要るのは、それに隣り合う 暗号の力である（プルーフ・オブ・ワーク、ECDSA、トランザクションのスクリプトの設計、ハッシュでつないでいく作り）。Winnyは暗号の基本の部品を 道具として使ったが、研究の対象にしたわけではない。サトシの考えの流れは、サイファーパンクの暗号の研究にある（サトシがサイファーパンクの考えに独自にたどり着いたことの分析で見た）。金子は、その意味での暗号学者ではなかった。

1.3 日本語と英語の両方が使えたこと

金子は東京大学大学院情報理工学系研究科の助手として、英語の学術論文を発表していた。技術の英語を使いこなせたということで、英語で投稿し、コードのコメントを英語で書いたサトシとは、食い違わない。

反論：学術の場で通じる英語と、記録に残るサトシの英語は、文体が違う。サトシのホワイトペーパー、BitcoinTalkの投稿、メールは、慣用句や皮肉を使いこなし、場面に応じて文体を自在に切り替える、母語に近い英語で書かれている。学術のために第二言語として身につけた英語は、たいていそこまでは届かない。これだけで候補から外れるわけではない。サトシが、並外れて英語のうまい非ネイティブだった可能性も、誰かに手を入れてもらっていた可能性もある。それでも、サトシが日本の学術の世界にいた人だという見方からは、遠ざかる方向に働く。

1.4 権威に逆らう姿勢

Winnyの刑事裁判で金子が守ろうとしたのは、道具を作った人は、利用者のしたことについて刑事の責任を問われない、という原則だった。この立場は、広い意味でのサイファーパンクの政治的な姿勢と食い違わない。この政治的な姿勢は、サトシにもはっきり見える。そのことはサトシがサイファーパンクの考えに独自にたどり着いたことの分析で見た。

反論：サイファーパンクの考えに共感することは、当時の腕の立つ開発者のあいだでは珍しくなかった。ほかの証拠がなければ、これだけでは何も絞れない。この証拠は、サッサマン仮説の、サイファーパンクとしての経歴の議論と同じ種類のもので、同じ限界がある。金子をある大きな集団の中に置くことはできても、ただ一人に絞ることはできない。

2 反証

2.1 ビットコインが作られていたころ、刑事裁判で世間の目にさらされていた

最も強い反証は、金子の裁判の時期が、ビットコインが作られ、公開された時期と重なっていることである：

金子の刑事裁判の年表と、ビットコインの開発の時期の重なり

この図は、§2.1の議論を、目で見える形にしたものである。金子の刑事裁判の帯は2004〜2011年の全体に広がっていて、ビットコインの開発の帯は、その中にすっぽり収まる。ホワイトペーパーも、v0.1の公開も、サトシが最も活発だった時期も、どれも、金子が控訴中の被告として、ずっと世間の目にさらされていたあいだのことである。この説が成り立つには、金子がこのあいだに、自分の作だと分かれば本人にとって大事件になるような仕組みを、ひそかに作っていたことになる。弁護団にも、大学の指導教官にも、周りの人たちにも知られずに、それが隠し通されたとは考えにくい。

2.2 考えの流れがつながらない

ビットコインが、どんな考えの流れを受け継いだかは、公の記録で分かる。ホワイトペーパー自身が引用するHashcash（アダム・バック、1997年）とb-money（ウェイ・ダイ、1998年）、そして、サイファーパンクのメーリングリストや、サトシが最初に告知したmetzdowdの暗号学のメーリングリストでの、暗号の基本の部品をめぐる議論である。その全体は、設計の系譜の分析で追った。この議論のどこにも、金子の名前は出てこない。Winnyの設計（2002年）は、別の流れ（Freenet、Gnutella、匿名の経路についての文献）を土台にしている。金子が発表した研究も、P2Pの経路の作り方についてのもので、デジタルキャッシュや分散型台帳についてのものではない。

Freenetの扱い方が、二人で違う（一次資料）。金子は、Winnyの開発予告（2002-04-01、2ちゃんねるのダウンロードソフト板、47番目の投稿。全文は伝記のWinnyの節）で、Freenetを設計の出発点だとはっきり書いている。

一方、このサイトにあるサトシのFreenetへの言及は、2010年5月のBitcoinTalkのURIスキームの議論の一度だけである。ほかの参加者が挙げたFreenetのURIの例を、bitcoin: のURIを作るときの見本に採っただけで、ホワイトペーパーでは引用していない。二人ともFreenetを知っていたこと自体は、当時のP2Pの設計者なら当たり前で、支えにも反証にもならない。だが、触れ方は違う。Freenetを出発点だと公言した金子と、URIの議論で一度見本に採っただけのサトシ。この違いは、二人の考えの流れが分かれていることを、一次資料の上で示している。

2.3 コードと文章の特徴

• コードの言語：ビットコインv0.1のソースには、識別子にも、コメントにも、コミットの記録にも、日本語がない。Winnyのソースには、日本語の識別子とコメントがある。日本人の開発者が、わざと英語だけでコードを書くことは、もちろんありうる。それでも、文化や言葉の跡がまったくないことは、同じ作者だとする見方に不利な材料の一つになる。
• 文章の文体：サトシの英語は、学術のメーリングリスト、くだけたフォーラム、個人のメール、技術的なリリースノートという四つの場面を、32か月にわたって切り替えながら、母語に近い慣用句をこなしている。そのあいだ、日本語を母語とする人にありがちな跡（不自然な語順、ネイティブなら使わない冠詞や前置詞、日本語の考え方をそのまま英語にした跡）は一度も見せない。記録に残る金子の英語（学術論文）は、しっかりしているが、同じほどの幅はない。これだけで候補から外れるわけではないが、ビットコインの記録に日本語の跡がまったくないことと合わせると、金子だという見込みは下がる。
• 母語の文体（47氏の書き込みという一次資料）：金子が最も素のままに書いた文章は、Winnyの開発予告（2002-04-01、47氏、スレッドの記録。伝記のWinnyの節に全文）に残っている。2chネラー のような2ちゃんねるの仲間内の言葉を使い、文末に「わ」「なー」を付け、のちに大きなP2Pの仕組みになるものの開発予告なのに「暇なんで」と軽く書き出している。どれも、日本語を母語とし、特定の文化に深くなじんだ人の書き方である。結びの「少しまちなー」は、そのあとの47氏の書き込みにも何度も出てくる決まり文句で、この書きぶりが一度きりの演技ではなく、自然に出たものだったことを示す。二つの声が同じ人のものだとするには、母語の日本語とは別に、母語に近い英語を、32か月のあいだ一度も崩さずに書き続けたことになる。理屈ではありうるが、47氏の書き込みは、金子の母語が深く日本語であることを、一次資料の上で示している。サトシが自分は日本にいると書いた記録は、一か所しかない。そして、本当に日本人である候補は、金子一人しかいない。この二つを照らし合わせると、金子自身の声には深く根ざした日本語があるのに、サトシの文章にはその跡がまったくない。この食い違いが、国籍の分析の中で最もはっきりした材料になる。
• コードの中の単位：v0.1.0のソースにあるお金の単位はCENTだけで、2年あまりのサトシ自身の文章も、いつもセントで数え、円で数えたことは一度もない。コードと記録の中のセントは、サトシはセントで数えていたのページがたどっている。日本には、1953年の末から、1円未満の硬貨も紙幣もない。

2.4 日付の合い方が弱い

金子が亡くなった2013年7月6日は、記録に残るサトシの最後のメール（2011年4月26日）から2年2か月後である。サッサマン仮説の最も強い論拠は、サトシの最後のメールからサッサマンの死まで68日しかないことだった。金子について同じ議論をしようとすると、ずっと長い間隔に頼ることになる。しかもその間には、最高裁での無罪の確定（2011年12月）、コンテンツ配信の会社Skeed（旧ドリームボート）での仕事（2012年10月に取締役）、2012年12月の東京大学の特任講師への就任、そして、およそ18か月にわたる公の技術の活動がある。サッサマン説の日付の議論に説得力を与えていた「身を引いて、まもなく亡くなる」という筋書きは、金子には当てはまらない。公の記録が示すのは、サトシが黙ったあと、金子がソフトウェアの仕事に 戻っていたことで、身を引いたことではない。

日付の問題は、もう一つ重なる。金子は2013年7月6日に亡くなったが、その8か月後の2014年3月に、ドリアン・ナカモトがサトシだという報道を否定する、サトシ名義の投稿が出ている。P2P Foundationを作ったミシェル・バウエンスも、同じ年にサトシから私的なメールが来たと回想している。サッサマン仮説と同じく、この動きで候補が外れるのは、それが本物の場合だけで、本物かどうかは今も争われている。ただ、サッサマンにとっては3年後の出来事だが、金子にとっては、わずか8か月後の出来事である。もともと弱かった日付の合い方に、さらに重なってくる。

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

サトシ自身について、公の記録が最も強く裏付けることは三つある。ビットコインを作っていたあいだ、目に見えるサイファーパンクのコミュニティの外にいたこと、母語に近い英語を書いたこと、そしてHashcashとb-moneyの流れを受けて仕事をしていたことである。

金子は、「目に見えるサイファーパンクのコミュニティの外」という条件には合う（そうした掲示板にはいなかった）。だが、今ある記録で見るかぎり、「母語に近い英語」と「Hashcashとb-moneyの流れ」の条件には合わない。

サトシという名前に見えるテクノ・オリエンタリズムの分析は、特定の候補の説とは関わりがない。仮名の背後にいたのが日本人でも、わざと日本人の名前の形の仮名を使った別の人でも、ほかのどんな組み合わせでも、同じように当てはまる。

名指しされたほかの候補の説と比べるには、サトシ同定仮説の総覧を見てほしい。候補ごとの人物像の比較の表と、それぞれの候補を取り巻く外部の状況についての注を、一か所にまとめてある。

4 資料の範囲

• ここでは、新しい証拠は示していない。使ったのは、公に手に入る資料である。
• 金子の遺族の言葉は、正体の問題については、記録ではなく個人の回想である。どちらの向きの証拠としても扱わない。
• ここでは、金子の死を、ビットコインを誰が作ったかという問題と結びつけて語らない。死因（心筋梗塞）は記録に残っていて、サトシが黙ってから2年後のことであり、この死を説の材料にはしない。

サトシ同定仮説の総覧では、「必要だが、それだけでは足りない」という条件で候補を見て、金子を、名指しされたほかの候補と並べて、C群（第三者の調べ、自称、名前の一致で名前が挙がった候補）に入れた。

金子は、仮名が名乗ったとおりの人だった、ただ一人の候補である。それなのに、私の見るところ、記録はほかのどの候補よりもはっきりと、金子をその仮名から引き離す。日本人の名前は、この説だけが持ち、ほかのどの候補も示せなかったものだった。そして、サトシの文章が一度も裏付けなかったのも、その日本人の名前だけだった。