Plasma snapp
m0t0k1ch1.icon Plasma snapp の概要を理解する
---.icon
TL;DR
The following specification outlines a new plasma version which utilizes snarks to prove its integrity and validity. Via an interlinking between exit requests and deposits with the correctness proof of a block - the snark -, we are able to specify an implementation without any need for exit challenge games and confirmation signatures. Unfortunately, the concept of exit queues is still needed.
以下は、整合性と正当性を証明するために SNARKs を利用する、新しい Plasma の概要である。ブロックの正当性証明によって exit 要求とデポジットを紐付けることで、exit game や confirmation signature を必要としない実装が可能となる。残念ながら、それでもまだ exit queue は必要である。
m0t0k1ch1.icon exit game が不要になるならだいぶゲームチェンジだぞ。。。？
Removing the exit games and confirmation signatures allow us to remove much of the complexity of plasma, which is currently hindering the implementation of more sophisticated protocols beyond simple token-transfers. This proposed version will facilitate to integrate more protocols into plasma by making the snarks itself handling these protocol advancements.
exit game と confirmation signature を取り除くことで、シンプルなトークン譲渡にとどまらない、より複雑なプロトコル実装の妨げとなっている Plasma の複雑さの多くを取り除くことができる。この提案は、より多くのプロトコルの進歩を SNARKs にハンドリングさせることで、それらのプロトコルが Plasma に統合されることを促すだろう。
m0t0k1ch1.icon by making the snarks itself handling these protocol advancements は実感湧いていないけど、どういうことだろ？
---.icon
Introduction
Over the last half a year, there has been made tremendous advancements regarding fully verifiable plasma chains. New signature mechanism and hashing mechanism were found, helping to reduce proving times significantly.
過去半年以上に渡り、完全に検証可能な Plasma チェーンに関して大きな進歩が見られた。証明に要する時間を大きく短縮する助けとなる、新しい署名やハッシュのメカニズムが発見された。
These advancements enable the following with reasonable timings:
・storing the complete state of a plasma chain encoded as a StateRootHash on ethereum
・this StateRootHash can be updated by a central operator by providing a snark proving a valid state transition
・A valid state transition is proven within the snark by opening one or several leaves of the merkle tree describing the current state, checking the user’s signatures, doing predefined operations, updating the leaf and finally recalculate the StateRootHash.
これらの進歩によって、以下のようなことが妥当なタイミングで可能となる。
StateRootHash としてエンコードされた Plasma チェーンの完全な state を Ethereum 上で保持する
StateRootHash は、中央集権的なオペレータが、正当な state 遷移を証明する SNARK を提出することによって更新される
正当な state 遷移は、以下のような手順によって SNARK 内で証明される
現在の state を表す 1 枚以上の Merkle leaves を公開する
ユーザーの署名をチェックする
事前に規定された操作を行う
leaf を更新する
StateRootHash を再計算する
m0t0k1ch1.icon オペレータが StateRootHash そのものを提出するわけではなさそう？
However, snarks do not solve the problems associated with data unavailability. Also, the snarks need to be aware of any incoming deposit request to the plasma chain and outgoing withdrawal requests. This post will describe a solution for these two remaining issues.
しかし、SNARKs は data unavailability に関する問題は解決しない。また、SNARKs は Plasma チェーンへの deposit 要求と Plasma チェーンからの withdrawal 要求を認識する必要がある。この投稿では、これら 2 つの問題の解決策について解説する。
---.icon
Construction
m0t0k1ch1.icon ボリュームが大きいので切り分け