Minimal Viable Plasma6 J( |5 R5 I, ?2 z0 z
上期的内容我们分享了Qtum MVP的操作流程，有读者提出疑问该如何理解这些代码，今天就为大家分享MVP的技术详解。+ a) l8 F+ N6 f4 {- U

# j5 l  L7 i' F  q! S3 f3 OPlasma MVP以一种非常简单的方式提供Plasma系统的基本安全特性。在Plasma MVP中，用户一旦发现任何不法行为就立即退出，用户的退出申请也是按照UTXOs被创建的时间从早到晚的优先级顺序处理。
1 R- a0 X) t9 Y+ @+ S& J* g
% x# f% K( i# _/ S8 h- FPlasma区块链中，区块的创建方法有两种：一种是Plasma链的运营者可以创建区块；另一种是任何用户可以向Plasma链中存入一定资产，这种情况下，合约会在Plasma链上新增一个区块，该区块包含一个创建新的UTXO的交易，UTXO和用户存入资金的价值相等。% @" O2 }) }* f; D$ y! ~' E+ I

: [) C. A+ g3 w  a2 o3月在巴黎举行了以太坊社区会议（ETHCC），有来自世界各地的以太坊研究人员和爱好者参加。在三天的会议期间举行了多个讲座，有研究人员对Plasma MVP进行了更详细的讲解。本文借用ETHCC演讲者讲座上展示的PPT，对MVP系统如何正常工作以及怎样阻止用户的欺诈行为等进行简单说明。8 d( D& Y. z6 c2 G

) P& K, }6 _3 m( UPlasma区块创建+ Z$ q. z5 z9 @; G- z# g' @! b
, S0 r8 e* z0 e9 G* T
Plasma区块链运营者创建区块的过程如下（为了简单，所有的示例中均假设该Plasma链的父链即为根链）：
4 A: P' s& T" `0 \1 w（1） Plasma运营者创建Plasma区块；( Z! P% b6 T" I
（2） 若Plasma区块还不包含在根链中，那么Plasma运营者发送一个Plasma区块创建交易到根链；6 s5 |3 X" ?% X: C/ j# H, A0 m
（3） 根链的矿工发现该Plasma区块创建交易，并在创建根链的区块时将该交易包含在区块中；6 w" p( k! E3 f, n
（4）  Plasma链的区块确认被包含在根链的区块中，Plasma链区块即确认存在。. C* N3 L) H8 ?8 y
) w( l8 U3 c% L- r1 j
/ ^* [* h' b& \" t. t: P
+ ?, E$ S# u  a1 y8 O

& r. w4 D/ h( Y! a. O7 `* v) R( |# H1 a+ V5 c- D% l2 L3 h; C

6 y: F7 G% o9 \$ G  用户向Plasma链中存入资金
! x3 ?, h- m! R3 u/ s 用户想要使用Plasma链时，可以向Plasma链中存入资金，即将资金从根链转移到根链上部署的Plasma合约中。假设用户Sam有10个ETH，他要将5个ETH存入Plasma链中，Plasma链中的token名称为PETH，且ETH兑换PETH的比率为1：1，具体资金存入过程如下：% k* A. P4 Q  `* a. ^
（1）       用户Sam在根链中发送一个交易，该交易声明Sam要将5个ETH存入Plasma合约；8 l7 @; k. x8 o7 F, a
（2）       根链中的矿工发现Sam发送的交易，并在创建根链的区块时将交易记录在区块中；# t. C% G% C" I5 U- x  R
（3）       然后在Plasma链中会创建一个新的区块，该区块包含一笔交易，证明Sam拥有5个PETH。此时，Sam的资金变为5个ETH和5个PETH；- \; Y- {4 S' F6 q! R
（4）       Sam将资金存入Plasma链中，Sam就成为Plasma链的用户，为了保证自身财产的安全，Sam会时刻监视根链和Plasma链中的欺诈行为。
/ ~4 f, {# N) u( R2 w
( k# j" z, w9 w0 D) ?3 C4 W/ Q& g

  O9 p0 q& E8 S5 P! F, Y. s
  t# c0 |6 w) X3 p/ L用户在Plasma链中的交易和余额更新
! a( [- J# ^" L, i* A8 ?/ {4 k Sam当前资金为5个ETH和5个PETH。假设Plasma链中还存在用户Alice，Alice的资产为1个PETH。若Sam想发送2.5个PETH给Alice，具体的交易以及余额更新的过程如下：" y8 f2 g+ @( t! h
（1）       Sam在Plasma链中发出一个交易，声明Sam将2.5个PETH发送给Alice；, b" X2 B: {6 Z3 ?6 P5 |8 N
（2）       Plasma运营者创建一个区块，该区块将Sam的交易包含在内。此时，该Plasma区块还未被确认，Alice也还不能花费Sam发送给她的PETH；4 A; y/ s% n4 i, P" _3 Y$ ^
（3）       Plasma运营者将Plasma区块头哈希提交给根链；
0 ~* {/ g6 j: R$ T4 B% Z- ?（4）       根链的矿工接收到Plasma运营者提交的信息，并在创建根链的区块时将该信息包含在区块中；
! }( Y9 j, ^: k* K6 S/ m- ?' M（5）       Sam观察到其交易在Plasma区块中且在根链中具有Plasma区块信息，此时Sam给Alice发送一个确认信息；) @1 j( J7 Z( Y( `( O& q
（6）       最后，Sam和Alice的余额更新，Sam的余额变为5个ETH和2.5个PETH，Alice的余额为3.5个PETH。Alice可以花费Sam发送给她的PETH。9 P4 U9 _% D+ l) ^/ \% s

/ G( }# k9 k+ `+ Y" b阻止用户的欺诈行为
8 r; N9 h1 s9 i( o' m , g, B4 J6 I& D- E
假设Sam在将2.5个PETH发送给Alice，余额变为2.5个PETH后，在退出Plasma链时仍声称自己拥有5个PETH，那么Plasma链中的其他用户可以提供欺诈证明，阻止Sam取回5个PETH，具体过程如下：
5 ^  X) }$ U- _2 ?（1）       Sam发送一个退出交易给根链，希望退出Plasma链并声明自己拥有5个PETH。Sam需要给这笔交易附加一笔押金，且这笔交易具有一个挑战期；
( W7 U0 V' y( s' X6 K（2）       根链中的矿工发现Sam发出的退出交易，并在创建根链的区块时将该交易包含在区块中；
2 b# K- g, H6 A8 l4 K) ~! g（3）       由于Plasma链中的用户一直在监视根链和Plasma链的行为，Alice或其他诚实的节点会注意到根链中Sam的退出交易，并在挑战期内发起挑战；$ ]6 |. _+ P  k# c
（4）       挑战者需要在挑战期内向根链提供Sam的欺诈证明数据，该数据可以是某个交易的Merkle证明，且该交易可以表明Sam试图取出的资金已经被其花费掉了；
  X$ Y7 Z# X6 \* a4 A（5）       根链的矿工在创建根链新的区块时，将挑战者成功的挑战数据记录在区块中；
# }0 c: ]' p0 c5 U. P（6）       根链将Sam附加的押金奖励给挑战者，并取消Sam的退出交易。