本エントリーは、主に日本語圏の議論で語られる仮説、すなわち金子勇(1970–2013 年、2002 年に P2P ファイル共有ソフト Winny を開発した日本の研究者・ソフトウェア開発者で、2004 年から 2011 年まで著作権法違反幇助の刑事裁判の被告人だった人物)が、サトシ・ナカモトの仮名の中の人だった、という仮説を記録する。本仮説は日本語圏のフォーラム議論や技術系メディアで繰り返し取り上げられており(金子勇は日本国内で名前が挙がるサトシ候補のうち最も多く議論される人物の一人)、英語圏のビットコイン議論ではほぼ知られていない。本エントリーは個別仮説エントリーの 1 つで、固有名候補のうち日本語圏でのみ議論される唯一の仮説である — 英語圏のビットコイン議論ではほぼ知られていない。他の固有名候補仮説との比較はサトシ正体仮説の概観を参照されたい。主張を提示し、支持論者の論じ方をそのまま描写し、反証を同じ詳細度で示す。判断は読者に委ねる。
1. 金子勇とは誰か
日本国外の読者向けに、簡単な背景(金子勇の Wikipedia 項目および Winny の Wikipedia 項目による。経歴と裁判タイムラインの全体は金子勇の伝記を参照。本仮説エントリーは仮説そのものを扱うものであり、伝記の代替ではない):
金子勇(1970 – 2013 年)は日本の研究者・ソフトウェア開発者である。東京大学大学院情報理工学系研究科の助手を務め、2002 年 5 月に 2 ちゃんねる上で Winny と呼ばれる P2P ファイル共有システムを公開した。Winny は、各コンテンツの発信元を否認可能にするように設計されたルーティング方式を採用しており、ピーク時には日本国内で数百万のユーザーを擁するネットワークとなった。
2004 年 5 月、京都府警は金子を著作権法違反幇助の容疑で逮捕した。検察側の主張は、Winny を開発・配布したことで、Winny を使って著作物を共有したユーザーの行為を幇助した、というものだった。京都地裁は 2006 年 12 月に有罪判決(罰金 150 万円)を下し、大阪高裁は 2009 年 10 月に逆転無罪判決を出し、最高裁は 2011 年 12 月に検察側上告を棄却して無罪が確定した。本裁判は、ツール開発者の刑事責任に関する画期的判例として、日本の技術政策議論で広く引用されている。
金子は 2013 年 7 月 6 日に心筋梗塞で死去した。42 歳だった。
本エントリーでは、Winny 刑事裁判は史実として扱う。裁判の法的論点(金子に幇助の意図があったか、Winny 自体が違法だったか、判決の道徳的含意)は サトシ正体問題の論拠としては用いない — 刑事裁判を金子の人物・性格に対する論難に流用することは、本エントリーが避ける編集上の越権である。ただし、裁判が結果として生じさせた経験的事実 — 2007–2008 年の金子の高い公的可視性(控訴中の有罪判決を受けた被告人として、警察・検察・弁護団・日本の技術メディア・学界からの持続的な注視下にあったこと) — は記録された事実であり、§4.1 の可視性分析がそれを取り扱う必要がある。本エントリーが守る編集線:裁判の 法的内容 は武器化しない/裁判が観察可能に生じさせた 可視性効果 は仮説が向き合うべき事実である。
2. 仮説が主張する内容
仮説の主張は以下の通り:金子はサトシ・ナカモトの仮名の中の人物だった(時期は 2007 年から 2010 年頃)。最高裁への検察側上告期間(2010–2011 年)の頃にプロジェクトの活動的な関与から退き、2013 年 7 月の死をもって、サトシ時代のビットコインへの関与は事実上の終焉を迎えた。
本仮説は、主に日本語圏のフォーラム(2013 年頃以降の 2 ちゃんねる/5 ちゃんねるの派生議論など)と日本語の技術系メディアで論じられている。他の正体仮説と同水準の英語圏での取り上げは受けていない。
3. 仮説が依拠する論点
3.1 日本人名としての適合
これが本仮説のみが行える、他のいかなる固有名候補仮説にもできない論点である:「Satoshi Nakamoto」 は妥当な日本人名であり、金子は日本人だった。論じ方としては、非日本人が仮名に日本人名を選ぶにはテクノオリエンタリスト署名分析が扱うような意図的な象徴的ジェスチャーが必要となるが、日本人作者であれば日本人名形の仮名を 単に 用いるだけでよく、外的な象徴づけを必要としない、というもの。
反論:本論点は、説明されるべき事項の一つ(なぜ日本人名形の仮名か?)を、まだ説明されるべき事項のままにせず、証拠に変換してしまっている。仮名の形は、日本人作者という説明と整合的だが、複数の他の読み(意図的なテクノオリエンタリスト的ジェスチャー、ジャンル連想のためのグループ選択など)とも整合的である。本論点が候補空間を実質的に絞るのは、「仮名が実際の作者の国籍を示している」という事前確率を受け入れた場合に限るが、その事前確率を公的記録は確立していない。
3.2 P2P 実装能力
金子の Winny に関する記録された仕事は、P2P プロトコル設計と敵対的環境ソフトウェアにおける相当な能力を示す(Winny は特に閉鎖を想定した設計)。仮説は、この能力がビットコイン v0.1 のネットワーク層が示す能力と整合的だと主張する。
反論:P2P プロトコルの能力は候補集合を絞るが、ビットコインを作るために隣接的に必要な能力は 暗号学的 なもの(プルーフ・オブ・ワーク、ECDSA、トランザクションスクリプト設計、連結ハッシュ構造)である。Winny は暗号プリミティブを 手段として 用いたが、研究領域として用いたわけではない。金子は、サイファーパンク独立到達分析がサトシの明らかな知的系譜として扱う、サイファーパンク的な研究としての暗号学者ではなかった。
3.3 日英バイリンガル
金子は東京大学大学院情報理工学系研究科の助手として、英語の学術論文を発表していた。これは彼が技術的な英語で機能できることを示す。仮説は、これがサトシの英語投稿・コードコメント作業と整合的だと主張する。
反論:機能する学術英語と、サトシの記録された英語は、文体が異なる。サトシのホワイトペーパー、BitcoinTalk 投稿、メール通信は、慣用句、皮肉、文体切り替えの自在さを示す、ほぼネイティブ水準の英語の使い手の作品として読める。学術第二言語の英語が通常到達する文体ではない。これ自体が決定的な不適格事由ではない — サトシは異例に強い英語を持つ非ネイティブ話者だった可能性も、編集を経ていた可能性もある — が、事前確率を日本国内学術プロファイルから遠ざける方向に働く。
3.4 反体制的な姿勢
Winny 刑事裁判における金子の立場 — ツール開発者はユーザーの行為に関して刑事責任を問われない、という原則の擁護 — は、サイファーパンク独立到達分析がサトシの明らかな哲学的志向として識別する、広義のサイファーパンク的な政治姿勢と整合的である。
反論:サイファーパンク原則との思想的整合は、当時の技術的に有能な開発者の間で広く見られた。それ自体ではさらなる証拠なしには何も絞らない。本論点はサッサマン仮説のサイファーパンク経歴論と同じ族の論点であり、同じ限界を持つ:金子をある集合の中に置くが、特定の一点には置かない。
4. 反証
4.1 ビットコイン開発期と重なる刑事裁判中の社会的注視
最も強い反証は、金子の法的手続きとビットコイン開発・公開期間のタイミングである:
| 期間 | 金子の状況 | ビットコインの状況 |
|---|---|---|
| 2004 年 5 月 – 2006 年 12 月 | 逮捕、公判前、地裁公判 | (ビットコイン開発前) |
| 2006 年 12 月 – 2009 年 10 月 | 有罪判決、大阪高裁で控訴中 | ビットコイン開発期。ホワイトペーパー 2008 年 10 月、v0.1 公開 2009 年 1 月 |
| 2009 年 10 月 – 2011 年 12 月 | 高裁で逆転無罪、検察側が最高裁に上告 | サトシのフォーラム/コード活動最盛期。2010 年 12 月/2011 年 4 月に離脱 |
金子の刑事裁判年表とビットコイン開発の重なり
§4.1 の論点を空間的に表現したもの:金子刑事裁判のレーンは 2004〜2011 年の全期間を占有し、ビットコイン開発のレーンはその範囲内に収まる。ホワイトペーパー、v0.1 公開、サトシ最盛期はすべて、金子が控訴中の被告人として持続的な注視下にあった期間に位置する。本仮説は、この期間中に彼が秘密裏にあるシステムを設計・構築し、それが彼に帰属することが判明すれば本人にとって個人的なニュースとして大きな項目となるはずだった、ということを要求する。彼の弁護団、大学の指導教官、社会的環境を通じてこの事実が秘匿され続けた蓋然性は低い。
4.2 知的系譜の断絶
ビットコインの知的系譜 — Hashcash(アダム・バック、1997 年)、b-money(ウェイ・ダイ、1998 年)、Bit Gold(ニック・サボ、2005 年)、サイファーパンクメーリングリストでの暗号プリミティブ議論、サトシが最初に告知した metzdowd Cryptography List — は公的記録に文書化されている。金子はこの議論の流れに記録された存在を持たない。Winny の設計(2002 年)は別系譜(Freenet、Gnutella、匿名ルーティング文献)に依拠しており、金子の発表された学術仕事は P2P ルーティングに関するもので、デジタルキャッシュや分散型台帳に関するものではない。
4.3 コードと文体の特徴
- コードの言語:ビットコイン v0.1 のソースには、識別子、コメント、コミットメタデータのいずれにも日本語が含まれていない。Winny のソースには日本語の識別子とコメントが含まれている。日本人開発者が選択により英語のみのコードを書くことは当然可能だが、文化的・言語的痕跡が一切ないことは、同一作者識別に対する一つのデータポイントとなる。
- 文章の文体:サトシの英語の文章は、ほぼネイティブの慣用句と文体切り替えの自在さに到達している。金子の記録された英語の学術文章は、能力はあるが同じ文体の幅は示さない。これも単独では決定的な不適格事由ではないが、ビットコインの記録に日本語系譜の痕跡が一切ないことと組み合わせると、事前確率を移動させる。
4.4 緩いタイミング
金子の死(2013 年 7 月 6 日)は、サトシの最後の文書化されたメール(2011 年 4 月 26 日)から 2 年 2 か月後である。サッサマン仮説の最強論点は、サトシの最後のメールとサッサマンの死の間の 3 か月の間隔だった。金子に関する同等の論点は、はるかに長い間隔に依存することになり、その間隔の中には金子の最高裁無罪確定(2011 年 12 月)、商用ソフトウェア開発(株式会社ドリームボートでの SAMURAI 開発などへの参加、2012 年)、おおよそ 18 か月の公的な技術活動が含まれる。サッサマン仮説のタイミング論に修辞的な力を与えていた「離脱に続く死」 という物語は、金子には当てはまらない:公的記録は、サトシの沈黙の後に金子が 再び ソフトウェア開発に従事していたことを示しており、離脱したのではない。
5. 公的記録全体の中での位置
公的記録が支えるサトシ自身に関する最も強い主張は、サトシがビットコイン開発期間中に可視のサイファーパンクコミュニティの構造的に外側にいたこと、ほぼネイティブ水準の英語を書いたこと、Hashcash/b-money/Bit Gold の知的系譜から仕事をしていたこと、である。
金子は「可視のサイファーパンクコミュニティの外側」 という条件には合う(彼はそのフォーラムにいなかった)が、「ほぼネイティブ水準の英語」 と「Hashcash/b-money/Bit Gold の系譜」 の条件には、文書化された証拠の上では合わない。
テクノオリエンタリスト署名分析は、固有名候補の仮説とは独立しており、仮名の背後の人物が日本人であっても、日本人名形の仮名を意図的に用いた他の人物であっても、その他の構成であっても、等しく適用される。
他の固有名候補仮説との比較は、サトシ正体仮説の概観を参照されたい。各候補の候補プロファイル比較表と外部的状況の注記を一箇所にまとめてある。
6. 本エントリーの限界
- 本エントリーは新しい証拠を提示するものではない。公的に利用可能な資料を整理し、両側を同じ詳細度で枠組みづける。
- 本エントリーは仮説と反証の両方を公平に提示し、判断を読者に委ねる試みである。
- 本エントリーは「最も蓋然性の高いサトシ候補」を指名しない。
- 本エントリーは金子の遺族の発言には立ち入らない。編集上の選択として、家族の発言を仮説の枠組みから外す。これらの発言が、個人的な回想ではなく、正体問題に関する文書化された公的記録の一部になれば、本判断は再検討すべきである。
- 本エントリーは金子の死とビットコイン正体問題との間に物語的な接続を一切引かない。死因(心筋梗塞)は文書化されており、サトシの沈黙との間隔は 2 年であり、本エントリーは死を仮説に対する材料として扱わない。