Download as PDF, PPTX
![合意アルゴリズム
ノード間の衝突を解決するアルゴリズム。
残念なお知らせ: そんなものは存在しない! [FLP85].
一つでもノードが故障しうる環境では、
どんな合意形成アルゴリズムであっても、停止しない
可能性がある。](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-31-2048.jpg)
![ブロックの生成
ブロック生成者( マイナー)はノードに集まった
からブロック を作り、ネットワークに放流する:
O1
O1
O2
O2
O2
O2
B = [ O1, O2 ]
→
B
O1
⇨ B1 = [ O1, O2 ]
→
B
B
B
B
B
B
B
B
O B
B = [ , . . , ]Ov1
Ovm](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-45-2048.jpg)
![台帳の更新
各ノードは自分の持つ最新の台帳状態 に を適用:
最初期状態(Genesis)
where
ブロックが連なるので“ブロックチェーン”:
S B
= ∅S0
= ( ) = ( (. . ( ( )). . ))Sn Bn Sn−1 Bn Bn−1 B1 S0
B(S) = ( (. . ( (S)). . ))Ovm
Ovm−1
O1
B = [ , . . , ]O1 Ovm
. . . .S0 →
B1
S1 →
B2
→
Bn−1
Sn →
Bn](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-46-2048.jpg)
![暗号技術による偽造防止
より正確には
と はデジタル署名されている
where is a raw operation.
はその前のブロック のハッシュ値 を持つ
where
署名関数 とハッシュ関数 は安全だと仮定
O B
O = (o, sig (o))nu o
Bn Bn−1 H( )Bn−1
= (b, sig (b))Bn nv b = ([ , . . , ], H( ))Ov1
Ovm
Bn−1
signx H](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-47-2048.jpg)
![衝突
複数のマイナーがブロックを生成提示した場合、
Nakamoto Consensusではチェーンは分岐する:
B = [ O1, O2 ]
→
B
B →
B'
B'
B' = [ O3, O1 ]
B
B'
B B' V'
↗ →
Bn+1
Sn+1 →
Bn+2
Sn+2 →
Bn+3
Sn+3
. . →
Bn−1
Sn−1 →
Bn
Sn
↘ →
B
′
n+1
S
′
n+1
→
B
′
n+2
S
′
n+2
→
B
′
n+3
S
′
n+3](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-48-2048.jpg)
![The DAO
contract user {
do_deposit()
{
bank.deposit(100);
}
do_withdraw()
{
bank.withdraw();
}
}
contract bank {
deposit()
{
map[SENDER] += AMOUNT;
}
withdraw()
{
send(SENDER, map[SENDER]);
map[SENDER] = 0;
}
}](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-89-2048.jpg)
![The DAO
contract attack {
do_deposit()
{
bank.deposit(100);
}
do_withdraw()
{
bank.withdraw();
}
default()
{
bank.withdraw();
}
}
contract bank {
deposit()
{
map[SENDER] += AMOUNT;
}
withdraw()
{
send(SENDER, map[SENDER]);
map[SENDER] = 0;
}
}](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-90-2048.jpg)
![B1 = [ O1, O2 ]
→
B
B
B
B
B
B
B
B
3. Op. が新ブロックに取り込まれる
サンドボックスの中にはマイナーの
プロセスがいる。
Operationが採用され新しいブロック
Bzzz..zzzが作成されたのを検出:
Genesisブロックに書き込まれていたアカウント
tz1Mawer..が有効になった。
Operation found in block: Bzzz..zzz (pass: 2, offset: 0)
This sequence of operations was run:
Genesis account activation:
Account: tz1MawerETND6bqJqx8GV3YHUrvMBCDasRBF
Balance updates:
tz1MawerETND6bqJqx8GV3YHUrvMBCDasRBF ... +ꜩ20000000](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-126-2048.jpg)
![junのトークンは盗めない
秘密鍵を知らないので、盗めない:
aliceの秘密鍵は.tezoshandsonclientディレ
クトリに保存されている:
$ ./tezosclient transfer 100 from jun to alice ↩
Error:
Unknown secret key for tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV
$ cat .tezoshandsonclient/secret_keys ↩
[ { "name": "alice",
"value": "unencrypted:edsk3NDQq5Cmix9H15GkcoVhWo.." } ]](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-143-2048.jpg)
![OCamlプログラマの皆様にお断り
CamLIGO はOCaml ではない。
再帰ありません: let rec
型推論は完全じゃありません: ([] : int list)
パターンマッチのように見えるがパターンマッチではない。
Nested patternはダメ: Some (Some x)
Patternに定数は書けない: 1::[]
match .. with のネストはカッコがいります](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-153-2048.jpg)
![はじめてのCamLIGOコントラクト
ストレージの文字列を引数で置き換える:
よくわからない？
説明します。
let main (parameter : string) (storage : string) =
( ([] : operation list), parameter )](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-154-2048.jpg)
![関数定義
関数引数は型を次のように明示する必要がある
(parameter : string)
引数はスペースで区切る:
let f (x : ty1) (y : ty2) = ..
❌let f ( (x : ty1), (y : ty2) ) = ..
let function_name (arg1 : type1) ... (argn : typen) =
code
let main (parameter : string) (storage : string) =
( ([] : operation list), parameter )](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-155-2048.jpg)
![コントラクトのEntrypoint
コントラクトの入り口は2引数関数:
起動時に与えられたパラメータ: ここではparameter
ストレージの値: ここではstorage
で、次の組(..., ...) を返す:
Operation のリスト: ここでは空: [] (型の明示が必要)
新しいストレージの値: ここではparameter
let main (parameter : string) (storage : string) =
( ([] : operation list), parameter )](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-156-2048.jpg)
![コンパイルしよう
コントラクトのコードをcontracts/first.mligo に置く
コンパイラにコントラクトのentrypoint名main を渡す
間違いなければ、コードはMichelsonコードにコンパ
イルされ、contracts/first.tzに保存される。
$ ./ligo compilecontract contracts/first.mligo main ↩
let main (parameter : string) (storage : string) =
( ([] : operation list), parameter )](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-157-2048.jpg)
![Boomelang
条件分岐
if e1 then e2 else e3
非空リスト
[ 1 ; 2 ; 3 ]
ローカル変数の定義
let v = e1 in e2 e1 の評価結果を変数v に束縛。
let main (param : unit) (storage: unit) =
let ops =
if amount = 0tz then
([] : operation list)
else
[ Operation.transaction () amount
(Operation.get_contract source : unit contract) ]
in
( ops, () )](https://image.slidesharecdn.com/tezos-summer-school-jp-190831121142/75/Blockchain-and-formal-verification-Japanese-173-2048.jpg)
More Related Content
Similar to Blockchain and formal verification (Japanese)
![[Basic 15] ソフトウェアと知的財産権 / ブロックチェーンと計算機科学 / MinChain の紹介](https://cdn.slidesharecdn.com/ss_thumbnails/basic-15-180314084054-thumbnail.jpg?width=640&height=640&fit=bounds)
Blockchain and formal verification (Japanese)
- 1. ブロックチェーンと形式検証 Tezos Japan, DaiLambda,Inc. Jun FURUSE/古瀬淳, Tokyo, 2019-08-26PPL Summer School ’19
- 2. 自己紹介: 以前 OCaml の研究とプログラマ 関数型言語の型システムの研究 Haskellも好きです 関数型プログラマin 金融 金融派生商品のモデル化システム(OCaml/Haskell) HFT(高頻度取引)システム(OCaml)
- 3.
- 4. Tezosとは 第三世代仮想通貨 (1st: Bitcoin, 2nd:Ethereum, 3rd: 沢山) 合意アルゴリズム: Proof of Stake オンチェーン・ガバナンス 通貨記号はꜩ OCaml で記述されている 形式検証を重視 https://tezos.foundation/ http://tezos.gitlab.io
- 5. 今日のお話 通貨の歴史 ブロックチェーン概観 ブロックチェーンの技術面 Proof of Stake Tezosについて ブロックチェーンと形式検証
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13. コイン鋳造 発行可能: 政府がマネーサプライをコントロール可 中国, 800BC (刀貨, 布貨) 物理媒体に貴金属としての価値がある 通貨発行益→ 通貨発行者vs 偽造者
- 14.
- 15. 世界初の兌換紙幣 交子, 中国, 1050AD 鉄銭の手形として民間で誕生 宋政府が銅銭との兌換を保証
- 16.
- 17.
- 18. 世界初の不換紙幣 交子, 中国, 1050AD 世界初の兌換紙幣であったが… 通貨発行益目当てで大量発行され、 不換紙幣となる 信用を失い徐々に使われなくなった
- 19.
- 20. 通貨の価値の源泉の根拠 どんどん消えてきている: 物理媒体自体の価値: ない 兌換保証: ない 法廷通貨証書としての物理実体:ない 通貨を通貨たらしめるものは何か?
- 21.
- 22. より過激な理論: 共同幻想 「これは通貨だ」、という共通認識があれば、 中央集権的権威づけさえ必要ないのでは？ Iraqi Swissdinar (1993-2003) Somali shillings (1990’s) Bottle caps (2270’s, Fallout universe )
- 23. 暗号通貨の勃興 Since 2009-01-03 (Bitcoin) 電子的:媒体に価値、形がない 非中央集権: 中央管理者がいない 偽造、不正防止のための暗号技術
- 24.
- 25.
- 26.
- 27.
- 28. 台帳方式 変更履歴集積としてのデータベース B1 → B2→ B3 → B4 → .. S0 = ∅ S1 = B1(S0) Sn = Bn(Sn-1) = Bn(Bn-1(..(B1(S0)))) 例: 銀行通帳、大福帳 バージョン管理システム: Git
- 29.
- 30.
- 31.
- 32.
- 33.
- 34.
- 35.
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44. DBへの書込: Operationの放流 Operation : トランザクション(コントラクト呼出を含む) アカウントの生成など OperationsはP2P ネットワークに伝搬される: → → O1 O1 O1 O1 O1 O1 O2 O2 O2 O2 O2 O2 O2 O2 O
- 45. ブロックの生成 ブロック生成者( マイナー)はノードに集まった からブロック を作り、ネットワークに放流する: O1 O1 O2 O2 O2 O2 B = [ O1, O2 ] → B O1 ⇨B1 = [ O1, O2 ] → B B B B B B B B O B B = [ , . . , ]Ov1 Ovm
- 46. 台帳の更新 各ノードは自分の持つ最新の台帳状態 に を適用: 最初期状態(Genesis) where ブロックが連なるので“ブロックチェーン”: S B = ∅S0 = ( ) = ( (. . ( ( )). . ))Sn Bn Sn−1 Bn Bn−1 B1 S0 B(S) = ( (. . ( (S)). . ))Ovm Ovm−1 O1 B = [ , . . , ]O1 Ovm . . . .S0 → B1 S1 → B2 → Bn−1 Sn → Bn
- 47. 暗号技術による偽造防止 より正確には と はデジタル署名されている where isa raw operation. はその前のブロック のハッシュ値 を持つ where 署名関数 とハッシュ関数 は安全だと仮定 O B O = (o, sig (o))nu o Bn Bn−1 H( )Bn−1 = (b, sig (b))Bn nv b = ([ , . . , ], H( ))Ov1 Ovm Bn−1 signx H
- 48. 衝突 複数のマイナーがブロックを生成提示した場合、 Nakamoto Consensusではチェーンは分岐する: B = [ O1, O2 ] → B B → B' B' B' = [ O3, O1 ] B B' BB' V' ↗ → Bn+1 Sn+1 → Bn+2 Sn+2 → Bn+3 Sn+3 . . → Bn−1 Sn−1 → Bn Sn ↘ → B ′ n+1 S ′ n+1 → B ′ n+2 S ′ n+2 → B ′ n+3 S ′ n+3
- 49. Double Spending 攻撃 両分岐で所持トークンをチェーン外の資産に交換: ↗ ↗→ Bn+1 Sn+1 → Bn+2 Sn+2 → Bn+3 Sn+3 . . → Bn−1 Sn−1 → Bn Sn ↘ → B ′ n+1 S ′ n+1 → B ′ n+2 S ′ n+2 → B ′ n+3 S ′ n+3 ↘
- 50. Proof of Work(PoW) ブロック提示には計算が必要なパズル の答が必要: は から生成 は意図的に弱くしたハッシュ関数 長い分岐(より多くの計算量/「票」が集まった案)が 選ばれる: Q = (b, sig (b), ) where ( ) =Bn nv An H ′ An Qn Qn Sn−1 (⋅)H ′ . . → Bn Sn → Bn+1 Sn+1 → Bn+2 Sn+2 → Bn+3 Sn+3 → Bn+4 Sn+4 ↘ B ′ n+1 S ′ n+1 → B ′ n+2 S ′ n+2
- 51. マイナーへの動機付け 計算コストはマイニング報酬でカバーされる: 新しく鋳造されるブロック報酬 各オペレーションに付けられた手数料 : ブロック を提示することで、マイナーは の報酬をで得ることができる。 r f o = (raw operation, f ) B r + Σo∈B fo B(S)
- 52. Nakamoto Consensus ブロック報酬はそのチェーンでしか有効ではないため、勝ち目 の薄い分岐に賭ける動機は少ない。 より長い分岐によりブロックがダメになる可能性はあるが、ブ ロックが積み重なるにつれ、確率は指数関数的に減少。 ユーザーがfiatに換金するためトークンを で交換所に送る の覆る可能性が少なくなったまで待って交換所はfiatを払 い込む . . → . . →. .Sn−1 → Bn Sn → Bn+1 Sn+1 → Bn+2 → Bn+6 Sn+6 Bn Bn Bn+6
- 53. 51%攻撃 50%以上の計算資源を占有していれば、長い分岐を作 ってdouble spendingが可能: ⬇ . .→ . .Sn−1 → Bn Sn → Bn+1 → Bn+6 Sn+6 . . → . .Sn−1 → Bn Sn → Bn+1 → Bn+6 Sn+6 ↘ . .S ′ n−1 → B ′ n S ′ n → B ′ n+1 → B ′ n+6 S ′ n+6 → B ′ n+7 S ′ n+7 → B ′ n+8 S ′ n+8
- 54. 実際にあった51%攻撃 人気のないPoW ブロックチェーンは関わっている計 算力も少ないので、51%攻撃が成功してしまう: Verge (XVG),2M USD (2018-04 and 2018-05) Bitcoin Gold (BTG), 18M USD (2018-05) Monacoin (MONA), 90K USD (2018-05) ZenCash (ZEN) 700K USD (2018-06)
- 55.
- 56. Proof of StakeとTezos
- 57. PoW は環境に悪い Bitcoinが一年に使うエネルギー: 73.12TWh 3.6BUSD/y. オーストリア一国の電気使用量に匹敵 670万軒のアメリカの家の電気量 https://digiconomist.net/bitcoin-energy-consumption
- 58.
- 59.
- 60. Proof of Stake(PoS) PoS: シビル攻撃に対する別の投票制限 計算資源ではなくステーク(トークン所持量)に比例した生成権 過去の履歴を変えてブロック生成権を偽造できないので、 シビル攻撃を抑止できる 長期保持しなければ生成権が発生しない 51%攻撃は可能だが、ネットワーク上に流通する過半数のトー クンを長期間保持する必要がある
- 61. Raspberry PI 3,2watts for Tezos PoS: エコクリーン+高分散 パズルを解くためにエネルギーを浪費する必要がない Mining → Baking 特別なハードウェア(ASIC,GPU)を必要としない 過集中する理由がない Antminer S9, 1350watts for Bitcoin
- 62.
- 63. PoSへの攻撃手法 過去のステークを利用したdouble spending 攻撃: Nothingat stake 攻撃 Long range 攻撃 ステークを外部資産に交換 ⤴ → → → → → ↘ 過去のステークを利用して分岐 → → → → → こちらを主流にしてしまう
- 64. Tezos Consensus Tezosでのこれらの攻撃に対する対処: Nothing atstake 攻撃にたいして: 裏書 保証金 Long range 攻撃にたいして チェックポイント
- 65. 裏書(endorsement) Nakamoto Consensus に裏書を導入する。 各ブロックレベルに32人の裏書人を選ぶ: 各裏書人はレベル に提示された の一つに投票する 投票合計の多い枝が勝つ。たった一人でただ伸ばしてもダメ i i , . . ,Bi1 Bin . . → . .Sn−1 → Bn Sn → Bn+1 → Bn+6 Sn+6 ↘ . .S ′ n−1 → B ′ n S ′ n → B ′ n+1 → B ′ n+6 S ′ n+6 → B ′ n+7 S ′ n+7 → B ′ n+8 S ′ n+8
- 66. 保証金 ブロック生成と裏書には保証金の担保が必要。 分岐を作り出そうとする行為が見つかった場合、保証金は没収 同一レベルでの同じマイナーによるdouble mining 同一レベルでの同じ裏書人によるdouble endorsements 保証金はチェーンの組替が起こりえなくなくなってから返還(15 日後) ↕ 同一マイナーによる分岐は罰せられる . . . .→ Bn−1 Sn−1 → Bn Sn → Bn+1 Sn+1 → Bn+2 . .↘ B ′ n+1 S ′ n+1 → B ′ n+2
- 67. チェックポイント 定期的にチェーン外にブロックのハッシュ を 記録する: H(B) https://www.news.com Tezos’s block hash at is , BKveMfA..n H( )Bn . . → S →. . →. . →. . →. . →. . →. . → S→ Bn Sn . . →. . →. . →. . →. . →. . →↘ → B ′ n S ′ n S ″
- 68. PoS とTezos PoW にはエネルギー浪費とインセンティブ不一致の問題が PoS:ステーク量に応じた投票権を使ったシビル攻撃抑制 エネルギーを食わない インセンティブの一致 PoSへの攻撃手法: 過去のステークを利用した分岐作成 とTezos での解決方法: 裏書投票 意図的な分岐を罰する保証金 チェックポイント
- 69.
- 70.
- 71.
- 72.
- 73. Delegated PoS ブロック提案できるのは少数のデリゲート。 ステークホルダはデリゲートを選出できる。 間接民主制。 Pros: 少数間の合意形成のため非常に高速 ex.EOS: 21 super nodes. ステークホルダはデリゲートから報酬の一部を受け取る Nakamoto Consensus 以外の合意形成を選択しやすい ex. PBFT Cons ネットワークが過集中するので安全性を損なう
- 74. Liquid PoS (Tezos) すべてのステークホルダがブロック生成権を持つが、 他のマイナーに生成権を委任することもできる。 「プロトコルは少数の選出議員のものではなく、 ステークホルダ全員のもの」 マイナーの数に上限はない:ex. Tezos: 500 DPoSの速さは望めないが、より分散→より安全 マイニングできないステークホルダも委任によって報酬の一部 を得ることができる
- 75.
- 76.
- 77.
- 78. ハードフォークのリスク プロトコルのハードフォークは コミュニティのハードフォークを引き起こす: ハッシュパワーやステークが分裂するので安全性が損なわれる 通貨価値に対する共同幻想の劣化 例: DAO事件後のEthereum とEthereum Classicハードフォーク Bitcoin Cash のハードフォークとその後の「ハッシュ戦争」
- 79.
- 80.
- 81.
- 82. Tezosのオンチェーンガバナンス 約90日サイクルのガバナンス: 更新提案コードをアップロード 第一投票: 更新案を一つ選ぶ 第二投票: 選択更新案をテストするか テスト期間 最終投票:採択するかを決定 自動更新 Liquid democracy LPoS と同じように投票権はステークに比例
- 83. Tezos: ガバナンス履歴 “Athens”: はじめてのアップグレード 定数の更新など、簡単なもの 2019-05-21:最終投票通過 2019-05-30: Athensへの以降 “Babylon”: 合意形成アルゴリズムの 他 2019-08-24: 第二投票中 改良
- 84.
- 85.
- 86.
- 87.
- 88. スマートコントラクトの安全性 ブロックチェーン上で動くスマートコントラクトにも 高い安全性が求められる。 過去のスマートコントラクト周辺の事件: The DAO (3.6METH, 流通量の15%, 50M USD 盗難) Parity 脆弱性#1 (150K ETH, 32M USD 盗難) Parity 脆弱性#2 (513K ETH, 160M USD 凍結) ここにも高い安全性が求められる。
- 89. The DAO contract user{ do_deposit() { bank.deposit(100); } do_withdraw() { bank.withdraw(); } } contract bank { deposit() { map[SENDER] += AMOUNT; } withdraw() { send(SENDER, map[SENDER]); map[SENDER] = 0; } }
- 90. The DAO contract attack{ do_deposit() { bank.deposit(100); } do_withdraw() { bank.withdraw(); } default() { bank.withdraw(); } } contract bank { deposit() { map[SENDER] += AMOUNT; } withdraw() { send(SENDER, map[SENDER]); map[SENDER] = 0; } }
- 91.
- 92.
- 93.
- 94.
- 95.
- 96.
- 97.
- 98.
- 99.
- 100.
- 101. Michelson: Tezos スマコンVM スタックVM 完全関数型:副作用はない 上書き可能な変数がない トランザクションは関数呼出しでは無い。Reentrancyバグは起こらない 強い静的型付け 実行時型エラーはない: ex "hello" + 10 通貨と数値型の区別: , , ꜩ 任意制度整数: オーバーフローしない VMレベルでのデータ型: Lists, sets, maps ℕ ℤ
- 102.
- 103. Mi-Cho-Coq: CoqによるVMのモデル化 Coq 証明支援器によるMichelsonの再実装 Michelson 周辺の検証フレームワークを提供 再実装により仕様のドキュメントバグを発見 https://gitlab.com/nomadic-labs/mi-cho-coq/
- 104.
- 105. HACL*: 検証済み暗号ライブラリ F* で実装、検証された暗号プリミティブ関数群。 Tezosが使用。 ChaCha20, Salsa20, HMAC, SHA-256, SHA-512, Ed25519, etc. 検証したF* コードを高速なC へとコンパイル 検証された性質: メモリ安全性 アルゴリズムの正しさ Secret independence: サイドチャネル攻撃耐性 https://github.com/project-everest/hacl-star
- 106. F* Microsoft の開発しているrefinement type付き 関数型言語。 OCamlとほぼ互換の文法 Z3ソルバを使った検証の一部自動化 OCaml, F#, C, WASM, ASM へのextraction https://www.fstar-lang.org/
- 107. 現在進行中のプロジェクト 私が知っている範囲で: Sparse Merkle木ベースのストレージシステム。 木の操作をはじめとする正しさをF* で証明していく 検証済みコンパイラの開発 高級言語からMichelsonへのコンパイルの正しさを保証 TezosコントラクトのためのDSL、Why3によるプログラム検証 Plebeia Archetype
- 108.
- 109.
- 110.
- 111.
- 112. 準備#1: Dockerとイメージ をインストール Linux ユーザはdockerコマンドをsudo なしで起動できるよ うにした方が便利: ( ) 次の二つのイメージをインストール イメージが動くかチェック Docker details $ docker pull dailambda/tezoshandson:201908 ↩ $ docker pull dailambda/ligo:201908 ↩ $ docker run dailambda/tezoshandson:201908 ↩ hello tezos $ docker run dailambda/ligo:201908 ↩ hello tezos
- 113. Prep #2: Gitレポのクローン 中身 tezoshandsonnode ハンズオン用のノード起動スクリプト tezosclient 。これで一通りできます。 ligo コンパイラ contracts/ CamLIGOコントラクト例 $ git clone https://gitlab.com/dailambda/dockertezoshandson b tezoshandson201908 ↩ $ cd dockertezoshandson ↩ コマンドライン・ウォレット LIGO
- 114.
- 115.
- 116.
- 117.
- 118. ハンズオン用サンドボックス環境 ノードを立ち上げよう: 注意: ノードはTCP ポート18732を使う。 何かおかしくなったらリセットできる: (Linux ではsudo rm rf .tezoshandsonnode .tezoshandsonclient ↩ としなければいけないかもしれません。) $ ./tezoshandsonnode ↩ # まず tezoshandsonnode を止める $ rm rf .tezoshandsonnode .tezoshandsonclient ↩ $ ./tezoshandsonnode
- 119.
- 120.
- 121.
- 122.
- 123.
- 124.
- 125. → → O1 O1 O1 O1 O1 O1 O2 O2 O2 O2 O2 O2 O2 O2 2. Operation をネットワークに注入 アカウントを有効にする Operationooyyy..yyy をネッ トに注入: Operationがブロックに取込まれるのを待っている。 Operation successfully injected in the node. Operation hash is 'ooyyy..yyy' Waiting for the operation to be included...
- 126.
- 127. 4. 何ブロックか待ってもよい ブロックはより長い分岐に覆されるかもしれない: Nakamoto consensusでは長く待つほどブロックの確 度は指数関数的に高まる。 このハンズオンでは待つ意味はない。 The operation has only been included 0 blocks ago. We recommend to wait more. Use command tezosclient wait for oo6rb94mw9Z4rKexQhYDnSZeXXWmcZ65vcz77KTDTcGstYYeeuC to be included confirmations 30 branch BL26XEjqN4uKAnEC52z6ijj3XibpbcM4ysPLUfcJqkMccyHriV3 and/or an external block explorer. Account alice (tz1MawerETND6bqJqx8GV3YHUrvMBCDasRBF) activated with ꜩ20000000.
- 128.
- 129.
- 130.
- 131.
- 132.
- 133.
- 134.
- 135.
- 136.
- 137.
- 138.
- 139. 3.1 公開鍵の開示 aliceのoperationが真正か確かめられるよう、 aliceの公開鍵edpkuSR6ywqsk..をブロックチェ ーンに開示する必要がある: Manager signed operations: From: tz1MawerETND6bqJqx8GV3YHUrvMBCDasRBF Fee to the baker: ꜩ0.001258 手数料 Expected counter: 1 Gas limit: 10000 Storage limit: 0 bytes Balance updates: マイナーへの報酬 tz1MawerETND6bqJqx8GV ........... ꜩ0.001258 手数料移動 fees(tz1ddb9NMYHZi5Uz95zgv,6) ... +ꜩ0.001258 手数料移動 Revelation of manager public key: Contract: tz1MawerETND6bqJqx8GV3YHUrvMBCDasRBF Key: edpkuSR6ywqsk17myFVRcw2eXhVib2MeLc9D1QkEQb98.. This revelation was successfully applied Consumed gas: 10000
- 140. 3.2 トランザクション本体 Manager signed operations: From: tz1MawerETND6bqJqx8GV3YHUrvMBCDasRBF Fee to the baker: ꜩ0.001186 マイナー報酬設定 Expected counter: 2 Gas limit: 10300 Storage limit: 0 bytes Balance updates: マイナーへの報酬の支払い tz1MawerETND6bqJqx8GV3YHUrvM ........... ꜩ0.001186 fees(tz1ddb9NMYHZi5UzPdzTZMY..zgv,6) ... +ꜩ0.001186 Transaction: Amount: ꜩ100 トランザクション量 From: tz1MawerETND6bqJqx8GV3YHUrvMBCDasRBF To: tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV This transaction was successfully applied Consumed gas: 10200 Balance updates: tz1MawerETND6bqJqx8GV3YHUrvMBCDasRBF ... ꜩ100 aliceが tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV ... +ꜩ100 junに
- 141.
- 142.
- 143.
- 144. Tezosのガス、ストレージコストと手数料 Operation注入には次の情報を提示する必要がある: コスト見積もり ガスリミット: 計算量上限 ストレージリミット: 追加の記憶容量上限 マイナーインセンティブ 手数料:Operationが新ブロックに採択された場合、発行者から マイナーに支払う手数料
- 145.
- 146.
- 147.
- 148.
- 149.
- 150.
- 151. Michelson Tezosスマートコントラクトのための と その言語。 VMだが高機能: 静的型付け 任意制度 ,。オーバーフローなし。 データ型(options, lists, sets, map) 暗号プリミティブ 読み書きはちょっと 辛い… スタックVM # 送り元に同額返すMichelsonコード parameter unit; storage unit; code { CDR ; NIL operation ; AMOUNT; PUSH mutez 0; IFCMPEQ { } { SOURCE ; CONTRACT unit ; ASSERT_SOME ; AMOUNT ; UNIT ; TRANSFER_TOKENS ; CONS ; }; PAIR; } ℕ ℤ
- 152. CameLIGO 今日は、 を使う。 Tezos スマートコントラクトのための高級言語。 コンパイラ LIGOはMichelsonオプコードにコンパイルされる 文法 PascaLIGO(Pascal風) とCamLIGO (OCaml風) Cheat sheetやサンプルはここ: レポの./contractsディレクトリの下 開発中でいろいろ引っかかりはあるが、使えます。 LIGO(http://ligolang.org) https://gitlab.com/dailambda/mligo_contracts/blob/master/cheat-sheet.md
- 153. OCamlプログラマの皆様にお断り CamLIGO はOCaml ではない。 再帰ありません:let rec 型推論は完全じゃありません: ([] : int list) パターンマッチのように見えるがパターンマッチではない。 Nested patternはダメ: Some (Some x) Patternに定数は書けない: 1::[] match .. with のネストはカッコがいります
- 154.
- 155.
- 156. コントラクトのEntrypoint コントラクトの入り口は2引数関数: 起動時に与えられたパラメータ: ここではparameter ストレージの値: ここではstorage で、次の組(..., ...)を返す: Operation のリスト: ここでは空: [] (型の明示が必要) 新しいストレージの値: ここではparameter let main (parameter : string) (storage : string) = ( ([] : operation list), parameter )
- 157.
- 158.
- 159. コントラクトのデプロイ first: コントラクトのエイリアス名 for alice: コントラクトのマネージャー(持ち主) transferring 0 from alice:初期残高は0 running contracts/first.tz: Michelsonコード init '"initial value"': 初期ストレージ値 burncap 0.506: 記憶域のためのburn $ ./tezosclient originate contract first for alice transferring 0 from alice running contracts/first.tz init '"initial value"' burncap 0.506 ↩
- 160. うまくいかなかった時は よくある間違い 打ち間違い アカウント名はalice? クォート、ダブルクォートは大事: '"initial value"' "Error: Atline 1 character 0, などなど Dockerの問題。ファイルfirst.tz はligo スクリプトがある ディレクトリ下に置く。 Burn cap に関する“Fatal error” 長い初期ストレージ値はより多い記憶域コストがかかる
- 161.
- 162. デプロイの結果(要旨) Gas limit: 16374,Storage limit 526 bytes マイナー手数料提示: ꜩ0.002139 コントラクトのマネージャーはalice (tz1Mawer..) 初期残高(credit) はꜩ0 Michelsonコードと初期ストレージ値"initial value" 新しく作られたコントラクトのアドレスはKT1NmLBE.. 実際のコスト: Gas: 16275, Storage: 249 bytes 新ストレージにかかる記憶域コスト: ꜩ0.249 コントラクトコードなどにかかる記憶域コスト: ꜩ0.257
- 163.
- 164.
- 165.
- 166. うまくいかなかった時は 打ち間違いをチェック アカウント名はalice? コマンドは誤起動を避けるためにわざと長くしてある… Burn cap に関する“Fatalerror” 新たに記憶域を必要とする呼び出しはコストがかかる: $ ./tezosclient transfer 0 from alice to first arg '"I am creative and give a very long string!"' ↩ Fatal error: The operation will burn ꜩ0.029 which is higher than the configured burn cap (ꜩ0). Use `burncap 0.029` to emit this operation.
- 167.
- 168.
- 169.
- 170. Smarter Contracts: Boomerang もし誰かが0でないトークンを送ってきたら、送り元 に返す。 コントラクトの入力 Storage:nothing Parameter: nothing ML言語族では特に値を必要としない場合の型として unit を使う。unit型の値は()
- 171.
- 172.
- 173. Boomelang 条件分岐 if e1 then e2 else e3 非空リスト [ 1 ; 2 ; 3 ] ローカル変数の定義 let v = e1 in e2 e1の評価結果を変数v に束縛。 let main (param : unit) (storage: unit) = let ops = if amount = 0tz then ([] : operation list) else [ Operation.transaction () amount (Operation.get_contract source : unit contract) ] in ( ops, () )
- 174.
- 175.
- 176.
- 177. ヒント を参考に。 大域変数 amount, sender (送金元) 送金量がゼロか、どうか amount = 0tzかamount <> 0tz Map操作 Map.find_opt, Map.update, Map.remove を使う。 Map.find_optの結果による分岐 パターンマッチを使う: match result with None > .. | Some tez > .. ./contracts/cheat-sheet.md
- 178.
- 179.