自己紹介

古瀬 淳 @camlspotter / @camloeba

ダイラムダ株式会社CEO

25年くらい OCaml を書いている

会社紹介: ダイラムダ株式会社

Tezosブロックチェーン研究開発

• コア開発: ノードやプロトコルの実装
• アプリケーションへのコンサル業務

相場はやりません。

Agenda

Tezosとは

Tezosの歴史

Edoプロトコル技術紹介

• Ticket
• BLS12-381
• Sapling
• 匿名送金

Tezosとは

Tezos

第三世代パブリックブロックチェーン

Proof of Stake

オンチェーンガバナンス

形式検証を重視

関数型言語 OCaml による実装

スマートコントラクト

Proof of Stake

トークン保有量に比例したブロック生成権

Proof of Work のようなマイニング資源を必要としない