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

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

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

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

Kenji Saito
PRO

November 08, 2017
Tweet

More Decks by Kenji Saito

Other Decks in Technology

Transcript

  1. II (4) CSO / SFC [email protected] 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