ブロックチェーンの講演＠東京工業大学

Slide 1

Slide 1 text

ブロックチェーンのエンタープライズでの活⽤株式会社ビッグツリーテクノロジー＆コンサルティング SI事業部アーキテクチャG 廣末丈⼠

Slide 2

Slide 2 text

Slide 3

Slide 3 text

Slide 4

Slide 4 text

Slide 5

Slide 5 text

0 背景

Slide 6

Slide 6 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 6 ブロックチェーンは、世界中に点在するコンピューターにデータを分散することで、中央集権を置かずに破壊・改ざんが困難なネットワークを作る技術です。⾦融分野でBitCoinに代表されるブロックチェーンを⽤いた⾦融サービス開発が盛り上がりを⾒せています。ブロックチェーン技術を⽤いた⾮中央集権なアプリケーションで⾃動的に実⾏できる契約（スマートコントラクト）を利⽤すると、ユーザ同⼠が直接取引を⾏うことができ、⾦融分野のみならず⾮⾦融分野でも社会に⼤きな変化をもたらす可能性があると⾔われています。ここでは、スマートコントラクトによるブロックチェーンのエンタープライズでの活⽤について、ご説明させていただきます。背景

Slide 7

Slide 7 text

1 DAppsとは

Slide 8

Slide 8 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 8 DAppsとは、ブロックチェーンを⽤いた⾃律分散型アプリケーション =Decentraized Appliction 従来型のアプリは、中央集権型アプリケーション（Centraized Application）代表例︓ブロックチェーン上の仮想通貨のBitCoin DAppsとはブロックチェーン上のアプリケーション

Slide 9

Slide 9 text

Slide 10

Slide 10 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 10 DAppsアプリケーション例（Storj : ストージ） Storjとは、分散型クラウドストレージサービス Amazon S3との差異は以下 • AWSが管理 • ３つ以上のデータセンタで冗⻑化 Storj • 参加者の空きスペースにデータを分散化 • SJCXという独⾃トークンを対価にスペースを売買 • 管理者不在のため、利⽤料⾦が安い

Slide 11

Slide 11 text

Slide 12

Slide 12 text

2 スマートコントラクトとは

Slide 13

Slide 13 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 13 スマートコントラクトとは、契約を⾃動化（プログラム）すること例）⾃動販売機 • ユーザが購⼊したいジュースの代⾦を投⼊する • 購⼊したいジュースのボタンを押す上記２つの条件が合致すると⾃動的にジュースが出⼒される。正しいジュースかどうかはユーザが⾃⾝で確認する。スマートコントラクトとは • 代⾦投⼊ • ジュースボタン押下 • 商品出⼒ • 商品確認ブロックチェーン上のスマートコントラクトは、契約をプログラムで定義し、Bitcoinのような仮想通貨で取引する。契約のチェックも⾃動化する。

Slide 14

Slide 14 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 14 ブロックチェーンで⾞の所有権を保持している場合の、⾞の売買スマートコントラクト⾞のキーロック解除はスマートフォンで⾏う BitCoinの移動で、⾞の所有権及びキーの⾃動移譲を実⾏するスマートコントラクトが適応できるスマートコントラクトとブロックチェーン決済と権利の移譲が⾃動的に完了可能となる

Slide 15

Slide 15 text

Slide 16

Slide 16 text

3 エンタープライズでの利⽤について

Slide 17

Slide 17 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 17 スマートコントラクトは、⾦融分野以外の様々なシーンでの利⽤が検討されています。特にIoTとの親和性が⾼く、洗濯機の洗剤の⾃動発注の例をAmazon Dashと⽐較してみます。エンタープライズ利⽤について現在︓Amazon Dash 少なくなったら、ユーザがボタンプッシュで発注 AmazonのAPIを通じて発注。クレジット決済代⾏業者が決済を仲介する。

Slide 18

Slide 18 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 18 エンタープライズ利⽤についてスマートコントラクト後 1. センサーで「洗剤の残量少ない」を検知 2. 洗濯機から⼩売店に⾃動発注（ビットコイン⽀払い） 3. ⼩売店は洗剤の発送通知を洗濯機に送信 4. 洗濯機から洗濯機の所有者に状況通知 IoTとAmazon Dashの技術の組み合わせで⾃動発注は可能だが、洗濯機⾃⾝が関係者とP2Pで接続するのが⼤きな違い洗濯機⾃⾝が⾃⽴して⾃⾝に関連する事象を解決できる残量検知発注、代⾦⽀払状況通知洗濯機オーナー⼩売店発送通知仲介者（クレジット決済代⾏業者）も必要ない

Slide 19

Slide 19 text

4 課題

Slide 20

Slide 20 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 20 The DAO 事件 The DAOとはStock.it社が⽴ち上げた⾃律分散型ファンド組織 The DAO 事件はコード脆弱性を突かれ、集めた資⾦の1/3の60億ほどの資⾦が想定外の形で勝⼿に移動された事件。攻撃者が新しく分離して作成した⼦DAOに対して、60億相当を不正に移動した。ユーザにとってより良い未来が想像できそうなスマートコントラクトですが⼀つの⼤きな事件を紹介します。「The DAO 事件」です。 • そもそもバグのないプログラムを書くことは難しい →パブリックチェーンはそもそも可能なのか︖ • 分散プラットフォーム（仲介者不在）の概念との乖離 →コードのバグ等で誤った情報が書き込まれた際に、特例的にロールバックすることは分散プラットフォーム（仲介者不在）の概念と乖離する。 ■正常時 ■Attack時

Slide 21

Slide 21 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 21 The DAO 事件結局どうなったか︖ 「ソフトフォーク」（後⽅互換ありのアップデート︓通常アップデート）「ハードフォーク」（後⽅互換なしのアップデート︓歴史の書き換え、ブロックチェーン分岐）「何もしない」（分散プラットフォームの理念重視）の３つの選択肢より、ハードフォークソフトフォークチェーン分岐分岐後は、過去ノード無効

Slide 22

Slide 22 text

Slide 23

Slide 23 text

5 弊社での取り組み

Slide 24

Slide 24 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 24 アーキテクチャグループを中⼼にブロックチェーンの調査、ブロックチェーンを利⽤したサービス提供を検討しています。以下観点より、次ページの「ブロックチェーントラストサービス」の構築を検討中です。弊社での取り組み • ブロックチェーン乱⽴ →ビットコイン類似コインが数千種類存在、多数のブロックチェーン基盤が存在 • 企業間ブロックチェーンの整合性チェック →政治的理由で繋げないブロックチェーン間の取引の整合性チェック • スマートコントラクトの本番公開について →ブロックチェーンのトランザクション不可逆性より、スマートコントラクトプログラムの脆弱性の排除が必須。テスト基盤の提供等を検討。

Slide 25

Slide 25 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 25 照合することで、取引Aと取引Bと帳合を確認できるブロックチェーントラストサービスのしくみ新規取引A ベリファイ新規取引B ベリファイ BTC BC 利⽤者A 利⽤者B ブロックチェーンプロバイダA ブロックチェーンプロバイダB 1. 取引の整合性チェック 2. テスト基盤提供︓スマートコントラクトテスト基盤の提供 3. API公開︓様々なブロックチェーンへの繋ぎこみをAPIを通じて隠蔽化１．取引の整合チェック３. APIの提供 2.テスト基盤提供３. APIの提供

Slide 26

Slide 26 text

6 スマートコントラクト基盤

Slide 27

Slide 27 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 27 スマートコントラクトを開発できるブロックチェーンとして、以下の例があります。 • Ethereum（イーサリアム） • Hyperleder（ハイパーレジャー） • mijin （ミジン）スマートコントラクト基盤 Ethereum（イーサリアム）スマートコントラクトのデファクトスタンダード。Bitcoinに次ぐ時価総額「Ether」を内部通貨として利⽤。GMO社がPaasを提供している。後ほどデモで利⽤します。 Hyperleder （ハイパーレジャー） Linux foundationが⽴ち上げたプロジェクト。IBM、富⼠通など産業界の様々なプレイヤーを巻き込んで共通のブロックチェーン構築を⽬指しています。参加者認証サービスを備える（プライベートブロックチェーン）。Dockerコンテナでスマートコントラクトを実⾏可能。近⽇中にVersion1.0公開。 mijin（ミジン）国産ブロックチェーン。テックビューロ社が開発。許可制ブロックチェーン（プライベートブロックチェーン）でトランザクションの⾼速化を志向。さくらインターネット社がPassを提供している。

Slide 28

Slide 28 text

7 デモ

Slide 29

Slide 29 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 29 EthereumでSolidityを⽤いて、スマートコントラクトを作成します ※Solidityとは、Ethereumでのスマートコントラクト開発⾔語の１つ。JavaScriptに類似。コンパイラを⽤いSolidityで記載されたコードをEthereumの独⾃のVMで動作させることで、契約を⾃動化します例︓addで加算し、getで加算した数値を取得する単純なコントラクトスマートコントラクトの作成

Slide 30

Slide 30 text

Slide 31

Slide 31 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 31 デモを試す⼿順仮想化ソフトのVagrant及びVirtualBoxを利⽤することで簡単にethereumを試すことができます。 Quitaに⼿順を記載しましたので、興味のある⽅は参照して⾒てください。 http://qiita.com/takeshi_hirosue/items/c7d3aa5b845c72a37cd4 スマートコントラクトの作成「BTC」で検索

Slide 32

Slide 32 text

Slide 33

Slide 33 text

Slide 34

Slide 34 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 34 スマートコントラクトの作成 3. ABI「Application Binray Interface」に代⼊ Ethereumにデプロイするには、コンパイル時に作成されたApplication Binary Interfaceを⽤います。 abiDefinition

Slide 35

Slide 35 text

Slide 36

Slide 36 text

Slide 37

Slide 37 text

Slide 38

Slide 38 text

Slide 39

Slide 39 text

Copyright © 2017 Bigtree Technology&Consulting Ltd. All Rights Reserved. 39 Truffleの紹介・デモコマンドラインでの作業は⼤変なため、 Ethereumでは開発を容易にする環境が多数⽤意されています。 Browser-SolidityやTruffle（トリュフ）が有名です。 TruffleはWeb開発を容易にする環境も公開されており、Truffleを⽤い簡単なデモを実施します。＜デモ内容＞独⾃トークンの受け渡しを画⾯で⾏います。独⾃トークンの残⾼⼀覧を表⽰します。承認された直近のトランザクション⼀覧を表⽰します。 GitHub https://github.com/Thirosue/ethereum-sample