スマートコントラクト / Smart Contracts

ブロックチェーンハブ主催で開催している連続講義 (通算第3期) ブロックチェーン基盤技術 第6回「スマートコントラクト」のスライドです。2017年3月8日(水) に使用しました。

Transcript

1. 6 SFC / CSO ks91@sfc.wide.ad.jp — 6 — 2017-03-08 – p.1/45
2. (EVM) — 6 — 2017-03-08 – p.2/45
3. 1. 2. (Ethereum) 3. 4. OS 5. — 6 — 2017-03-08 – p.3/45
4. 1. — 6 — 2017-03-08 – p.4/45
5. — 6 — 2017-03-08 – p.5/45
6. . . . — 6 — 2017-03-08 – p.6/45
7. — 6 — 2017-03-08 – p.7/45
8. . 1. 2. 3. — 6 — 2017-03-08 – p.8/45
9. — 6 — 2017-03-08 – p.9/45
10. 1 ⇒ — 6 — 2017-03-08 – p.10/45
11. CSP CSP : Communicating Sequential Processes : VendingMachine = coin → choc → STOP Person = (coin → STOP) [] (card → STOP) . . . VendingMachine |[{coin,card}]| Person ≡ coin → choc → STOP — 6 — 2017-03-08 – p.11/45
12. 2 ⇒ — 6 — 2017-03-08 – p.12/45
13. vs. — 6 — 2017-03-08 – p.13/45
14. 3 ⇒ — 6 — 2017-03-08 – p.14/45
15. 1. ⇒ ( ) ⇒ 2. ⇒ ⇒ 3. ⇒ — 6 — 2017-03-08 – p.15/45
16. (by ) 1. 2. ( ) ( ) . . . cf. by McLuhan cf. by McLuhan — 6 — 2017-03-08 – p.16/45
17. : ⇒ — 6 — 2017-03-08 – p.17/45
18. : ⇒ — 6 — 2017-03-08 – p.18/45
19. 2. (Ethereum) EVM (Ethereum Virtual Machine) — 6 — 2017-03-08 – p.19/45
20. Vitalik Buterin, “Ethereum White Paper: A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM” 15 — 6 — 2017-03-08 – p.20/45
21. = run — 6 — 2017-03-08 – p.21/45
22. Ether Ethereum EOA : Externally-Owned Account Ether EVM EVM — 6 — 2017-03-08 – p.22/45
23. EVM : Ethereum Virtual Machine Gas — 6 — 2017-03-08 – p.23/45
24. EVM : : Solidity — JavaScript LLL — Lisp — 6 — 2017-03-08 – p.24/45
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 — 6 — 2017-03-08 – p.25/45
26. Solidity JavaScript ( , ) (constructor) ( ) ( ) Ether — 6 — 2017-03-08 – p.26/45
27. — 6 — 2017-03-08 – p.27/45
28. 3. ADEPT — 6 — 2017-03-08 – p.28/45
29. ADEPT ADEPT : IBM IoT → — 6 — 2017-03-08 – p.29/45
30. . . . — 6 — 2017-03-08 – p.30/45
31. ⇒ — 6 — 2017-03-08 – p.31/45
32. The DAO ( ) The DAO Split ( ) 360 ETH (50∼60 ) (6/17) ( ) ( ; ) (7/20 ) — 6 — 2017-03-08 – p.32/45
33. 4. OS — 6 — 2017-03-08 – p.33/45
34. OS (2007) — 6 — 2017-03-08 – p.34/45
35. OS ↑ cf. NPO/NGO — 6 — 2017-03-08 – p.35/45
36. OS — 6 — 2017-03-08 – p.36/45
37. Uber — 6 — 2017-03-08 – p.37/45
38. Uber Uber : Arcade City (https://arcade.city) — 6 — 2017-03-08 – p.38/45
39. / . . . — 6 — 2017-03-08 – p.39/45
40. ( ) / / — 6 — 2017-03-08 – p.40/45
41. — 1. ( ) 2. ( ) 3. ( ) — 6 — 2017-03-08 – p.41/45
42. Communicating Promises in the Air CPA : Communicating Promises in the Air etc. — 6 — 2017-03-08 – p.42/45
43. 10 12 → 120 120 12 12 120 — 6 — 2017-03-08 – p.43/45
44. — 6 — 2017-03-08 – p.44/45
45. — 6 — 2017-03-08 – p.45/45