Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
サービスデザインプロジェクトB 第3回「スマートコントラクトプログラミング」 / Smart ...
Search
Kenji Saito
PRO
October 26, 2020
Technology
1
100
サービスデザインプロジェクトB 第3回「スマートコントラクトプログラミング」 / Smart Contract Programming
2020年10月26日、慶應義塾大学大学院メディアデザイン研究科の「サービスデザインプロジェクトB (2020 秋)」第3回にて使用したスライドです。
Kenji Saito
PRO
October 26, 2020
Tweet
Share
More Decks by Kenji Saito
See All by Kenji Saito
デジタルトランスフォーメーションと民主主義 / Digital Transformation and Democracy
ks91
PRO
0
6
We Never Took the Kobayashi Maru Test Until Now. What Do You Think of Our Solutions? — Journeys of the Mind Through a No-Win Game
ks91
PRO
0
19
思いつきが武器になる:研究というゲームを始めよう / Ideas Are Your Equipments : Let the Game of Research Begin!
ks91
PRO
0
75
ロボットを雰囲気(ヴァイブ)でプログラミングするこどもたち / Children Vibe-Programming Robots
ks91
PRO
0
23
アカデミーキャンプ 2025 SuuuuuuMMeR「燃えろ!!ロボコン」 / Academy Camp 2025 SuuuuuuMMeR "Burn the Spirit, Robocon!!" DAY 3
ks91
PRO
0
31
アカデミーキャンプ 2025 SuuuuuuMMeR「燃えろ!!ロボコン」 / Academy Camp 2025 SuuuuuuMMeR "Burn the Spirit, Robocon!!" DAY 2
ks91
PRO
0
35
アカデミーキャンプ 2025 SuuuuuuMMeR「燃えろ!!ロボコン」 / Academy Camp 2025 SuuuuuuMMeR "Burn the Spirit, Robocon!!" DAY 1
ks91
PRO
0
160
未来へのフォワードキャスト / Forward Cast to the Future
ks91
PRO
0
88
発表と総括 / Presentations and Summary
ks91
PRO
0
62
Other Decks in Technology
See All in Technology
IoT x エッジAI - リアルタイ ムAI活用のPoCを今すぐ始め る方法 -
niizawat
0
110
会社紹介資料 / Sansan Company Profile
sansan33
PRO
6
380k
S3アクセス制御の設計ポイント
tommy0124
3
200
人工衛星のファームウェアをRustで書く理由
koba789
15
8.2k
データ分析エージェント Socrates の育て方
na0
6
2k
DroidKaigi 2025 Androidエンジニアとしてのキャリア
mhidaka
2
380
要件定義・デザインフェーズでもAIを活用して、コミュニケーションの密度を高める
kazukihayase
0
120
品質視点から考える組織デザイン/Organizational Design from Quality
mii3king
0
210
COVESA VSSによる車両データモデルの標準化とAWS IoT FleetWiseの活用
osawa
1
380
ブロックテーマ時代における、テーマの CSS について考える Toro_Unit / 2025.09.13 @ Shinshu WordPress Meetup
torounit
0
130
テストを軸にした生き残り術
kworkdev
PRO
0
210
これでもう迷わない!Jetpack Composeの書き方実践ガイド
zozotech
PRO
0
1.1k
Featured
See All Featured
A designer walks into a library…
pauljervisheath
207
24k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
8
920
Statistics for Hackers
jakevdp
799
220k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
162
15k
Java REST API Framework Comparison - PWX 2021
mraible
33
8.8k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
stephaniewalter
285
14k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
131
19k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
32
1.6k
Why Our Code Smells
bkeepers
PRO
339
57k
Into the Great Unknown - MozCon
thekraken
40
2k
The Pragmatic Product Professional
lauravandoore
36
6.9k
Transcript
B 2020 3 ( ) B 2020 — 3 —
2020-10-26 – p.1/62
https://speakerdeck.com/ks91 Discord Discord ( / / ) Zoom URL (
) B 2020 — 3 — 2020-10-26 – p.2/62
( ) 1 10 12 • 2 10 19 •
3 10 26 • 4 11 2 5 11 9 1 6 11 16 2 7 11 30 8 12 7 B 2020 — 3 — 2020-10-26 – p.3/62
– : Ethereum – ( ) Ethereum (1) : ERC20
(2) : (3) : B 2020 — 3 — 2020-10-26 – p.4/62
– : Ethereum macOS (Catalina 10.15.7) + Homebrew Homebrew Linux
(Ubuntu 18.04) Windows 10 + Windows Subsystem for Linux (Ubuntu 18.04 ) WSL Ethereum solidity brownie B 2020 — 3 — 2020-10-26 – p.5/62
Solidity Ethereum http://solidity.readthedocs.io/en/latest/installing-solidity.html Linux (on Windows) “sudo apt”, macOS “brew”
solc 0.7.3 (10/10 ) $ solc --version brownie py-solc-x solc (dependencies) ( solc py-solc-x ) B 2020 — 3 — 2020-10-26 – p.6/62
Python3 macOS $ brew install python3 Linux $ sudo add-apt-repository
ppa:deadsnakes/ppa $ sudo apt update $ sudo apt install python3.8 python3.8-dev python3.8-venv python3.8-tk 16.10 python3(.8) apt B 2020 — 3 — 2020-10-26 – p.7/62
macOS : . . . macOS wget brew dyld: Library
not loaded: /usr/local/opt/gettext/lib/libintl.8.dylib $ brew uninstall --force gettext $ brew install gettext B 2020 — 3 — 2020-10-26 – p.8/62
Python (venv) macOS ‘python3.8’ ‘python3’ $ python3.8 -m venv bbc1env
$ source bbc1env/bin/activate (bbc1env) $ pip install -U pip (bbc1env) $ pip install wheel bbc1env ( BBc-1 ) ( ) (bbc1env) $ deactivate B 2020 — 3 — 2020-10-26 – p.9/62
Ganache CLI Ethereum RPC CLI : Command Line Interface npm
( ) macOS https://qiita.com/kyosuke5_20/items/c5f68fc9d89b84c0df09 Linux https://qiita.com/seibe/items/36cef7df85fe2cefa3ea npm Ganache CLI $ sudo npm install -g ganache-cli B 2020 — 3 — 2020-10-26 – p.10/62
Brownie Python Ethereum https://eth-brownie.readthedocs.io Brownie $ pip install eth-brownie version
1.11.8 (10/10 ) B 2020 — 3 — 2020-10-26 – p.11/62
$ brownie init ( ERC-20 ) $ brownie bake token
$ cd token ( ) $ brownie compile ( ) $ pytest tests B 2020 — 3 — 2020-10-26 – p.12/62
Brownie $ brownie console Python >>> len(accounts) 10 >>> accounts[0].balance()
100000000000000000000 >>> quit() B 2020 — 3 — 2020-10-26 – p.13/62
– ( ) Ethereum ropsten B 2020 — 3 —
2020-10-26 – p.14/62
infura.io Brownie https://infura.io SIGN UP PROJECT ID infura Ethereum API
infura . . . infura.io PROJECT ID WEB3_INFURA_PROJECT_ID PROJECT ID (∼/.bash_profile ) $ export WEB3_INFURA_PROJECT_ID= PROJECT ID B 2020 — 3 — 2020-10-26 – p.15/62
ropsten ETH brownie console ropsten >>> network.disconnect() >>> network.connect(’ropsten’) >>>
len(accounts) 0 >>> accounts.add() <LocalAccount object ’ 16 ’> >>> accounts[0].private_key 16 >>> quit() Ropsten Testnet ETH Faucet 5.0ETH https://faucet.dimensions.network/ ( ) https://metamask.io/ B 2020 — 3 — 2020-10-26 – p.16/62
ropsten ETH brownie console ropsten ETH >>> network.disconnect() >>> network.connect(’ropsten’)
>>> len(accounts) 0 >>> accounts.add( 16 ) <LocalAccount object ’ 16 ’> >>> accounts[0].balace() ETH >>> quit() ETH >>> accounts[0].transfer(accounts[1], "1 ether") B 2020 — 3 — 2020-10-26 – p.17/62
Ethereum B 2020 — 3 — 2020-10-26 – p.18/62
Ethereum Vitalik Buterin, “Ethereum White Paper: A NEXT GENERATION SMART
CONTRACT & DECENTRALIZED APPLICATION PLATFORM” 15 (= ) = ⇒ → Dapps ( / / ) B 2020 — 3 — 2020-10-26 – p.19/62
B 2020 — 3 — 2020-10-26 – p.20/62
. . . B 2020 — 3 — 2020-10-26 –
p.21/62
vs. B 2020 — 3 — 2020-10-26 – p.22/62
= run B 2020 — 3 — 2020-10-26 – p.23/62
Ether Ethereum EOA : Externally-Owned Account ( ) Ether EVM
EVM B 2020 — 3 — 2020-10-26 – p.24/62
EVM : Ethereum Virtual Machine (validator) ⇒ Gas B 2020
— 3 — 2020-10-26 – p.25/62
EVM : : ← : Solidity — JavaScript LLL —
Lisp Vyper — Python Fe — Vyper Rust ← NEW! Solidity Vyper Python B 2020 — 3 — 2020-10-26 – p.26/62
Solidity ( ) pragma solidityˆ0.5.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 2020 — 3 — 2020-10-26 – p.27/62
Ethereum B 2020 — 3 — 2020-10-26 – p.28/62
(1) : ERC20 $ brownie bake token B 2020 —
3 — 2020-10-26 – p.29/62
Solidity JavaScript ( , ) (constructor) ( ) ( )
Ether Ethereum B 2020 — 3 — 2020-10-26 – p.30/62
pragma solidity ˆ0.5.0; contract Token { ( ) : (EVM
) : constructor (...) public { /* */ : } function balanceOf(...) { /* ( ) */ : } : } constructor C (/* */ // ) B 2020 — 3 — 2020-10-26 – p.31/62
ERC20 ERC (Ethereum Request for Comment) 20 https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md 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 ERC223 ( ), ERC721 (Non-Fungible) B 2020 — 3 — 2020-10-26 – p.32/62
ERC20 ERC20 ( ) ⇒ ERC20 ( ERC20 ) ERC20
⇒ B 2020 — 3 — 2020-10-26 – p.33/62
(fungible) ERC20 → ERC223 (draft) or ERC777 (non-fungible) ERC721 (
) (partially fungible) ERC1410 (draft) (ERC1400 ) B 2020 — 3 — 2020-10-26 – p.34/62
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 2020 — 3 — 2020-10-26 – p.35/62
Token ( ) event Transfer(address from, address to, uint256 value);
Token function emit Transfer() ( ) B 2020 — 3 — 2020-10-26 – p.36/62
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 2020 — 3 — 2020-10-26 – p.37/62
Token balanceOf() function balanceOf(address _owner) public view returns (uint256) {
return balances[_owner]; } B 2020 — 3 — 2020-10-26 – p.38/62
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 2020 — 3 — 2020-10-26 – p.39/62
(2) : B 2020 — 3 — 2020-10-26 – p.40/62
GitHub git clone $ git clone https://github.com/ks91/sample-smart-contracts.git sample-smart-contracts contracts, scripts
tests token Token B 2020 — 3 — 2020-10-26 – p.41/62
(m2 ) 1 1 B 2020 — 3 — 2020-10-26
– p.42/62
IndivisibleAsset string public _name_; string public _symbol_; uint256 public _quantity_;
address public _owner_; _name_ ( ) _symbol_ _quantity_ (m2 ) _owner_ ‘_’ Solidity . . . B 2020 — 3 — 2020-10-26 – p.43/62
IndivisibleAsset event Transfer(address indexed from, address indexed to); from to
indexed B 2020 — 3 — 2020-10-26 – p.44/62
IndivisibleAsset constructor (string name, string symbol, uint256 quantity) public {
_name_ = name; _symbol_ = symbol; _quantity_ = quantity; _owner_ = msg.sender; } B 2020 — 3 — 2020-10-26 – p.45/62
IndivisibleAsset getOwner() function getOwner() public view returns (address) { return
(_owner_); } B 2020 — 3 — 2020-10-26 – p.46/62
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 token Solidity 0.6.0 0.5.0 token B 2020 — 3 — 2020-10-26 – p.47/62
scripts/indivisible asset.py from brownie import * def main(): accounts[0].deploy(IndivisibleAsset, "5322
Endo, Fujisawa", "mˆ2", 300) SFC (300m2 ) ( ) B 2020 — 3 — 2020-10-26 – p.48/62
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 2020 — 3 — 2020-10-26 – p.49/62
$ pytest tests/test_indivisible_asset.py B 2020 — 3 — 2020-10-26 –
p.50/62
(3) : B 2020 — 3 — 2020-10-26 – p.51/62
transfer settle, retrieve asset, retrieve token 3 B 2020 —
3 — 2020-10-26 – p.52/62
1. ( ) 2. ( ) 3. ( ) B
2020 — 3 — 2020-10-26 – p.53/62
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 2020 — 3 — 2020-10-26 – p.54/62
(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 2020 — 3 — 2020-10-26 – p.55/62
(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 2020 — 3 — 2020-10-26 – p.56/62
(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 2020 — 3 — 2020-10-26 – p.57/62
(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 2020 — 3 — 2020-10-26 – p.58/62
$ pytest tests/test_one_time_escrow.py : settle() ⇒ Discord B 2020 —
3 — 2020-10-26 – p.59/62
B 2020 — 3 — 2020-10-26 – p.60/62
1. (1) (2) Ethereum 1 2 2020 10 31 (
) 23:59 JST B 2020 — 3 — 2020-10-26 – p.61/62
B 2020 — 3 — 2020-10-26 – p.62/62