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
Ethereum 演習 I / Ethereum Exercise I
Search
Kenji Saito
PRO
April 12, 2023
Technology
0
84
Ethereum 演習 I / Ethereum Exercise I
2023年4月12日(水)、ブロックチェーンハブ主催のブロックチェーンアカデミーにて使用したスライドです。
Kenji Saito
PRO
April 12, 2023
Tweet
Share
More Decks by Kenji Saito
See All by Kenji Saito
シリアスゲームとしての RPG / RPG as a Serious Game
ks91
PRO
0
12
"September 12th" ゲームのプロンプトの構造 / Prompt Structure of "September 12th" Game
ks91
PRO
0
9
コードや知識を組み込む / Incorporate Code and knowledge
ks91
PRO
0
120
大規模言語モデルの原理と使いこなしの原則 / Principles of Large Language Models and Their Use
ks91
PRO
0
26
自然言語の扱いと翻訳のためのプロンプト / Natural Language Handling and Prompts for Translation
ks91
PRO
0
23
ワールドカフェI /チューターを改良する / World Café I and Improving the Tutors
ks91
PRO
0
140
LLM とプロンプトエンジニアリング/チューターをビルドする / LLM and Prompt Engineering and Building Tutors
ks91
PRO
0
260
講師自己紹介 / Lecturer's Self-Introduction
ks91
PRO
0
85
講師研究紹介 / Lecturer's Research Introduction
ks91
PRO
0
71
Other Decks in Technology
See All in Technology
EM完全に理解した と思ったけど、 やっぱり何も分からなかった話 / EM Night Fukuoka #1
hirutas
0
140
Gradle Build Scanを使ってビルドのことを知ろう potatotips #87
tomorrowkey
2
150
BPStudyの200回を中心にIT業界を振り返る。そしてこれから
haru860
3
370
【NW X Security JAWS#3】L3-4:AWS環境のIPv6移行に向けて知っておきたいこと
shotashiratori
1
590
Google Cloud Next '24でブログを10本書いた方法と勉強会を沸かせた方法
yasumuusan
0
320
サーバー間 GraphQL と webmock-graphql の話 / server-to-server graphql and webmock-graphql
qsona
3
200
自己改善からチームを動かす! 「セルフエンジニアリングマネージャー」のすゝめ
shoota
6
920
JAWS-UG Bedrock Claude Night
yamahiro
3
670
非同期推論システムによるコスト削減と信頼性向上
koki_nishihara
0
310
DMM.com アルファ室採用案内資料
hsugita
1
200
ServiceNow Knowledge 24の歩き方 EYストラテジー・アンド・コンサルティング
manarobot
0
210
Gitlab本から学んだこと - そーだいなるプレイバック / gitlab-book
soudai
6
1.3k
Featured
See All Featured
KATA
mclloyd
16
12k
Java REST API Framework Comparison - PWX 2021
mraible
PRO
19
6.9k
Art, The Web, and Tiny UX
lynnandtonic
290
19k
Designing with Data
zakiwarfel
96
4.8k
RailsConf 2023
tenderlove
7
550
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
63
14k
Bootstrapping a Software Product
garrettdimon
PRO
302
110k
Intergalactic Javascript Robots from Outer Space
tanoku
266
26k
Why Our Code Smells
bkeepers
PRO
331
56k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
117
18k
Building an army of robots
kneath
300
41k
Building a Scalable Design System with Sketch
lauravandoore
457
32k
Transcript
2 Ethereum I CSO /
[email protected]
— 2 Ethereum I
— 2023-04-12 – p.1/37
https://speakerdeck.com/ks91 — 2 Ethereum I — 2023-04-12 – p.2/37
( ) SFC ( ) CSO (Chief Science Officer) 1993
( ) 2006 ( ) SFC 22 P2P (Peer-to-Peer) 2011 ( ) 2018 2019 VR 2021.7 VR 2021.8 “ALL THESE WORLDS ARE YOURS” VR 2021.9 & VR 2022.3 2023 AI VR 2023.2-3 “POWER TO THE PEOPLE” → ( ) — 2 Ethereum I — 2023-04-12 – p.3/37
ERC-20 2 ERC-20 — 2 Ethereum I — 2023-04-12 –
p.4/37
1. : ERC-20 2. : 3. : — 2 Ethereum
I — 2023-04-12 – p.5/37
1. : ERC-20 $ brownie bake token — 2 Ethereum
I — 2023-04-12 – p.6/37
Solidity JavaScript ( , ) (constructor) ( ) ( )
Ether Ethereum — 2 Ethereum I — 2023-04-12 – p.7/37
pragma solidity ˆ0.6.0; /* 0.8.x */ contract Token { (
) : (EVM ) : constructor (...) public { /* */ : } function balanceOf(...) { /* ( ) */ : } : } constructor C (/* */ // ) — 2 Ethereum I — 2023-04-12 – p.8/37
ERC-20 ERC (Ethereum Request for Comments) EIP (Ethereum Improvement Proposals)
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 ERC-777 — 2 Ethereum I — 2023-04-12 – p.9/37
ERC-20 ERC-20 ( ) ⇒ ERC-20 ( ERC-20 ) ERC-20
⇒ — 2 Ethereum I — 2023-04-12 – p.10/37
(fungible) ERC-20 → ERC-223 (draft) or ERC-777 ( )( )
(non-fungible) ERC-721 ( ) ERC-1155 ( ) ERC-3525 (SLOT ) — 2 Ethereum I — 2023-04-12 – p.11/37
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 — 2 Ethereum I — 2023-04-12 – p.12/37
Token ( ) event Transfer(address from, address to, uint256 value);
Token function emit Transfer() ( ) — 2 Ethereum I — 2023-04-12 – p.13/37
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 — 2 Ethereum I — 2023-04-12 – p.14/37
Token balanceOf() function balanceOf(address _owner) public view returns (uint256) {
return balances[_owner]; } — 2 Ethereum I — 2023-04-12 – p.15/37
Token transfer() function transfer(address _to, uint256 _value) public returns (bool)
{ require(balances[msg.sender] >= _value, "Insufficient balance"); balances[msg.sender] = balances[msg.sender].sub(_value); balances[_to] = balances[_to].add(_value); emit Transfer(msg.sender, _to, _value); return true; } require (function ) ( ↑ ) OpenZeppelin https://openzeppelin.org — 2 Ethereum I — 2023-04-12 – p.16/37
2. — 2 Ethereum I — 2023-04-12 – p.17/37
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 ) Token Solidity 0.5 0.6 Solidity — 2 Ethereum I — 2023-04-12 – p.18/37
(m2 ) 1 1 — 2 Ethereum I — 2023-04-12
– p.19/37
IndivisibleAsset string public _name_; string public _symbol_; uint256 public _quantity_;
address public _owner_; _name_ ( ) _symbol_ _quantity_ (m2 ) _owner_ ‘_’ Solidity . . . — 2 Ethereum I — 2023-04-12 – p.20/37
IndivisibleAsset event Transfer(address indexed from, address indexed to); from to
indexed — 2 Ethereum I — 2023-04-12 – p.21/37
IndivisibleAsset constructor (string name, string symbol, uint256 quantity) public {
_name_ = name; _symbol_ = symbol; _quantity_ = quantity; _owner_ = msg.sender; } — 2 Ethereum I — 2023-04-12 – p.22/37
IndivisibleAsset getOwner() function getOwner() public view returns (address) { return
(_owner_); } — 2 Ethereum I — 2023-04-12 – p.23/37
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 — 2 Ethereum I — 2023-04-12 – p.24/37
scripts/indivisible asset.py from brownie import * def main(): accounts[0].deploy(IndivisibleAsset, "5322
Endo, Fujisawa", "mˆ2", 300) SFC (300m2 ) ( ) — 2 Ethereum I — 2023-04-12 – p.25/37
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] — 2 Ethereum I — 2023-04-12 – p.26/37
$ pytest tests/test_indivisible_asset.py — 2 Ethereum I — 2023-04-12 –
p.27/37
3. — 2 Ethereum I — 2023-04-12 – p.28/37
transfer settle, retrieve asset, retrieve token 3 — 2 Ethereum
I — 2023-04-12 – p.29/37
1. ( ) 2. ( ) 3. ( ) —
2 Ethereum I — 2023-04-12 – p.30/37
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 — 2 Ethereum I — 2023-04-12 – p.31/37
(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") — 2 Ethereum I — 2023-04-12 – p.32/37
(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 — 2 Ethereum I — 2023-04-12 – p.33/37
(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] ( ) — 2 Ethereum I — 2023-04-12 – p.34/37
(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 — 2 Ethereum I — 2023-04-12 – p.35/37
$ pytest tests/test_one_time_escrow.py : settle() — 2 Ethereum I —
2023-04-12 – p.36/37
3 Ethereum II : — 2 Ethereum I — 2023-04-12
– p.37/37