Zero-Knowledge Summit — ZK0x03 – Youssef El Housni – Medium

わかるPlasma MVP – Junki Yuasa – こんにちは！この記事はEthereum初心者がPlasma MVPを通じてPlasmaを理解するためのものです。Ethereumについて最低限の知識がある方ならわかる内容になっていると思います。 はじめに Plasmaはスケーラブルなアプリケーションを構築するためのスマートコントラクト実行フレームワークです。「Plasma」という単一のプロジェクトはありません。Plasmaは概念であり、Plasma MVPやPlasma Chamberはその概念にそって設計されたものです。 Plasmaを理解するのにとてもいい記事があります。 なぜPlasmaが必要か ブロックチェーンでは単純な支払いを処理するために１秒間で数千トランザクションを処理することが求められています。しかし、現在Ethereumでは最大で毎秒20~30のトランザクションしか処理できません。これは「スケーラビリティ」問題と呼ばれます。 開発者たちはこの問題を解決するために様々な角度から取り組んでいます。ブロックチェーン自体をアップグレードすることでよりチェーンをスケーラブルにしようとする取り組みである「レイヤー１」スケーリングと元のブロックチェーンは変更せず新しいレイヤーを追加する「レイヤー２」スケーリングがあります。 「レイヤー２」スケーリングにおいてAからBへの送金を考えましょう。Aはアセットを元のチェーンにロックし、その資金を2番目のチェーンに「作成」します。そして2番目のチェーン上でAからBへのアセットの移動を行います。Bが資金を取り出す時はサイドチェーンのアセットを「破壊」して元のチェーンのロックを解除します。それが「サイドチェーン」の考え方です。 サイドチェーンで処理をすることで高速かつ低い手数料が実現できます。その一方、サイドチェーンでそれらのアセットを作成することを「合意」しなければならないのでそこにはコンセンサスアルゴリズムが必要になります。このコンセンサスアルゴリズムが正しく機能すれば資産は安全ですが、失敗すると資産は奪われてしまいます。 そこでPlasmaの登場です。Plasmaチェーンはコンセンサスアルゴリズムが正しく機能しなくても資産の安全性を保証します。なぜ安全性を保証できるのかを単純なUTXOベースのPlasmaチェーン用の設計であるPlasma MVPの仕組みにそってみていきましょう。 Plasma MVPの仕組み デポジット まずユーザーがEthreumのスマートコントラクトにETHを入金すると、単一のトランザクションのみを含むブロックがPlasmaチェーン上に作成されます。このトランザクションは、預金額と等しい価値で預金者のための新しいアウトプットを作成します。これで取引の準備は完了です。 トランザクションの作成 ユーザーは作成されたアウトプットを使って新しいアウトプットを作ることで、Plasmaチェーンで取引ができます。ユーザーはトランザクションを作る際に署名を行います。この取引はその後オペレーターと呼ばれる人に送信されます。オペレータは十分なトランザクションを受け取ると、このブロックのマークルルートをEthreumチェーンに送信します。マークルルートがなんなのかは以下でみていきます。 マークルルート マークルルートを理解するためにブロックチェーンにおいて使用されるマークルツリーというデータ構造を知っておく必要があります。マークルツリーを使用するとハッシュ関数を用いてたくさんのデータセットを一定のデータ長に要約できます。これがマークルルートです。それに加えて特定のデータがセットに含まれていることを証明できます。 全てのトランザクションはマークルツリーの形で構成されており、オペレーターはこのマークルツリーのマークルルートをEthereumチェーンに送信します。マークルルートのみをルートチェーンに記録するので効率的です。 Exitを始める ユーザーはPlasmaチェーンから資金を回収したい時はEthereumチェーンでExitトランザクションを送信します。MVPでは資金はUTXOとして示されるので資金の出口は特定のアウトプットを示す必要があります。アウトプットの所有者しか取り出せないようにするためユーザーはマークルツリーにおけるトランザクションの証明とともに資金の出口を送信します。コントラクトはこのトランザクションがブロックに含まれていることとアウトプットが持ち主のものであることの確認をします。 Challenge期間 上のことを確認してもユーザーはすでに使用されているアウトプットを引き出すということができてしまいます。アウトプットが未使用であることを確認するためにChallenge期間を設けます。それはアウトプットが使われていることを証明することで異議申し立てをできる期間です。 Exitの優先度 ここでオペレーターが無効なトランザクションを作成して引き出しをすることなどができてしまいます。 […]