Minimal Viable Plasma5 M( F8 y% J6 `2 D5 c' x
上期的内容我们分享了Qtum MVP的操作流程，有读者提出疑问该如何理解这些代码，今天就为大家分享MVP的技术详解。
; ~- ^8 i0 {3 D
) f% ^' {2 J$ _2 Y, O/ {Plasma MVP以一种非常简单的方式提供Plasma系统的基本安全特性。在Plasma MVP中，用户一旦发现任何不法行为就立即退出，用户的退出申请也是按照UTXOs被创建的时间从早到晚的优先级顺序处理。& `) O- U- Z2 q2 N" Z- Y

  n/ M+ @0 ]( k( q( y  ]9 D+ A- SPlasma区块链中，区块的创建方法有两种：一种是Plasma链的运营者可以创建区块；另一种是任何用户可以向Plasma链中存入一定资产，这种情况下，合约会在Plasma链上新增一个区块，该区块包含一个创建新的UTXO的交易，UTXO和用户存入资金的价值相等。' n$ T( o! p( Y: G* B+ J
; r  K/ b# n! f) q$ e
3月在巴黎举行了以太坊社区会议（ETHCC），有来自世界各地的以太坊研究人员和爱好者参加。在三天的会议期间举行了多个讲座，有研究人员对Plasma MVP进行了更详细的讲解。本文借用ETHCC演讲者讲座上展示的PPT，对MVP系统如何正常工作以及怎样阻止用户的欺诈行为等进行简单说明。
* [+ t1 v- n/ d8 v$ b& C
, L1 W' a& _% j1 UPlasma区块创建
# E- l% c: J5 V/ Y
3 M: X) e" a+ [0 n, H9 APlasma区块链运营者创建区块的过程如下（为了简单，所有的示例中均假设该Plasma链的父链即为根链）：
* F0 ]3 d6 E: m（1） Plasma运营者创建Plasma区块；2 ?4 m- A+ o/ D' q) m. M+ l1 K
（2） 若Plasma区块还不包含在根链中，那么Plasma运营者发送一个Plasma区块创建交易到根链；
( l' g! r$ u1 D/ ?（3） 根链的矿工发现该Plasma区块创建交易，并在创建根链的区块时将该交易包含在区块中；
" o# s6 J+ G* q; ~7 J（4）  Plasma链的区块确认被包含在根链的区块中，Plasma链区块即确认存在。
8 u) F8 q0 i7 @& ~- w
3 e; _. x8 F* V) [% X) H8 n# R! U+ `1 l+ y5 f3 Y! \
! O0 d" z4 C# O+ c- L' W. y1 _& j+ B

* g" l# Q& n, Q+ M) c
9 e+ w' K7 O, v' f& ~* ~! p1 G6 B8 c# @+ \4 r) I
  用户向Plasma链中存入资金: W% _# H" k$ X% a% I" `" y
用户想要使用Plasma链时，可以向Plasma链中存入资金，即将资金从根链转移到根链上部署的Plasma合约中。假设用户Sam有10个ETH，他要将5个ETH存入Plasma链中，Plasma链中的token名称为PETH，且ETH兑换PETH的比率为1：1，具体资金存入过程如下：
9 Z1 B" K; t) }% f（1）       用户Sam在根链中发送一个交易，该交易声明Sam要将5个ETH存入Plasma合约；" [) N% R9 W. O+ V1 ]) G5 y: n
（2）       根链中的矿工发现Sam发送的交易，并在创建根链的区块时将交易记录在区块中；5 e7 M# Q" w5 }
（3）       然后在Plasma链中会创建一个新的区块，该区块包含一笔交易，证明Sam拥有5个PETH。此时，Sam的资金变为5个ETH和5个PETH；& G) l/ O! i9 Z0 f4 b# C6 u
（4）       Sam将资金存入Plasma链中，Sam就成为Plasma链的用户，为了保证自身财产的安全，Sam会时刻监视根链和Plasma链中的欺诈行为。
( c  R3 @8 U9 B; `, ~. E/ g, t0 ]$ b# ~
6 [# s+ H% }" b, @; @
+ a* k4 |6 v# j4 l, q- ~
- i1 t& V% Y8 A% i, ?
用户在Plasma链中的交易和余额更新
4 v6 m! ?* X  Q. S5 Q# {- z, @ Sam当前资金为5个ETH和5个PETH。假设Plasma链中还存在用户Alice，Alice的资产为1个PETH。若Sam想发送2.5个PETH给Alice，具体的交易以及余额更新的过程如下：
4 @. b' `# f3 U9 S( ]- h7 N. d（1）       Sam在Plasma链中发出一个交易，声明Sam将2.5个PETH发送给Alice；
# T- v1 n" a/ z8 i3 W（2）       Plasma运营者创建一个区块，该区块将Sam的交易包含在内。此时，该Plasma区块还未被确认，Alice也还不能花费Sam发送给她的PETH；
2 o0 b. F1 v' `  O, n0 F+ |（3）       Plasma运营者将Plasma区块头哈希提交给根链；8 r( K" t; q/ G6 u9 U: `; b0 U* g
（4）       根链的矿工接收到Plasma运营者提交的信息，并在创建根链的区块时将该信息包含在区块中；7 k' ~& ]6 l2 d7 T
（5）       Sam观察到其交易在Plasma区块中且在根链中具有Plasma区块信息，此时Sam给Alice发送一个确认信息；( Q  W7 u8 y4 r, P0 z3 z' G
（6）       最后，Sam和Alice的余额更新，Sam的余额变为5个ETH和2.5个PETH，Alice的余额为3.5个PETH。Alice可以花费Sam发送给她的PETH。
  X& Q, s2 X6 L. D9 V! y ! u$ k6 Y8 [% R5 A3 N; f/ ?2 U  M
阻止用户的欺诈行为4 R" q6 o3 _9 _3 {& G2 Y) \* C
$ a& k! X7 S' u' N* r$ _
假设Sam在将2.5个PETH发送给Alice，余额变为2.5个PETH后，在退出Plasma链时仍声称自己拥有5个PETH，那么Plasma链中的其他用户可以提供欺诈证明，阻止Sam取回5个PETH，具体过程如下：
0 W1 n- X; M- C( b# {  g, w$ L1 ?（1）       Sam发送一个退出交易给根链，希望退出Plasma链并声明自己拥有5个PETH。Sam需要给这笔交易附加一笔押金，且这笔交易具有一个挑战期；$ s7 b/ O3 B7 g1 g7 i
（2）       根链中的矿工发现Sam发出的退出交易，并在创建根链的区块时将该交易包含在区块中；
1 n; [# C5 i$ b8 y  d（3）       由于Plasma链中的用户一直在监视根链和Plasma链的行为，Alice或其他诚实的节点会注意到根链中Sam的退出交易，并在挑战期内发起挑战；( c0 f7 \! `, P, ?4 p& J4 g- ?
（4）       挑战者需要在挑战期内向根链提供Sam的欺诈证明数据，该数据可以是某个交易的Merkle证明，且该交易可以表明Sam试图取出的资金已经被其花费掉了；
" [7 G5 G  q7 {& v3 p; w9 f（5）       根链的矿工在创建根链新的区块时，将挑战者成功的挑战数据记录在区块中；3 `9 M6 c- {* L9 z/ }
（6）       根链将Sam附加的押金奖励给挑战者，并取消Sam的退出交易。