Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

Kenji Saito
September 16, 2016

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

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

Kenji Saito

September 16, 2016
Tweet

More Decks by Kenji Saito

Other Decks in Technology

Transcript

  1. 2 7
    SFC / CSO
    [email protected]
    — 2016-09-16 – p.1/42

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

  10. 1

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

    View full-size slide

  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

    View full-size slide

  12. 2

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

    View full-size slide

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

    View full-size slide

  14. 3

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

    View full-size slide

  15. 1.
    ⇒ ( )
    2.

    3.

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

    View full-size slide

  16. (by )
    1.
    2.
    ( ) ( )
    . . .
    cf. by McLuhan
    cf. by McLuhan
    — 2016-09-16 – p.16/42

    View full-size slide

  17. :

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

    View full-size slide

  18. :

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

    View full-size slide

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

    View full-size slide

  20. Vitalik Buterin, “Ethereum White Paper: A NEXT
    GENERATION SMART CONTRACT &
    DECENTRALIZED APPLICATION PLATFORM”
    12
    — 2016-09-16 – p.20/42

    View full-size slide

  21. = run
    — 2016-09-16 – p.21/42

    View full-size slide

  22. Ether
    Ethereum
    EOA : Externally-Owned Account
    Ether EVM
    EVM
    — 2016-09-16 – p.22/42

    View full-size slide

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

    View full-size slide

  24. EVM
    :
    :
    Solidity — JavaScript
    LLL — Lisp
    — 2016-09-16 – p.24/42

    View full-size slide

  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

    View full-size slide

  26. Solidity
    JavaScript
    ( , )
    (constructor)
    ( )
    ( )
    Ether
    — 2016-09-16 – p.26/42

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide


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

    View full-size slide

  32. The DAO ( )
    The DAO
    Split ( )
    360 ETH (50∼60 ) (6/17)
    ( )
    ( ; )
    (7/20 )
    — 2016-09-16 – p.32/42

    View full-size slide

  33. 4. OS
    — 2016-09-16 – p.33/42

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

  40. 10 12
    → 120
    120
    12 12 120
    — 2016-09-16 – p.40/42

    View full-size slide

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

    View full-size slide

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

    View full-size slide