Exposed in BlockChainJam 2019, at Yasuda hall, the University of Tokyo. This talk focuses on the on-chain governance of Tezos which permits it evolve quickly.

1. Tezos とオンチェーン・ガバナンス
“Kyoto amendment” に向けて
Tezos Japan, DaiLambda, Inc.
Jun FURUSE/古瀬淳, University of Tokyo, 2019-11-37BlockChainJam 2019

2. 第三世代ブロックチェーン
2014-08: ホワイトペーパー発表
2017-03: Tezos財団創設
2017-07: ICOで250億円調達
2018-06: Betanet開始
2018-09: Mainnet開始
ペーパーで約束された機能のほぼ全てが稼働中。

3. ダイラムダ株式会社
2018-09: 設立
Tezos のプロトコル開発
エコシステム開発
極東でのTezosコア開発ハブを目指す
Plebeia ストレージサブシステム
SCaml コンパイラ

4. 京都
東京である必要はない
京大研究者との共同研究
メインストリームに追随しな
い個性がある
海外の関係者が訪問したがる
通勤時間10分

5. Tezosとは…
Proof-of-Stake: LPoS
セキュリティ: 形式検証
オンチェーン・ガバナンス: 自己修正投票

6. Proof-of-Stake: LPoS
選ばれたごく少数のノードではなく、
誰でもベーキング(ブロック生成)できる
各ブロックごとに生成者と裏書人を
ランダムに選出
ベーキングが面倒なら業者に委託し、
報酬を得ることができる
特殊なハードを必要としないので、
手数料が高騰しない
プロトコルをマイナーからステークホルダー全員へ

7. セキュリティ: 形式検証
ソフトウェアテストは気休め。
形式検証を使って安全性を数理的に証明していく
最新のソフトウェア検証技術:
型システム、モデル検査、定理証明
全ての部品に:
ノード実装、コントラクト実行器、
コンパイラ、各コントラクトの安全性
ノード実装に検証に適した関数型言語
を採用OCaml

8. オンチェーン・ガバナンス
自己修正投票により破滅的なハードフォークを防ぎ、
新技術をスムーズに投入、進化する
プロトコル変更をコードとして提案
自動的にP2P配布、各ノードでテスト
プロトコル上で採択するか投票
採択されれば自動的に移行
プロトコルを開発者からステークホルダーへ

9. Tezos のユースケース

10. Tezosユースケース: STO
安全性を評価され、STOプラットフォームとして採用
されている:
(10億USD)
(10億USD)
(6.43億USD)
Elevated Returns and Securitize
BTG and Dalma Capital
tZERO and Alliance Investments

11. Tezos ユースケース
その他にも硬い用途が多い
穀物先物:
簡易保険:
出資プラットフォーム:
Decet
Tezsure
Viaz

12. Tezos ユースケース: Mobility
コネクテッド、自動運転車のための支払いシステム
自動タクシー
優先交通権取引
有料道路の自動支払い
CHORUS mobility

13. Tezos ユースケース: 楽しいものw
デジタルカードコレクティングゲーム
Tezos コファウンダーが
MtG、コミック、ゲーム開
発のエキスパート達と組ん
で開発している
2020年春にリリース
Coase

14. Tezos のオンチェーンガバナンス

15. Tezosオンチェーンガバナンス、
よくある誤解
「Tezosはオンチェーンガバナンスがあるから
ハードフォークしない！」
Tezos はむしろ積極的にハードフォークしていく!
プロトコルに新しい技術を迅速に投入
投票により「コミュニティのハードフォーク」を防ぐ
投票を通さない緊急バグフィクスハードフォークもありうる

16. Tezosオンチェーンガバナンスサイクル
プロトコル変更をコードとして提案、P2Pで配布
第一回投票: 提案の一つを選択
第二回投票: テストするか投票
各ノードでの自動テスト
第三回投票: 採択するか投票
80%の賛成票が得られれば採択、自動的に移行。
約90日の更新サイクルがプロトコルに実装され、
自動的に執行される。
投票に至る議論も で当然行う。チェーン外

17. Tezos 004 Athens
オンチェーン・ガバナンスの初の社会実験
2019-02-26 提案
2019-05-29 移行
Gas limit 緩和
ステーキング条件緩和
賛成票99.89%

18. Tezos 005 Babylon
初の本格的なプロトコルアップグレード
2019-07-26 提案
2019-10-18 移行
合意アルゴリズムの改良(Emmy からEmmy+ へ)
スマートコントラクト強化(エントリポイントのサポート)
デリゲーション手続の単純化
賛成票84.53%

19. Tezos 006 Carthage
メンテナンスが主目的
2019-11-13 提案
2020-02-xx 移行予定
Gasリミット緩和
スマートコントラクトVM命令の強化
細かいバグ修正、プロトコルのコードクリーンアップ
現在議論中

20. Tezos 007 Delphi?
2020-03-xx 提案予定
2020-06-xx 移行予定
匿名化技術zk-SNARKs の
スマートコントラクトへの導入
プログラマブルステーキング
投票システムの改良
新ストレージサブシステム

21. Tezos 008 E?????, 009 F?????, ..
PBFT ベース合意アルゴリズムへの移行
(Tendermint, Avalance)
Layer2 ソリューション対応
Prediction market によるプロトコル改訂案の評価と
報酬決定
…

22. Tezos プロトコル更新、これからの課題
提案後にバグが発見されたり、
更新後にアプリの一部に問題が発生した。
新プロトコルの事前テストと修正
アプリ開発者への更新詳細の周知
アプリユーザーへの周知
最短で3ヶ月ごとにプロトコルが更新される、
開発者にとって、これは忙しい!!

23. Tezos プロトコル修正名
世界の古い都市名をアルファベット順に
Athens
Babylon
Carthage
Delphi?
E????
…
2021年前半にK に到達する!!

24. Tezos 014 Kyoto!