ビットコイン・インスティテュート

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

親ページサトシ・ナカモトは誰か:12人の天才と世紀のミステリー

顔のない黒いシルエットが数字の47を抱え、その隣で虫眼鏡が事件ファイルとコード断片を見つめている。下にはP2Pネットワークの簡易図と、法的な監視期間とビットコイン開発期間を示す2本の重なり合う横棒タイムラインが描かれている。

「金子勇=サトシ」仮説は、主要なサトシ正体仮説のうち唯一、ほぼ日本語圏内でしか語られていない。2ch・5chフォーラムと日本の技術系メディアでは盛んに議論されるが、英語圏のビットコイン議論にはほとんど浸透していない。

仮説の対象、金子勇(1970–2013)は東京大学の助手で、2002年5月に2ちゃんねるでP2Pファイル共有ソフトWinnyを公開、2004〜2011年の7年半を著作権法違反幇助の刑事裁判の被告として過ごし、最高裁による無罪確定の2年後の2013年7月に心筋梗塞で死去した。この刑事裁判は、ツール開発者の刑事責任を巡る判例として日本の技術政策議論で広く参照される事件である。他の固有名候補仮説との比較はサトシ正体仮説の概観を参照。

前提:金子勇とは誰か

日本国外の読者向けに、簡単な背景(金子勇のWikipedia項目および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日に心筋梗塞で死去した。42歳だった。

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ビットコイン開発期と重なる刑事裁判中の社会的注視

最も強い反証は、金子の法的手続きとビットコイン開発・公開期間のタイミングである:

期間金子の状況ビットコインの状況
2004年5月 – 2006年12月逮捕、公判前、地裁公判(ビットコイン開発前)
2006年12月 – 2009年10月有罪判決、大阪高裁で控訴中ビットコイン開発期。ホワイトペーパー2008年10月、v0.1公開2009年1月
2009年10月 – 2011年12月高裁で逆転無罪、検察側が最高裁に上告サトシのフォーラム/コード活動最盛期。2010年12月/2011年4月に離脱

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

2005200620072008200920102011逮捕・公判前・地裁公判 有罪判決、 大阪高裁で控訴中 集中開発期 (サトシ自身の年表) ホワイトペーパー v0.1 公開 サトシの フォーラム・コード活動 高裁逆転無罪、 検察が最高裁上告 最後の既知メール 最高裁が無罪確定 金子刑事裁判ビットコイン開発

§2.1の論点を空間的に表現したもの:金子刑事裁判のレーンは2004〜2011年の全期間を占有し、ビットコイン開発のレーンはその範囲内に収まる。ホワイトペーパー、v0.1公開、サトシ最盛期はすべて、金子が控訴中の被告人として持続的な注視下にあった期間に位置する。この説は、この期間中に彼が秘密裏にあるシステムを設計・構築し、それが彼に帰属することが判明すれば本人にとって大きな個人的ニュースとなっていたはずだった、ということを要求する。彼の弁護団、大学の指導教官、社会的環境を通じてこの事実が秘匿され続けた蓋然性は低い。

2.2知的系譜の断絶

ビットコインの記録された知的系譜、すなわちホワイトペーパー自身が引用するHashcash(アダム・バック、1997年)とb-money(ウェイ・ダイ、1998年)、加えてサイファーパンクメーリングリストでの暗号プリミティブ議論、サトシが最初に告知したmetzdowd Cryptography Listは、公的記録の事実であり、本アーカイブの設計系譜分析がその全体を追っている。金子はこの議論の流れに記録された存在を持たない。Winnyの設計(2002年)は別系譜(Freenet、Gnutella、匿名ルーティング文献)に依拠しており、金子の発表された学術仕事はP2Pルーティングに関するもので、デジタルキャッシュや分散型台帳に関するものではない。

Freenet参照の角度の差(一次資料)。金子はWinny開発予告(2002-04-01、2ちゃんねるダウンロードソフト板、47番目の投稿、全文は伝記のWinny節)でFreenetを設計の出発点として明示している。

一方サトシのアーカイブ内Freenet言及は、2010年5月のBitcoinTalk URIスキーム議論で他参加者のFreenet URI例をbitcoin: URI設計の参考型として1回採用しただけで、ホワイトペーパーに引用はない。両者ともFreenetを知っていた事実はP2P設計者として自然(= 支持にも反証にもならない)が、参照の角度、すなわちWinnyの出発点として宣言(金子)vs URI議論時の参考型採用(サトシ)は、知的系譜の差を一次資料で補強する。

2.3コードと文体の特徴

  • コードの言語:ビットコインv0.1のソースには、識別子、コメント、コミットメタデータのいずれにも日本語が含まれていない。Winnyのソースには日本語の識別子とコメントが含まれている。日本人開発者が選択により英語のみのコードを書くことは当然可能だが、文化的・言語的痕跡が一切ないことは、同一作者識別に対する一つのデータポイントとなる。
  • 文章の文体:サトシの英語は、学術メーリングリスト・カジュアルフォーラム・個人メール・リリースノートの4つの場面を32か月にわたって切替えながら、ほぼネイティブの慣用句に到達し、日本語を母語とする話者にありがちな痕跡(語順の不自然・冠詞や前置詞のネイティブにないパターン・日本語固有概念の英語化痕)を一度も示さない。金子の記録された英語の学術文章は、能力はあるが同じ文体の幅は示さない。これは単独では決定的な不適格事由ではないが、ビットコインの記録に日本語系譜の痕跡が一切ないことと組み合わせると、事前確率を移動させる。
  • 第一言語の文体(47氏発言からの一次資料との接続):金子の最も内側の文体はWinny開発予告(2002-04-01、47氏、スレッドアーカイブ、伝記のWinny節に逐語)に記録されている。2chネラー のような2ちゃんねるサブカル固有語彙、文末の「わ」「なー」などの砕けた助詞、後に大規模化するP2Pシステムの開発予告にもかかわらず冒頭が「暇なんで」で始まる自虐的軽さは、第一言語としての日本語と特定文化圏に深く根差していることを示す。末尾の決まり文句「少しまちなー」は同スレッド以後の47氏ログで繰り返し現れる定型句で、文体が一過性の演出ではなく自然発露であることを裏付ける。両者の声を整合させる仮説(金子が第一言語日本語と第一言語に近い英語を32か月切替えなしで持続)は理論上可能だが、47氏発言の自然な日本語ネイティブ性は、金子側の第一言語が日本語であることを一次資料で示す。より広い国籍の論点、すなわちサトシが日本人だと自称した唯一の場所と、実際に日本人である唯一の候補を照合したとき、金子自身の声には深い第一言語日本語があり、サトシの書いたどの文章にもその痕跡が一切ないというこの逆の組み合わせこそが、国籍の分析における最も鋭い個別データ点となる。

2.4緩いタイミング

金子の死(2013年7月6日)は、サトシの最後の文書化されたメール(2011年4月26日)から2年2か月後である。サッサマン仮説の最強論点は、サトシの最後のメールとサッサマンの死の間の68日の間隔だった。金子に関する同等の論点は、はるかに長い間隔に依存することになり、その間隔の中には金子の最高裁無罪確定(2011年12月)、商用ソフトウェア開発(株式会社ドリームボートでのSAMURAI開発などへの参加、2012年)、おおよそ18か月の公的な技術活動が含まれる。サッサマン仮説のタイミング論に修辞的な力を与えていた「離脱に続く死」という物語は、金子には当てはまらない:公的記録は、サトシの沈黙の後に金子が 再び ソフトウェア開発に従事していたことを示しており、離脱したのではない。

もう一つのタイミング上の問題がこれに重なる。金子は2013年7月6日に死去したが、その8か月後の2014年3月にドリアン・ナカモト同定を否定するサトシ名義の投稿が現れ、P2P Foundation創設者ミシェル・バウエンスも同年にサトシからのメールがあったと回想している。サッサマン仮説と同じく、この活動が候補を除外するのは真正である場合に限られ、その真偽は係争中だ。ただし、サッサマンには3年の差で効くこの事実が、金子には8か月の差で効き、しかも元から緩かったタイミングの適合の上に乗る。

3. 公的記録全体の中での位置

公的記録が支えるサトシ自身に関する最も強い主張は、サトシがビットコイン開発期間中に可視のサイファーパンクコミュニティの構造的に外側にいたこと、ほぼネイティブ水準の英語を書いたこと、Hashcash/b-moneyの知的系譜から仕事をしていたこと、である。

金子は「可視のサイファーパンクコミュニティの外側」という条件には合う(彼はそのフォーラムにいなかった)が、「ほぼネイティブ水準の英語」と「Hashcash/b-moneyの系譜」の条件には、文書化された証拠の上では合わない。

テクノオリエンタリスト署名分析は、固有名候補の仮説とは独立しており、仮名の背後の人物が日本人であっても、日本人名形の仮名を意図的に用いた他の人物であっても、その他の構成であっても、等しく適用される。

他の固有名候補仮説との比較は、サトシ正体仮説の概観を参照されたい。各候補の候補プロファイル比較表と外部的状況の注記を一箇所にまとめてある。

4. 資料の範囲

  • 根拠は、公的に利用可能な資料に限られる。
  • 金子の遺族による発言は、正体問題に関する文書化された公的記録ではなく個人的な回想であり、いずれの方向の証拠としても扱わない。
  • 金子の死とビットコイン正体問題を物語的に接続しない。死因(心筋梗塞)は文書化されており、サトシの沈黙との間隔は2年だが、死は仮説の材料にならない。

サトシ正体仮説の総覧は、「必要だが十分ではない」という評価枠組みの中で、金子を他の名指し候補と並べてC群に置いている。

金子は、仮名が名乗ったとおりの存在だった唯一の候補であり、私の見るところ、記録はどの候補よりも鋭く彼をその仮名から切り離す。日本人の名前は、この説が持ち、他のどの候補も差し出せなかった唯一のものだった。それはまた、文章が一度も裏づけなかった唯一のものでもある。