2016年3月22・23日に開催された「第8回 広域センサーネットワークとオーバレイネットワークに関するワークショップ」でお話した時のスライドに加筆・減筆を行ったものです。ブロックチェーン周りの FinTech の地図を描き出すことを目的としています。気楽にお楽しみいただけたら幸いです。 SlideShare 上ではスライドの中の日本語が表示されないように見えますが、ダウンロードしたものについては正しく表示されます。

1. FinTech と分散システム
∼またの名を仮面ライダーフィンテック∼
慶應義塾大学 SFC 研究所 上席所員
斉藤 賢爾
FinTech と分散システム – 2016-03-23 – p.1/33

2. 今日のお話は、なかなか理解して
いただけないとは思っています
. . . 世代的に
FinTech と分散システム – 2016-03-23 – p.2/33

3. ところでお前は誰だっけ
斉藤 賢爾 (さいとう けんじ) <ks91@sfc.wide.ad.jp>
慶應義塾大学 SFC 研究所 上席所員 (村井純 研究室)
一般社団法人アカデミーキャンプ 代表理事
株式会社 Orb チーフサイエンティストコンサルタント (論文は書いてます)
経歴
1993 年、コーネル大学より M.Eng 取得
(コンピュータサイエンス)
2006 年、慶應義塾大学より博士号取得 (政策・メディア)
慶應義塾大学にてインターネットと社会の研究に従事
福島のこどもたちのための「アカデミーキャンプ」を実施
「仮面ライダー」第 1 話 放送時 (1971 年 4 月 3 日) 6 歳
⇒ つながってるね！
FinTech と分散システム – 2016-03-23 – p.3/33

4. 45分という短い時間なので
本質的な話だけをしたい
FinTech と分散システム – 2016-03-23 – p.4/33

5. 仮面ライダーとは本質的に何か
バイク乗りかどうかは重要ではない
cf. 仮面ライダードライブ (2014-2015)
FinTech と分散システム – 2016-03-23 – p.5/33

6. 最近の仮面ライダー
ロケット
仮面ライダーフォーゼ (2011-2012)
魔法使い
仮面ライダーウィザード (2012-2013)
果物 (. . . 果物？)
仮面ライダー鎧武/ガイム (2013-2014)
自動車
仮面ライダードライブ (2014-2015)
お化け (過去の有名人の魂) ← 今ココ
仮面ライダーゴースト (2015-2016)
FinTech と分散システム – 2016-03-23 – p.6/33

7. 仮面ライダーは正義の味方
. . .ではない
敵には敵の正義がある
では何の味方か？
FinTech と分散システム – 2016-03-23 – p.7/33

8. 誰がために戦う ← それはサイボーグ戦士
「俺は本郷猛
およばずながら人間の自由のために戦っている」
— 「平成ライダー対昭和ライダー 仮面ライダー大戦 feat. スーパー戦隊」(2014)
(基礎教養なので言うまでもないと思いますが)
本郷猛は仮面ライダー 1 号
なるほど最近はそういう設定なのか
と思いきや
FinTech と分散システム – 2016-03-23 – p.8/33

9. 仮面ライダー (1971) より
「およばずながら、私も全力を尽くして人間の自由の
ために戦います」
— 本郷猛, 仮面ライダー 第 1 話「怪奇蜘蛛男」(1971)
「仮面ライダー 本郷猛は改造人間である
彼を改造したショッカーは、世界制覇を企む悪の
秘密結社である
仮面ライダーは人間の自由のために、ショッカーと
闘うのだ」
— 「仮面ライダー」オープニングナレーション (1971-1973)
忘れていた . . . (ナレーションの最初の 1 行以外)
FinTech と分散システム – 2016-03-23 – p.9/33

10. 正義のヒーローではない
「正義のために戦うなんて言うのは止めましょう
ナチスだって正義を謳ったんだから、正義ってやつは
判らない
悪者とは、どんなお題目を掲げていても人間の自由を
奪う奴が悪者です
仮面ライダーは、我々人間の自由を奪う敵に対し人間
の自由を守るために戦うのです」
— 市川森一 (脚本家)
しつこかったかも知れないが重要なことなので
(ちなみにこれも基礎教養だと思いますが)
市川森一さんは「ウルトラセブン」第 37 話「盗まれたウルトラ・アイ」の
脚本担当
(予算制約上) 怪獣が出てこなくて、代わりに美少女が出てくる話
FinTech と分散システム – 2016-03-23 – p.10/33

11. 人間を拡張するテクノロジー
というか人間を拡張するものをテクノロジーと呼ぶ
cf. M. McLuhan, “Understanding Media: The Extensions of Man”, 1964
仮面ライダーといえば人間の拡張 = 変身
FinTech と分散システム – 2016-03-23 – p.11/33

12. 敵のテクノロジーで変身する
仮面ライダーは敵のテクノロジーで変身する
例証
ショッカーの改造人間 (1 号・2 号)
... 時は流れて . . .
ユグドラシルの科学者 戦極凌馬による戦極ドライバー (鎧武)
最終的に主人公は「ヘルへイムの森の実」を食し
オーバーロード化 ← どの演算子を？って思っちゃいますよね
ロイミュードを生んだのと同型のテクノロジー (ドライブ)
眼魔を生んだのと同型のテクノロジーと推察される (ゴースト)
敵は何らかのかたちで人間の自由を否定
例 : マイナンバー (番号そのもの) にされる (ドライブ)
FinTech と分散システム – 2016-03-23 – p.12/33

13. 話がだいぶ脱線したので
本来のテーマに戻します
FinTech と分散システム – 2016-03-23 – p.13/33

14. 今回のテーマである
FinTech と仮面ライダー
(「分散システム」はどこにいった)
人間の自由を奪う金融貨幣経済
「お金がない・使えない = 不自由」が実現された世界
金融には金融の正義がある
敵のテクノロジーであるブロックチェーンに興味津々
ここでの視点は金融側から ← 敵と味方はときに入れ替わる
ちなみに FinTech = Financial Technology
FinTech と分散システム – 2016-03-23 – p.14/33

15. FinTech の評価軸として持ちたいもの
人間の自由のために戦っているか？
おそらく金融機関が FinTech に注力する理由は
既得権益の維持
ビットコインを利用した海外送金等が変化のため
の強烈な外圧に
「100 年後、銀行はあると思いますか？」がマジな質問に
生き残るためには「人間の自由のために戦う」
という方向に向かわざるを得ない (サービスの低コスト化)
⇒ 金融貨幣経済を瓦解させていく方向
結果として「人間の自由のために戦う」ことになる
勢力とは一緒にやっていきたい
(金融関係のみなさまにも大変お世話になっております < (_ _) > )
FinTech と分散システム – 2016-03-23 – p.15/33

16. FinTech の地図の描き方
テクノロジーは敵からもらい受ける
テクノロジーの根源は、考えてみれば「自然」
(特許でも「自然法則を利用した技術的思想の創作のうち高度のもの」が「発明」)
仮面ライダー鎧武/ガイム (2013-2014) が参考になる
異世界ヘルへイムの森に浸食されつつある世界
ユグドラシル・コーポレーションが人類のために
立ち上がる ← ショッカーのようなもの
FinTech と分散システム – 2016-03-23 – p.16/33

17. 用語体系 (FinTech と仮面ライダーの世界観を同時に説明する暴挙)
ユグドラシル - 金融貨幣経済
R3 とか HyperLedger Project はどちらかというとこっちかな
ダンスチーム - 銀行などの金融機関や法曹関係 (LegalTech)
実は踊らされている？
ヘルへイムの森 - 分散システムの研究フィールド
ヘルへイムの森の実 - 分散システム研究の成果 (果実)
分散タイムスタンプサーバとか Paxos とか
インベス (ヘルへイムの森の野生動物) - 野生の P2P システム
ビットコインとか
ロックシード (変身アイテム) - 技術シード
ブロックチェーンとかの分散レッジャー (台帳)
知恵の実 - イデ (IDE : Integrated Distributed Environment)
FinTech と分散システム – 2016-03-23 – p.17/33

18. FinTech の地図 (分散レッジャー関係)
発端はサトシ・ナカモトがヘルへイムの森の実を食べてビットコインを人間社会に
放ったこと FinTech と分散システム – 2016-03-23 – p.18/33

19. ヘルへイムの森における法則
FLP 不可能性
CAP 定理
ビザンチン将軍問題
コンセンサスのセイフティとライブネス
斉藤-山田 不可能性 (仮)
. . . 等々
FinTech と分散システム – 2016-03-23 – p.19/33

20. ブロックチェーンという技術
この短い時間の中では技術の詳細を説明できず . . .
(だったら仮面ライダーの話をしなければいいのに！)
詳しくは以下のスライドとかを
「ブロックチェーン技術の基本と応用の可能性」
http://www.slideshare.net/ks91020/ss-58535780
FinTech と分散システム – 2016-03-23 – p.20/33

21. ブロックチェーンの概要 (ビットコインの場合)
1. 各マイナーは、過去 10 分ほどの間に収集した取引データを
ブロックに格納し、マイニング (くじ引き) を行う
2. 成功したらネットワーク内にブロードキャストする
3. 各マイナーは、それをチェーンの新しい末尾と認めるなら、
その後ろにブロックを繋げるべく 1 に戻る
FinTech と分散システム – 2016-03-23 – p.21/33

22. ブロックチェーン
vs. 分散システム
ユグドラシルの技術はヘルへイムの森の力を
100% 活用できているか
FinTech と分散システム – 2016-03-23 – p.22/33

23. CAP 定理
Consistency (一貫性)
読み出しは直前の書き込みの
内容を返す
Availability (可用性)
必ず有限時間内に応答する
Partition tolerance
(分断耐性)
ネットワークが分断されても
動作する
⇒ 3 つは同時に満たせない
止まらないブロックチェーン
は C を満たせない
Eventual consistency (結果
整合性) を狙うわけだが . . .
FinTech と分散システム – 2016-03-23 – p.23/33

24. Consistency (一貫性)
Strong consistency (強い一貫性)
更新が完了した後、すべてのアクセスは更新
された値を返す (safety)
Eventual consistency (結果整合性)
更なる更新が行われない限り、いずれすべての
アクセスは最後に更新された値を返す (liveness)
↑ 強化
Weak consistency (弱い一貫性)
すべてのアクセスが更新された値を返すことは
保証しない ← ブロックチェーンはコレ (エクリプス状態を想定)
FinTech と分散システム – 2016-03-23 – p.24/33

25. コンセンサス
CS1 : 提案された値だけが選択される
CS2 : ひとつの値だけが選択される
CS3 : 正しい参加者は選択された値だけを学ぶ
CL1 : 提案された値のどれかがいずれ選択される
CL2 : 値が選択されるなら、正しい参加者はいずれ
その値を学ぶ
障害の種類
メッセージが届かない、停止する → ビナイン/良性 (benign)
前提を置かない → ビザンチン (Byzantine)
ブロックチェーンはコンセンサスを実現しない
ビナインな障害を前提とする場合でさえ
FinTech と分散システム – 2016-03-23 – p.25/33

26. 斉藤-山田 不可能性(仮)
ノードの総数 n が定まらない状況下ではコンセンサス
を満たすプロトコルは存在しない
(すでに他の人が証明していたら教えてください)
6 月下旬に論文発表予定
FinTech と分散システム – 2016-03-23 – p.26/33

27. ブロックチェーンの課題
n : 参加者の総数
f : ビザンチン障害下の参加者の数
R : 投入される資源 (e.g. 計算力) の総和
F : ビザンチン障害下の参加者が投入する資源の総和
FinTech と分散システム – 2016-03-23 – p.27/33

28. 現実 vs. ブロックチェーン
思考実験
ビットコインで支払うと、上空を飛ぶドローンが
運んできた缶ジュースを落としてくれるという
サービスを作るとする
ドローンはいつ缶ジュースを落とせばよいのか？
実時間で進行する現実と、ブロックチェーンの動作は
かけ離れている
FinTech と分散システム – 2016-03-23 – p.28/33

29. ブロックチェーンとByzantine Paxos
ブロックチェーン
資源の総和 R を利用する (不完全な) コンセンサス
動作条件 : R > 2F (R は未知)
n が大きく、f は未知、確率的な動作が許容されるとき採用可
エクリプス攻撃への対策が必要
Byzantine Paxos
参加者の総数 n を利用するコンセンサス
動作条件 : n > 3f (n は既知)
f の上限を決められるとき採用可
メンバシップの精緻な管理が必要
FinTech と分散システム – 2016-03-23 – p.29/33

30. エクリプス攻撃 (ネットワーク分断)
悪意の (または故障) ノードがネットワークを分断し、互いを見え
なくする
ブロックチェーンの場合は、分岐が永続する
f = 1 で原理的に可能 ⇒ 資源の総和 R は無関係
FinTech と分散システム – 2016-03-23 – p.30/33

31. 望まれる諸性質 vs. ワンネス
取引の増加に伴い、データ構造を維持するための
コストが直線的に上昇する
「世界がひとつ」でなければ動作しない
大規模災害や政変などによりネットワークが分断
されると正しく動作しない
技術を進化させるガバナンスが利きにくい
一部で違うことを試してうまくいったら全体で採用、ということが
できない
以上は分権できない構造による欠点
逆に、分権できる分散コンセンサス基盤には
大きな期待と可能性がある
(ご参考 : ユグドラシル = 世界樹 = 1 本の樹木 vs. リゾーム)
FinTech と分散システム – 2016-03-23 – p.31/33

32. 技術の整理と課題
ブロックチェーンの技術は 3 層に分けて考えられる
1. デジタル署名によるデータ構造
誰もが制御を持て、自己充足構造で誰もが検証可能
⇒ 有益
2. ダイジェストを格納するブロックの連鎖の構造
相対時刻を定義する、証明の基盤
⇒ 想定されていたほど強固ではない
3. コンセンサスのプロトコル
TX としての確定に向けたトライアル
⇒ 現実と同期して動く上で問題がある
課題の解決と、課題が解決されたことを前提とする
応用の探究を同時に進める必要がある
人間の自由のために
FinTech と分散システム – 2016-03-23 – p.32/33

33. まとめ
私自身はライダーというより年齢的にも立花藤兵衛
FinTech に代表されるように、社会の変化が
分散システムの知識を要求している
次は LegalTech だ
⇒ ぜひヘルへイムの森の住民である若いみなさんにも
参加してもらえたらと思っています
研究の果実を実際に試すフィールドでもあります
ヘルへイムの森の住民 = オーバーロード
↑ だからどの演算子を？
FinTech と分散システム – 2016-03-23 – p.33/33