やさしいPlasma - Speaker Deck

Slide 1

Slide 1 text

Slide 2

Slide 2 text

CONFIDENTIAL : copyright © by 2018 LayerX Inc. all rights reserved. 2 LayerXにて主に研究開発およびスマートコントラクトのコード監査を担当。 - スマートコントラクト言語Vyperへのコントリビューション - VyperによるPlasmaの実装 - ゼロ知識証明zk-SNARKs・Verifiable Computation の研究開発等を行う。ブロックチェーンの技術ブログZooMを運営。 Osuke Sudo Twitter: @zoom_zoomzo About me

Slide 3

Slide 3 text

Slide 4

Slide 4 text

Slide 5

Slide 5 text

CONFIDENTIAL : copyright © by 2018 LayerX Inc. all rights reserved. 5 ブロックチェーンのスケーラビリティ問題 - ブロックチェーンは保持できるデータサイズが限られ、処理も遅く、手数料も高い。 - その反面、トラストレス・パーミッションレスなデータベースを実現 - 改ざん不可能 - 誰でも利用できる - 対検閲性 - ブロックチェーンの１つ１つのブロックに保持できるData Sizeには制限がある - Block Dataが大きすぎると伝播遅延により分散性低下 →セキュリティ低下 - Block Timeを短くしても同様にセキュリティ問題に。

Slide 6

Slide 6 text

Slide 7

Slide 7 text

CONFIDENTIAL : copyright © by 2018 LayerX Inc. all rights reserved. 7 Plasmaの発想 - ルートチェーンで行なっていたデータ処理を別のところ（サイドチェーン）で行なって、最終的な結果のみを安全にルートチェーンに送る。 - 解決しなければならない問題 - どうやってPoAのようなコンセンサス能力が低いPlasmaチェーンで安全性を保つことができる？ - ルートチェーンとは異なり、PlasmaチェーンではOperator（コンセンサスの主体）のやりたい放題度がかなり高い - 勝手にTx Dataを保持 - 勝手に状態を遷移 - Tx Dataを隠してしまう

Slide 8

Slide 8 text

CONFIDENTIAL : copyright © by 2018 LayerX Inc. all rights reserved. 8 Plasmaの機能 - Plasmaが果たすべき機能 - 状態遷移：Tx dataに基づき状態s→s’に正しく遷移 - データの保持：ブロック高ごとの正しいTx（およびState)の保持 - データの可用性：正しいデータを誰でもDLできる - Plasma Operatorが上記に反する不正なことを行なったらユーザーがそれを検知し（検知できなくなったことも検知し）、さらに安全な自身の状態（資金）をルートチェーンにExitできる手段を用意する。 - ルートチェーンのPlasmaコントラクトにこれらのロジックを保持しておくことで、ルートチェーンのセキュリティレベルで安全。

Slide 9

Slide 9 text

CONFIDENTIAL : copyright © by 2018 LayerX Inc. all rights reserved. 9 Plasma Q&A - 1 - コンセンサスアルゴリズムは何か？ - Exitのためにファイナリティが必要 - PoAあるいはPoS、DPoSなど - アカウント型？UTXO型？ - 基本、UTXO型 - アカウント型だと安全にExitするために必要なデータサイズが莫大になってしまうという事情が...

Slide 10

Slide 10 text