Slide 1

Slide 1 text

Generated by Stable Diffusion XL v1.0 B 2024 4 ( ) B 2024 — 4 — 2024-10-28 – p.1/58

Slide 2

Slide 2 text

https://speakerdeck.com/ks91/collections/service-design-project-b-2024-fall ( ) ( ) Discord Discord ( / / ) Zoom URL ( ) B 2024 — 4 — 2024-10-28 – p.2/58

Slide 3

Slide 3 text

( ) 1 10 7 • 2 10 14 • 3 10 21 • 4 11 28 • 5 11 4 1 6 11 11 2 7 11 18 8 11 25 ( ) ( ) 4 ( 3 ) ↓ B 2024 — 4 — 2024-10-28 – p.3/58

Slide 4

Slide 4 text

Ethereum ( ) (1) : ERC20 ( ) (2) : (3) : Web3 B 2024 — 4 — 2024-10-28 – p.4/58

Slide 5

Slide 5 text

Ethereum ( ) B 2024 — 4 — 2024-10-28 – p.5/58

Slide 6

Slide 6 text

Ethereum Vitalik Buterin, “Ethereum White Paper: A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM” 12 (= ) = ⇒ → Dapps ( / / ) B 2024 — 4 — 2024-10-28 – p.6/58

Slide 7

Slide 7 text

( ) B 2024 — 4 — 2024-10-28 – p.7/58

Slide 8

Slide 8 text

. . . B 2024 — 4 — 2024-10-28 – p.8/58

Slide 9

Slide 9 text

vs. Ethereum (Ether ) 13 13 B 2024 — 4 — 2024-10-28 – p.9/58

Slide 10

Slide 10 text

= run B 2024 — 4 — 2024-10-28 – p.10/58

Slide 11

Slide 11 text

Ether Ethereum EOA : Externally-Owned Account ( ) Ether EVM EVM B 2024 — 4 — 2024-10-28 – p.11/58

Slide 12

Slide 12 text

EVM : Ethereum Virtual Machine ঢ়ଶ ֎෦ΞΫλʔ ΞΧ΢ϯτ &7. ίʔυ &UIFSˠ(BT ىಈ ίϯτϥΫτ ϝοηʔδ͔ɺ৽͍ࣗ͠ಈΦϒδΣΫτ ΞΧ΢ϯτؒͰ΍ΓऔΓ͞ΕΔσʔλ΍&UIFS ετϨʔδ ঢ়ଶ` τϥϯβΫγϣϯ ηοτ σδλϧॺ໊ &7. ਓؒͱ͔ ࣗಈ ΦϒδΣΫτ Gas ( ( )) . . . B 2024 — 4 — 2024-10-28 – p.12/58

Slide 13

Slide 13 text

EVM : : ← : Solidity — JavaScript LLL — Lisp Vyper — Python Fe — Vyper Rust ← NEW! Solidity Vyper Python B 2024 — 4 — 2024-10-28 – p.13/58

Slide 14

Slide 14 text

Solidity ( ) pragma solidityˆ0.7.0; contract IndivisibleAsset { /* */ string public _name; string public _symbol; uint256 public _quantity; address public _owner; constructor(string memory name, string memory symbol, uint256 quantity) public { _name = name; _symbol = symbol; _quantity = quantity; _owner = msg.sender; } function transfer(address to) public returns (bool) { require (_owner == msg.sender); _owner = to; return true; } } B 2024 — 4 — 2024-10-28 – p.14/58

Slide 15

Slide 15 text

( , ) (constructor) (deploy) = ( ) ( ) ETH Trusted Actor Model B 2024 — 4 — 2024-10-28 – p.15/58

Slide 16

Slide 16 text

Ethereum B 2024 — 4 — 2024-10-28 – p.16/58

Slide 17

Slide 17 text

(1) : ERC20 $ brownie bake token B 2024 — 4 — 2024-10-28 – p.17/58

Slide 18

Slide 18 text

pragma solidity ˆ0.6.0; /* 0.8.x */ contract Token { ( ) : (EVM ) : constructor (...) public { /* */ : } function balanceOf(...) { /* ( ) */ : } : } constructor C (/* */ // ) B 2024 — 4 — 2024-10-28 – p.18/58

Slide 19

Slide 19 text

ERC-20 ERC (Ethereum Request for Comments) 20 https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md (EIP: Ethereum Improvement Proposal) ← EIP ( ) contract ERC20 { function totalSupply() constant returns (uint totalSupply); function balanceOf(address _owner) constant returns (uint balance); function transfer(address _to, uint _value) returns (bool success); function transferFrom(address _from, address _to, uint _value) returns (bool success); function approve(address _spender, uint _value) returns (bool success); function allowance(address _owner, address _spender) constant returns (uint remaining); event Transfer(address indexed _from, address indexed _to, uint _value); event Approval(address indexed _owner, address indexed _spender, uint _value); } name/ , symbol/ , decimals/ approve allowance ERC-777 ( ) B 2024 — 4 — 2024-10-28 – p.19/58

Slide 20

Slide 20 text

ERC20 ERC20 ( ) ⇒ ERC20 ( ERC20 ) ERC20 ⇒ B 2024 — 4 — 2024-10-28 – p.20/58

Slide 21

Slide 21 text

(fungible) ERC-20 → ERC-223 (draft) or ERC-777 ( )( ) (non-fungible) ERC-721 ( ) ERC-1155 ( ) ERC-3525 (SLOT ) B 2024 — 4 — 2024-10-28 – p.21/58

Slide 22

Slide 22 text

Token ( ) string public symbol; string public name; uint256 public decimals; uint256 public totalSupply; mapping(address => uint256) balances; . . . name, symbol decimals : 2 100 1.00 mapping balances B 2024 — 4 — 2024-10-28 – p.22/58

Slide 23

Slide 23 text

Token ( ) event Transfer(address from, address to, uint256 value); Token function emit Transfer() ( ) B 2024 — 4 — 2024-10-28 – p.23/58

Slide 24

Slide 24 text

Token ( ) constructor( string memory _symbol, string memory _name, uint256 _decimals, uint256 _totalSupply ) public { symbol = _symbol; name = _name; decimals = _decimals; totalSupply = _totalSupply; balances[msg.sender] = _totalSupply; } msg.sender _totalSupply B 2024 — 4 — 2024-10-28 – p.24/58

Slide 25

Slide 25 text

Token balanceOf() function balanceOf(address _owner) public view returns (uint256) { return balances[_owner]; } B 2024 — 4 — 2024-10-28 – p.25/58

Slide 26

Slide 26 text

Token transfer() function transfer(address _to, uint256 _value) public returns (bool) { balances[msg.sender] = balances[msg.sender].sub(_value); balances[_to] = balances[_to].add(_value); emit Transfer(msg.sender, _to, _value); return true; } ( ↑ ) OpenZeppelin https://openzeppelin.org B 2024 — 4 — 2024-10-28 – p.26/58

Slide 27

Slide 27 text

(2) : B 2024 — 4 — 2024-10-28 – p.27/58

Slide 28

Slide 28 text

GitHub git clone $ git clone https://github.com/ks91/sample-smart-contracts.git sample-smart-contracts contracts, scripts tests token Token Solidity 0.5 0.6/0.7 (Token ) Solidity B 2024 — 4 — 2024-10-28 – p.28/58

Slide 29

Slide 29 text

(m2 ) 1 1 B 2024 — 4 — 2024-10-28 – p.29/58

Slide 30

Slide 30 text

IndivisibleAsset string public _name_; string public _symbol_; uint256 public _quantity_; address public _owner_; _name_ ( ) _symbol_ _quantity_ (m2 ) _owner_ ‘_’ Solidity . . . B 2024 — 4 — 2024-10-28 – p.30/58

Slide 31

Slide 31 text

IndivisibleAsset event Transfer(address indexed from, address indexed to); from to indexed B 2024 — 4 — 2024-10-28 – p.31/58

Slide 32

Slide 32 text

IndivisibleAsset constructor (string name, string symbol, uint256 quantity) public { _name_ = name; _symbol_ = symbol; _quantity_ = quantity; _owner_ = msg.sender; } B 2024 — 4 — 2024-10-28 – p.32/58

Slide 33

Slide 33 text

IndivisibleAsset getOwner() function getOwner() public view returns (address) { return (_owner_); } B 2024 — 4 — 2024-10-28 – p.33/58

Slide 34

Slide 34 text

IndivisibleAsset transfer() function transfer(address to) public returns (bool) { require(_owner_ == msg.sender); _owner_ = to; emit Transfer(msg.sender, to); return true; } require (function ) ( ) $ brownie compile B 2024 — 4 — 2024-10-28 – p.34/58

Slide 35

Slide 35 text

scripts/indivisible asset.py from brownie import * def main(): accounts[0].deploy(IndivisibleAsset, "5322 Endo, Fujisawa", "mˆ2", 300) SFC (300m2 ) ( ) B 2024 — 4 — 2024-10-28 – p.35/58

Slide 36

Slide 36 text

from brownie import * import pytest def test_owner_and_transfer(IndivisibleAsset): asset = accounts[0].deploy(IndivisibleAsset, "5322 Endo", "mˆ2", 300) assert asset.getOwner() == accounts[0] asset.transfer(accounts[1], {’from’: accounts[0]}) assert asset.getOwner() == accounts[1] try: asset.transfer(accounts[0], {’from’: accounts[0]}) done = 1 except: done = 0 assert done == 0 accounts[0] accounts[1] B 2024 — 4 — 2024-10-28 – p.36/58

Slide 37

Slide 37 text

$ pytest tests/test_indivisible_asset.py B 2024 — 4 — 2024-10-28 – p.37/58

Slide 38

Slide 38 text

(3) : B 2024 — 4 — 2024-10-28 – p.38/58

Slide 39

Slide 39 text

transfer settle, retrieve asset, retrieve token 3 B 2024 — 4 — 2024-10-28 – p.39/58

Slide 40

Slide 40 text

1. ( ) 2. ( ) 3. ( ) B 2024 — 4 — 2024-10-28 – p.40/58

Slide 41

Slide 41 text

OneTimeEscrow settle() function settle() public returns (bool) { require(_token_.balanceOf(address(this)) >= _price_); /* this */ require(_asset_.getOwner() == address(this)); _token_.transfer(_seller_ , _price_); _asset_.transfer(_buyer_); emit Settled(); /* */ return true; } settle() transfer ( / ) $ brownie compile B 2024 — 4 — 2024-10-28 – p.41/58

Slide 42

Slide 42 text

(1) from brownie import * import pytest def test_deploy_and_settle(Token, IndivisibleAsset, OneTimeEscrow): asset = accounts[0].deploy(IndivisibleAsset, "5322 Endo", "mˆ2", 300) token = accounts[0].deploy(Token, "Test Token", "TEST", 18, "1000 ether") B 2024 — 4 — 2024-10-28 – p.42/58

Slide 43

Slide 43 text

(2) token.transfer(accounts[1], 300, {’from’: accounts[0]}) escrow = accounts[0].deploy(OneTimeEscrow, token, accounts[1], asset, accounts[0], 300) accounts[0] accounts[1] 300 300 TX accounts[1] accounts[0] 300 bake Token 300 ETH wei B 2024 — 4 — 2024-10-28 – p.43/58

Slide 44

Slide 44 text

(3) token.transfer(escrow, 300, {’from’: accounts[1]}) asset.transfer(escrow, {’from’: accounts[0]}) assert token.balanceOf(accounts[0]) == 999999999999999999700 assert token.balanceOf(accounts[1]) == 0 assert token.balanceOf(escrow) == 300 assert asset.getOwner() == escrow accounts[1] ( ) 300 accounts[0] ( ) B 2024 — 4 — 2024-10-28 – p.44/58

Slide 45

Slide 45 text

(4) escrow.settle({’from’: accounts[0]}) assert token.balanceOf(accounts[0]) == 1000000000000000000000 assert token.balanceOf(accounts[1]) == 0 assert token.balanceOf(escrow) == 0 assert asset.getOwner() == accounts[1] settle() accounts[0] OK B 2024 — 4 — 2024-10-28 – p.45/58

Slide 46

Slide 46 text

$ pytest tests/test_one_time_escrow.py : settle() ⇒ Discord B 2024 — 4 — 2024-10-28 – p.46/58

Slide 47

Slide 47 text

B 2024 — 4 — 2024-10-28 – p.47/58

Slide 48

Slide 48 text

1. (1) (2) Ethereum 2024 10 26 ( ) 23:59 JST B 2024 — 4 — 2024-10-28 – p.48/58

Slide 49

Slide 49 text

. . . . . . 3 2 ( ) ( ) ( ) B 2024 — 4 — 2024-10-28 – p.49/58

Slide 50

Slide 50 text

N SFC ⇒ ( ) ( ) B 2024 — 4 — 2024-10-28 – p.50/58

Slide 51

Slide 51 text

L Ethereum ⇒ B 2024 — 4 — 2024-10-28 – p.51/58

Slide 52

Slide 52 text

⇒ 20 Discord . . . B 2024 — 4 — 2024-10-28 – p.52/58

Slide 53

Slide 53 text

Web3 Web3 HTTPS B 2024 — 4 — 2024-10-28 – p.53/58

Slide 54

Slide 54 text

B 2024 — 4 — 2024-10-28 – p.54/58

Slide 55

Slide 55 text

miro ( ) ( ) B 2024 — 4 — 2024-10-28 – p.55/58

Slide 56

Slide 56 text

B 2024 — 4 — 2024-10-28 – p.56/58

Slide 57

Slide 57 text

2. API (1) ( ) (2) Web API 2024 11 2 ( ) 23:59 JST B 2024 — 4 — 2024-10-28 – p.57/58

Slide 58

Slide 58 text

B 2024 — 4 — 2024-10-28 – p.58/58