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

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

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