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
スマートコントラクトプログラミング / Smart Contract Programming
Search
Kenji Saito
PRO
October 20, 2024
Technology
0
49
スマートコントラクトプログラミング / Smart Contract Programming
慶應義塾大学大学院メディアデザイン研究科「サービスデザインプロジェクトB」2024秋 第3回にて使用したスライドです。
Kenji Saito
PRO
October 20, 2024
Tweet
Share
More Decks by Kenji Saito
See All by Kenji Saito
シン・ブロックチェーン / Truth of Blockchain
ks91
PRO
0
55
パスワード/パスフレーズと認証 / Password, Passphrase and Authentication
ks91
PRO
0
25
git と GitHub / git and GitHub
ks91
PRO
0
27
ソフトウェアの開発と保守 / Software Development and Maintenance
ks91
PRO
0
36
インターネットの特徴 / Features of the Internet
ks91
PRO
0
20
インターネットのガバナンス / Governance of the Internet
ks91
PRO
0
22
暗号学的ハッシュ関数 / Cryptographic Hash Function
ks91
PRO
0
27
デジタル署名 / Digital Signature
ks91
PRO
0
22
Web3 のリアリティ / Web3 Reality
ks91
PRO
0
110
Other Decks in Technology
See All in Technology
QAはソフトウェアエンジニアリングを学んで実践するのが大事なの
ymty
1
480
OTFSG勉強会 / Introduction to the History of Delta Lake + Iceberg
databricksjapan
0
100
マルチテナント+マルチプロダクト SaaS への AI Agent の組み込み方
kworkdev
PRO
2
390
Agentic DevOps時代の生存戦略
kkamegawa
0
600
2025/6/21 日本学術会議公開シンポジウム発表資料
keisuke198619
2
430
25分で解説する「最小権限の原則」を実現するための AWS「ポリシー」大全
opelab
3
250
堅牢な認証基盤の実現 TypeScriptで代数的データ型を活用する
kakehashi
PRO
2
240
DroidKnights 2025 - Jetpack XR 살펴보기: XR 개발은 어떻게 이루어지는가?
heesung6701
1
150
20250623 Findy Lunch LT Brown
3150
0
620
原則から考える保守しやすいComposable関数設計
moriatsushi
3
480
ユーザーのプロフィールデータを活用した推薦精度向上の取り組み
yudai00
0
430
上長や社内ステークホルダーに対する解像度を上げて、より良い補完関係を築く方法 / How-to-increase-resolution-and-build-better-complementary-relationships-with-your-bosses-and-internal-stakeholders
madoxten
13
7.9k
Featured
See All Featured
For a Future-Friendly Web
brad_frost
179
9.8k
Designing for Performance
lara
609
69k
Why You Should Never Use an ORM
jnunemaker
PRO
56
9.4k
Reflections from 52 weeks, 52 projects
jeffersonlam
351
20k
Adopting Sorbet at Scale
ufuk
77
9.4k
[RailsConf 2023] Rails as a piece of cake
palkan
55
5.6k
What's in a price? How to price your products and services
michaelherold
245
12k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
20
1.3k
Bash Introduction
62gerente
614
210k
Balancing Empowerment & Direction
lara
1
310
Agile that works and the tools we love
rasmusluckow
329
21k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
657
60k
Transcript
Generated by Stable Diffusion XL v1.0 B 2024 3 (
) B 2024 — 3 — 2024-10-21 – p.1/67
https://speakerdeck.com/ks91/collections/service-design-project-b-2024-fall ( ) ( ) Discord Discord ( / /
) Zoom URL ( ) B 2024 — 3 — 2024-10-21 – p.2/67
( ) 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 ( ) Discord B 2024 — 3 — 2024-10-21 – p.3/67
1. Ethereum 2. ( ) 3. Ethereum (1) : ERC20
(2) : (3) : B 2024 — 3 — 2024-10-21 – p.4/67
1. Ethereum macOS (Sonoma 14.7) + Homebrew Linux (Ubuntu 24.04)
(x86/AMD64 and ARM) Windows 11 + Windows Subsystem for Linux (Ubuntu ) Ethereum solidity brownie Lima on macOS B 2024 — 3 — 2024-10-21 – p.5/67
macOS : Homebrew (Apple macOS ) UNIX macOS Lima Homebrew
brew Apple brew ( ) brew Rosetta brew brew https://github.com/homebrew/install Path : https://zenn.dev/tet0h/articles/a92651d52bd82460aefb $ which brew /opt/homebrew/bin/brew B 2024 — 3 — 2024-10-21 – p.6/67
macOS : Rosetta 2 Apple x86/AMD64 ( ) $ softwareupdate
--install-rosetta lima Rosetta 2 lima B 2024 — 3 — 2024-10-21 – p.7/67
macOS : Lima macOS Linux ( ) https://github.com/lima-vm/lima QEMU (
) Rosetta 2 Apple x86/AMD64 brew $ brew install lima Ubuntu 24.04 (x86/AMD64) “kmd.yaml” ( “kmd.yaml” ) $ limactl start kmd.yaml B 2024 — 3 — 2024-10-21 – p.8/67
macOS : Lima Linux (Ubuntu) x86_64 $ limactl list Linux
(exit ) $ limactl shell kmd Linux limactl list STATUS Stopped limactl start kmd “.lima” diffdisk 100GB B 2024 — 3 — 2024-10-21 – p.9/67
Solidity Ethereum ( ) http://solidity.readthedocs.io/en/latest/installing-solidity.html Linux (on Windows) “sudo apt”,
macOS “brew” Linux ARM git clone dependencies solc 0.8.27 (10/5 ) $ solc --version brownie py-solc-x solc (dependencies) ( solc py-solc-x ) B 2024 — 3 — 2024-10-21 – p.10/67
Ganache Ethereum RPC npm ( ) macOS https://qiita.com/kyosuke5_20/items/c5f68fc9d89b84c0df09 Linux https://qiita.com/seibe/items/36cef7df85fe2cefa3ea
npm Ganache $ sudo npm install -g ganache B 2024 — 3 — 2024-10-21 – p.11/67
Python3 macOS $ brew install python3 Python 3.8 Homebrew $
brew uninstall --ignore-dependencies
[email protected]
$ brew install
[email protected]
/usr/local/opt/
[email protected]
/bin/python3 Linux ( python3.12.3 OK) $ sudo apt update $ sudo apt install python3-dev python3-venv python3-tk 16.10 python3(.8) apt (PPA ) python3 python3-dev python3-venv python3-tk B 2024 — 3 — 2024-10-21 – p.12/67
macOS : . . . macOS wget brew dyld: Library
not loaded: /usr/local/opt/gettext/lib/libintl.8.dylib $ brew uninstall --force gettext $ brew install gettext B 2024 — 3 — 2024-10-21 – p.13/67
Python (venv) macOS (Linux python3 ) OK Python $ python3
-m venv bbc2env $ source bbc2env/bin/activate (bbc2env) $ pip install -U pip bbc2env ( BBc-2 ) ( ) (bbc2env) $ deactivate B 2024 — 3 — 2024-10-21 – p.14/67
Brownie Python Ethereum https://eth-brownie.readthedocs.io Brownie $ pip install eth-brownie version
1.20.6 (10/5 ) B 2024 — 3 — 2024-10-21 – p.15/67
$ brownie init ( ERC-20 ) $ brownie bake token
$ cd token B 2024 — 3 — 2024-10-21 – p.16/67
contracts (macOS Linux (x86/AMD64) ) $ brownie compile Linux (ARM)
(AMD64 ) $ python # >>> import solcx >>> solcx.compile_solc(’0.6.12’) # >>> quit() /tmp ∼/.solcx/solc-v0.6.12 ( ) $ pytest tests B 2024 — 3 — 2024-10-21 – p.17/67
Brownie $ brownie console Python >>> len(accounts) 10 >>> accounts[0].balance()
100000000000000000000 >>> quit() B 2024 — 3 — 2024-10-21 – p.18/67
2. ( ) Ethereum Sepolia B 2024 — 3 —
2024-10-21 – p.19/67
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 2024 — 3 — 2024-10-21 – p.20/67
Sepolia ETH brownie console Sepolia >>> network.disconnect() >>> network.connect(’sepolia’) >>>
len(accounts) 0 >>> accounts.add() <LocalAccount object ’ 16 ’> >>> accounts[0].private_key 16 >>> quit() Sepolia Testnet ETH Faucet ETH https://sepoliafaucet.com ( ) ( ) Sepolia ETH 0.001 ETH 0.05 Sepolia ETH B 2024 — 3 — 2024-10-21 – p.21/67
Sepolia ETH brownie console Sepolia ETH >>> network.disconnect() >>> network.connect(’sepolia’)
>>> len(accounts) 0 >>> accounts.add( 16 ) <LocalAccount object ’ 16 ’> >>> accounts[0].balace() ETH >>> quit() ETH >>> accounts[0].transfer(accounts[1], "0.01 ether") B 2024 — 3 — 2024-10-21 – p.22/67
3. Ethereum B 2024 — 3 — 2024-10-21 – p.23/67
Ethereum Vitalik Buterin, “Ethereum White Paper: A NEXT GENERATION SMART
CONTRACT & DECENTRALIZED APPLICATION PLATFORM” 12 (= ) = ⇒ → Dapps ( / / ) B 2024 — 3 — 2024-10-21 – p.24/67
( ) B 2024 — 3 — 2024-10-21 – p.25/67
. . . B 2024 — 3 — 2024-10-21 –
p.26/67
vs. B 2024 — 3 — 2024-10-21 – p.27/67
= run B 2024 — 3 — 2024-10-21 – p.28/67
Ether Ethereum EOA : Externally-Owned Account ( ) Ether EVM
EVM B 2024 — 3 — 2024-10-21 – p.29/67
EVM : Ethereum Virtual Machine ঢ়ଶ ֎෦ΞΫλʔ ΞΧϯτ &7. ίʔυ
&UIFSˠ(BT ىಈ ίϯτϥΫτ ϝοηʔδ͔ɺ৽͍ࣗ͠ಈΦϒδΣΫτ ΞΧϯτؒͰΓऔΓ͞ΕΔσʔλ&UIFS ετϨʔδ ঢ়ଶ` τϥϯβΫγϣϯ ηοτ σδλϧॺ໊ &7. ਓؒͱ͔ ࣗಈ ΦϒδΣΫτ Gas ( EVM = ( burn)) . . . B 2024 — 3 — 2024-10-21 – p.30/67
EVM : : ← : Solidity — JavaScript LLL —
Lisp Vyper — Python Fe — Vyper Rust ← NEW! Solidity Vyper Python B 2024 — 3 — 2024-10-21 – p.31/67
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 — 3 — 2024-10-21 – p.32/67
( , ) (constructor) (deploy) = ( ) ( )
ETH Trusted Actor Model B 2024 — 3 — 2024-10-21 – p.33/67
Ethereum B 2024 — 3 — 2024-10-21 – p.34/67
(1) : ERC20 $ brownie bake token B 2024 —
3 — 2024-10-21 – p.35/67
pragma solidity ˆ0.6.0; /* 0.8.x */ contract Token { (
) : (EVM ) : constructor (...) public { /* */ : } function balanceOf(...) { /* ( ) */ : } : } constructor C (/* */ // ) B 2024 — 3 — 2024-10-21 – p.36/67
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 — 3 — 2024-10-21 – p.37/67
ERC20 ERC20 ( ) ⇒ ERC20 ( ERC20 ) ERC20
⇒ B 2024 — 3 — 2024-10-21 – p.38/67
(fungible) ERC-20 → ERC-223 (draft) or ERC-777 ( )( )
(non-fungible) ERC-721 ( ) ERC-1155 ( ) ERC-3525 (SLOT ) B 2024 — 3 — 2024-10-21 – p.39/67
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 — 3 — 2024-10-21 – p.40/67
Token ( ) event Transfer(address from, address to, uint256 value);
Token function emit Transfer() ( ) B 2024 — 3 — 2024-10-21 – p.41/67
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 — 3 — 2024-10-21 – p.42/67
Token balanceOf() function balanceOf(address _owner) public view returns (uint256) {
return balances[_owner]; } B 2024 — 3 — 2024-10-21 – p.43/67
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 — 3 — 2024-10-21 – p.44/67
(2) : B 2024 — 3 — 2024-10-21 – p.45/67
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 — 3 — 2024-10-21 – p.46/67
(m2 ) 1 1 B 2024 — 3 — 2024-10-21
– p.47/67
IndivisibleAsset string public _name_; string public _symbol_; uint256 public _quantity_;
address public _owner_; _name_ ( ) _symbol_ _quantity_ (m2 ) _owner_ ‘_’ Solidity . . . B 2024 — 3 — 2024-10-21 – p.48/67
IndivisibleAsset event Transfer(address indexed from, address indexed to); from to
indexed B 2024 — 3 — 2024-10-21 – p.49/67
IndivisibleAsset constructor (string name, string symbol, uint256 quantity) public {
_name_ = name; _symbol_ = symbol; _quantity_ = quantity; _owner_ = msg.sender; } B 2024 — 3 — 2024-10-21 – p.50/67
IndivisibleAsset getOwner() function getOwner() public view returns (address) { return
(_owner_); } B 2024 — 3 — 2024-10-21 – p.51/67
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 — 3 — 2024-10-21 – p.52/67
scripts/indivisible asset.py from brownie import * def main(): accounts[0].deploy(IndivisibleAsset, "5322
Endo, Fujisawa", "mˆ2", 300) SFC (300m2 ) ( ) B 2024 — 3 — 2024-10-21 – p.53/67
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 — 3 — 2024-10-21 – p.54/67
$ pytest tests/test_indivisible_asset.py B 2024 — 3 — 2024-10-21 –
p.55/67
(3) : B 2024 — 3 — 2024-10-21 – p.56/67
transfer settle, retrieve asset, retrieve token 3 B 2024 —
3 — 2024-10-21 – p.57/67
1. ( ) 2. ( ) 3. ( ) B
2024 — 3 — 2024-10-21 – p.58/67
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 — 3 — 2024-10-21 – p.59/67
(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 — 3 — 2024-10-21 – p.60/67
(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 — 3 — 2024-10-21 – p.61/67
(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 — 3 — 2024-10-21 – p.62/67
(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 — 3 — 2024-10-21 – p.63/67
$ pytest tests/test_one_time_escrow.py : settle() ⇒ Discord B 2024 —
3 — 2024-10-21 – p.64/67
B 2024 — 3 — 2024-10-21 – p.65/67
1. (1) (2) Ethereum 2024 10 26 ( ) 23:59
JST B 2024 — 3 — 2024-10-21 – p.66/67
B 2024 — 3 — 2024-10-21 – p.67/67