$30 off During Our Annual Pro Sale. View Details »

ブロックチェーン連続講義 第2-7回 スマートコントラクト / Smart Contracts

ブロックチェーン連続講義 第2-7回 スマートコントラクト / Smart Contracts

ブロックチェーンハブ主催で開催している第2期ブロックチェーン連続講義の第7回「スマートコントラクト」のスライドです。2016年9月16日(金) に使用しました。

Kenji Saito
PRO

September 16, 2016
Tweet

More Decks by Kenji Saito

Other Decks in Technology

Transcript

  1. 2 7 SFC / CSO ks91@sfc.wide.ad.jp — 2016-09-16 – p.1/42

  2. (EVM) — 2016-09-16 – p.2/42

  3. 1. 2. (Ethereum) 3. 4. OS — 2016-09-16 – p.3/42

  4. 1. — 2016-09-16 – p.4/42

  5. — 2016-09-16 – p.5/42

  6. . . . — 2016-09-16 – p.6/42

  7. — 2016-09-16 – p.7/42

  8. . 1. 2. 3. — 2016-09-16 – p.8/42

  9. — 2016-09-16 – p.9/42

  10. 1 ⇒ — 2016-09-16 – p.10/42

  11. CSP CSP : Communicating Sequential Processes : VendingMachine = coin

    → choc → STOP Person = (coin → STOP) [] (card → STOP) . . . VendingMachine |[{coin,card}]| Person ≡ coin → choc → STOP — 2016-09-16 – p.11/42
  12. 2 ⇒ — 2016-09-16 – p.12/42

  13. vs. — 2016-09-16 – p.13/42

  14. 3 ⇒ — 2016-09-16 – p.14/42

  15. 1. ⇒ ( ) 2. ⇒ 3. ⇒ — 2016-09-16

    – p.15/42
  16. (by ) 1. 2. ( ) ( ) . .

    . cf. by McLuhan cf. by McLuhan — 2016-09-16 – p.16/42
  17. : ⇒ — 2016-09-16 – p.17/42

  18. : ⇒ — 2016-09-16 – p.18/42

  19. 2. (Ethereum) EVM (Ethereum Virtual Machine) — 2016-09-16 – p.19/42

  20. Vitalik Buterin, “Ethereum White Paper: A NEXT GENERATION SMART CONTRACT

    & DECENTRALIZED APPLICATION PLATFORM” 12 — 2016-09-16 – p.20/42
  21. = run — 2016-09-16 – p.21/42

  22. Ether Ethereum EOA : Externally-Owned Account Ether EVM EVM —

    2016-09-16 – p.22/42
  23. EVM : Ethereum Virtual Machine Gas — 2016-09-16 – p.23/42

  24. EVM : : Solidity — JavaScript LLL — Lisp —

    2016-09-16 – p.24/42
  25. Solidity contract metaCoin { mapping (address => uint) balances; function

    metaCoin() { balances[msg.sender] = 10000; } function sendCoin(address receiver, uint amount) returns(bool sufficient) { if (balances[msg.sender] < amount) return false; balances[msg.sender] -= amount; balances[receiver] += amount; return true; } } by hshimo — 2016-09-16 – p.25/42
  26. Solidity JavaScript ( , ) (constructor) ( ) ( )

    Ether — 2016-09-16 – p.26/42
  27. — 2016-09-16 – p.27/42

  28. 3. ADEPT — 2016-09-16 – p.28/42

  29. ADEPT ADEPT : IBM IoT — 2016-09-16 – p.29/42

  30. — 2016-09-16 – p.30/42

  31. ⇒ — 2016-09-16 – p.31/42

  32. The DAO ( ) The DAO Split ( ) 360

    ETH (50∼60 ) (6/17) ( ) ( ; ) (7/20 ) — 2016-09-16 – p.32/42
  33. 4. OS — 2016-09-16 – p.33/42

  34. OS (2007) — 2016-09-16 – p.34/42

  35. OS ↑ cf. NPO/NGO — 2016-09-16 – p.35/42

  36. OS — 2016-09-16 – p.36/42

  37. Uber — 2016-09-16 – p.37/42

  38. Uber Uber — 2016-09-16 – p.38/42

  39. / . . . — 2016-09-16 – p.39/42

  40. 10 12 → 120 120 12 12 120 — 2016-09-16

    – p.40/42
  41. — 2016-09-16 – p.41/42

  42. 10 — 2016-09-16 – p.42/42