イーサリアム実習 II / Practicing Ethereum II

2017年11月8日(水)、ブロックチェーンアカデミー「スマートコントラクトプログラミング講座(4)」にて使用のスライドです。

Transcript

1. II (4) CSO / SFC ks91@blockchainhub.co.jp II – (4) – 2017-05-31 – p.1/54
2. 1. : 2. ∼ ∼ II – (4) – 2017-05-31 – p.2/54
3. 1. : 2. : 3. / II – (4) – 2017-05-31 – p.3/54
4. 1. II – (4) – 2017-05-31 – p.4/54
5. (m2 ) 1 1 II – (4) – 2017-05-31 – p.5/54
6. IndivisibleAsset string public _name; string public _symbol; uint256 public _quantity; address public _owner; _name ( ) _symbol _quantity (m2 ) _owner _ Solidity . . . II – (4) – 2017-05-31 – p.6/54
7. IndivisibleAsset event Transfer(address indexed from, address indexed to); from to II – (4) – 2017-05-31 – p.7/54
8. IndivisibleAsset function IndivisibleAsset(string name, string symbol, uint256 quantity) { _name = name; _symbol = symbol; _quantity = quantity; _owner = msg.sender; } II – (4) – 2017-05-31 – p.8/54
9. IndivisibleAsset getOwner() function getOwner() returns (address owner) { return (_owner); } II – (4) – 2017-05-31 – p.9/54
10. IndivisibleAsset transfer() function transfer(address to) { if (_owner != msg.sender) { throw; } _owner = to; Transfer(msg.sender, to); } ( / ) $ populus compile II – (4) – 2017-05-31 – p.10/54
11. (1) import pytest @pytest.fixture() def asset_contract(chain): AssetFactory = chain.provider.get_contract_factory(’IndivisibleAsset’) deploy_txid = AssetFactory.deploy(args=[ "5322 Endo, Fujisawa", "mˆ2", 300, ]) contract_address = chain.wait.for_contract_address(deploy_txid) return AssetFactory(address=contract_address) SFC (300m2 ) II – (4) – 2017-05-31 – p.11/54
12. (2) def test_indivisible_assset(asset_contract, chain): account0 = chain.web3.eth.accounts[0] account1 = chain.web3.eth.accounts[1] assert asset_contract.call().getOwner() == account0 txid = asset_contract.transact().transfer(account1) chain.wait.for_receipt(txid) assert asset_contract.call().getOwner() == account1 account0 account1 II – (4) – 2017-05-31 – p.12/54
13. $ py.test -k test_indivisible_asset.py II – (4) – 2017-05-31 – p.13/54
14. 2. II – (4) – 2017-05-31 – p.14/54
15. transfer settle, retrieve asset, retrieve token 3 II – (4) – 2017-05-31 – p.15/54
16. 1. ( ) 2. ( ) 3. ( ) II – (4) – 2017-05-31 – p.16/54
17. OneTimeEscrow settle() function settle() { address addr = this; /* this */ if (_token.getBalanceOf(this) < _price || _asset.getOwner() != addr) { throw; } _token.transfer(_seller , _price); _asset.transfer(_buyer); Settled(); /* */ } settle() transfer ( / ) $ populus compile II – (4) – 2017-05-31 – p.17/54
18. (1) import pytest @pytest.fixture() def token_contract(chain): . . . @pytest.fixture() def asset_contract(chain): . . . II – (4) – 2017-05-31 – p.18/54
19. (2) def test_one_time_escrow(token_contract, asset_contract, chain): account0 = chain.web3.eth.accounts[0] account1 = chain.web3.eth.accounts[1] txid = chain.web3.eth.sendTransaction({ ’from’: account0, ’to’: account1, ’value’: chain.web3.toWei(1, "ether") }) chain.wait.for_receipt(txid) txid = token_contract.transact().transfer(account1, 300) chain.wait.for_receipt(txid) account0 account1 1Ether 300BcH 300BcH TX II – (4) – 2017-05-31 – p.19/54
20. (3) EscrowFactory = chain.provider.get_contract_factory(’OneTimeEscrow’) txid = EscrowFactory.deploy(args=[ token_contract.address, account1, asset_contract.address, account0, 300, ]) contract_address = chain.wait.for_contract_address(txid) EscrowFactory.address = contract_address; account1 account0 300BcH II – (4) – 2017-05-31 – p.20/54
21. (4) txid = token_contract.transact({ ’from’: account1 }).transfer(contract_address, 300) chain.wait.for_receipt(txid) txid = asset_contract.transact().transfer(contract_address) chain.wait.for_receipt(txid) assert token_contract.call().getBalanceOf(account0) == 999700 assert token_contract.call().getBalanceOf(account1) == 0 assert token_contract.call().getBalanceOf(contract_address) == 300 assert asset_contract.call().getOwner() == contract_address account1 300BcH account0 II – (4) – 2017-05-31 – p.21/54
22. (5) txid = EscrowFactory.transact().settle(); chain.wait.for_receipt(txid) assert token_contract.call().getBalanceOf(account0) == 1000000 assert token_contract.call().getBalanceOf(account1) == 0 assert token_contract.call().getBalanceOf(contract_address) == 0 assert asset_contract.call().getOwner() == account1 settle() II – (4) – 2017-05-31 – p.22/54
23. $ py.test -k test_one_time_escrow.py : settle() II – (4) – 2017-05-31 – p.23/54
24. 3. / Hyperledger (Fabric, Sawtooth, Iroha, Burrow, Indy) R3 Corda Enterprise Ethereum Alliance Tangle (IOTA) BBc-1 II – (4) – 2017-05-31 – p.24/54
25. ( ) ( ) ( ) IoT / / ( ) II – (4) – 2017-05-31 – p.25/54
26. ( = ) ( ) ( ) ↑ II – (4) – 2017-05-31 – p.26/54
27. (Linux Foundation) https://www.hyperledger.org Apache License, Version 2.0 II – (4) – 2017-05-31 – p.27/54
28. / : Proposal → Incubation → Active → Deprecated → End of Life II – (4) – 2017-05-31 – p.28/54
29. ( https://www.hyperledger.org/about/members ) II – (4) – 2017-05-31 – p.29/54
30. Fabric (IBM) IBM Digital Asset Holdings http://hyperledger-fabric.readthedocs.io/en/latest/ State : Active II – (4) – 2017-05-31 – p.30/54
31. ( ) ( ) II – (4) – 2017-05-31 – p.31/54
32. (Docker) (chaincode) PBFT (Practical BFT) RocksDB CA PKI v1.0 DB CA BFT : Byzantine Fault Tolerance ( ) CA : Certificate Authority ( ) PKI : Public Key Infrastructure ( ) II – (4) – 2017-05-31 – p.32/54
33. Sawtooth (Intel) https://github.com/hyperledger/sawtooth-core State : Active II – (4) – 2017-05-31 – p.33/54
34. ( ) (permissioned) (permissionless) Proof of Elapsed Time (PoET) Proof of Work ( ) (Intel ) / Transaction Families II – (4) – 2017-05-31 – p.34/54
35. (transaction families) (PoET ) PoET ( ) (transaction families) II – (4) – 2017-05-31 – p.35/54
36. Iroha ( ) https://github.com/hyperledger/iroha State : Active II – (4) – 2017-05-31 – p.36/54
37. ( ) DLT : C++ Sumeragi Whitepaper : https://github.com/hyperledger/iroha/blob/master/docs/iroha_whitepaper.md II – (4) – 2017-05-31 – p.37/54
38. JVM (chaincode) Sumeragi (BFT) JVM : Java Virtual Machine (Java ) II – (4) – 2017-05-31 – p.38/54
39. Corda (R3) Tangle (IOTA) II – (4) – 2017-05-31 – p.39/54
40. Corda (R3) R3 https://github.com/corda/corda II – (4) – 2017-05-31 – p.40/54
41. R3 R3CEV 77 (2017 2 ) 3 SBI R3Net( ) Corda II – (4) – 2017-05-31 – p.41/54
42. Corda Corda : : II – (4) – 2017-05-31 – p.42/54
43. ( ) + CAP ( DLT ) II – (4) – 2017-05-31 – p.43/54
44. JVM ( ) (Uniqueness Services) UTXO X.509 PKI ( ) UTXO : Unspent TX (transaction) Output ( ) X.509 : PKI II – (4) – 2017-05-31 – p.44/54
45. Tangle (IOTA) IoT IOTA https://iota.readme.io II – (4) – 2017-05-31 – p.45/54
46. IoT TX TX (DAG) ( ) TX Tangle II – (4) – 2017-05-31 – p.46/54
47. IoT (IOTA) DAG ( ) DAG II – (4) – 2017-05-31 – p.47/54
48. BBc-1 (Beyond Blockchain One) https://github.com/beyond-blockchain/bbc1 II – (4) – 2017-05-31 – p.48/54
49. Proof of Work Bitcoin ( ) BBc Trust ( ) https://beyond-blockchain.org/public/bbc-trust.pdf ( ) https://beyond-blockchain.org/public/bbc-trust_ja.pdf ( ) Design Paper (white paper) https://beyond-blockchain.org/public/bbc1-design-paper.pdf II – (4) – 2017-05-31 – p.49/54
50. ( Python) ( DAG) ( ) UTXO II – (4) – 2017-05-31 – p.50/54
51. DLT DLT II – (4) – 2017-05-31 – p.51/54
52. ( ) (by ) (since 1984) ( ) ( ) ( ) . . . ( ) ⇒ . . . II – (4) – 2017-05-31 – p.52/54
53. ( ) ( ) ( ) ( ) ( ) ( ) (by ) ⇒ DLT II – (4) – 2017-05-31 – p.53/54
54. ⇒ ⇒ II – (4) – 2017-05-31 – p.54/54