Minimal Viable Plasma* L; a9 T  ]0 a: c. e
上期的内容我们分享了Qtum MVP的操作流程，有读者提出疑问该如何理解这些代码，今天就为大家分享MVP的技术详解。+ C3 O% f+ Q6 f! g. ~
$ r: T: `' T- K
Plasma MVP以一种非常简单的方式提供Plasma系统的基本安全特性。在Plasma MVP中，用户一旦发现任何不法行为就立即退出，用户的退出申请也是按照UTXOs被创建的时间从早到晚的优先级顺序处理。* z* S" I" a, [0 S# q
5 Q6 u8 K! u8 V+ K6 _  w+ y  ?" i
Plasma区块链中，区块的创建方法有两种：一种是Plasma链的运营者可以创建区块；另一种是任何用户可以向Plasma链中存入一定资产，这种情况下，合约会在Plasma链上新增一个区块，该区块包含一个创建新的UTXO的交易，UTXO和用户存入资金的价值相等。
* B9 N+ g4 j4 I- k- \7 f  `4 F. T) E7 p. c8 u$ s
3月在巴黎举行了以太坊社区会议（ETHCC），有来自世界各地的以太坊研究人员和爱好者参加。在三天的会议期间举行了多个讲座，有研究人员对Plasma MVP进行了更详细的讲解。本文借用ETHCC演讲者讲座上展示的PPT，对MVP系统如何正常工作以及怎样阻止用户的欺诈行为等进行简单说明。
9 x5 y1 H/ u9 S
8 Z& f. n: N, }" ~+ b  |: vPlasma区块创建
2 [5 ^# p/ E, C' r0 W$ a. t$ ?+ _$ o5 @7 h1 U3 c
Plasma区块链运营者创建区块的过程如下（为了简单，所有的示例中均假设该Plasma链的父链即为根链）：9 q- i# h8 o) U6 A# p/ ~
（1） Plasma运营者创建Plasma区块；
* X" b. m7 l7 M9 m( Z0 M（2） 若Plasma区块还不包含在根链中，那么Plasma运营者发送一个Plasma区块创建交易到根链；
2 u4 K  X4 y# C2 q" P: }  U+ O（3） 根链的矿工发现该Plasma区块创建交易，并在创建根链的区块时将该交易包含在区块中；
. Y6 N8 s1 @* @& H3 d（4）  Plasma链的区块确认被包含在根链的区块中，Plasma链区块即确认存在。) z' L3 S* U5 t5 T
+ [4 |# b- b; m1 j7 I0 c

  @7 P4 K2 k% ]/ O: ~" m9 q' w
3 C% ]2 d$ i) x4 C* u7 d; F
  K  X  j; F9 r5 T( {% ~
6 h; y7 N4 g5 K) S1 u3 C! h0 V  k" T/ n6 E, y9 t
  用户向Plasma链中存入资金( p. u7 D! A* x, B- y0 ^# N
用户想要使用Plasma链时，可以向Plasma链中存入资金，即将资金从根链转移到根链上部署的Plasma合约中。假设用户Sam有10个ETH，他要将5个ETH存入Plasma链中，Plasma链中的token名称为PETH，且ETH兑换PETH的比率为1：1，具体资金存入过程如下：2 t$ Z% {  X$ M! c
（1）       用户Sam在根链中发送一个交易，该交易声明Sam要将5个ETH存入Plasma合约；0 E' A' w7 B6 w6 B+ O0 U! H
（2）       根链中的矿工发现Sam发送的交易，并在创建根链的区块时将交易记录在区块中；. M% V) g0 p, r* z: [' F
（3）       然后在Plasma链中会创建一个新的区块，该区块包含一笔交易，证明Sam拥有5个PETH。此时，Sam的资金变为5个ETH和5个PETH；
! V, U1 [1 X3 q（4）       Sam将资金存入Plasma链中，Sam就成为Plasma链的用户，为了保证自身财产的安全，Sam会时刻监视根链和Plasma链中的欺诈行为。
/ s- A6 Q. }1 Q& s/ w6 E& I9 f3 ~* V
2 |. X/ |3 m9 v- R  ]
9 D9 |1 ^7 y% b! M5 m! n* c3 B% m3 n2 f  N' E0 A, o# U
% `% J: a4 w* s1 s( g3 Q* V
用户在Plasma链中的交易和余额更新; ?! g3 z- O+ v& j" r
Sam当前资金为5个ETH和5个PETH。假设Plasma链中还存在用户Alice，Alice的资产为1个PETH。若Sam想发送2.5个PETH给Alice，具体的交易以及余额更新的过程如下：# A$ M6 T- u9 C4 R
（1）       Sam在Plasma链中发出一个交易，声明Sam将2.5个PETH发送给Alice；5 h) d+ L2 v* r" `+ `# D, j# Q% [
（2）       Plasma运营者创建一个区块，该区块将Sam的交易包含在内。此时，该Plasma区块还未被确认，Alice也还不能花费Sam发送给她的PETH；
; H# D. c4 y: q* P: J) T（3）       Plasma运营者将Plasma区块头哈希提交给根链；
9 c, r3 l! F# N5 D1 G  f（4）       根链的矿工接收到Plasma运营者提交的信息，并在创建根链的区块时将该信息包含在区块中；
( m# a; O% r2 ]8 I8 X（5）       Sam观察到其交易在Plasma区块中且在根链中具有Plasma区块信息，此时Sam给Alice发送一个确认信息；
  C1 ^1 f" c6 Z: Q（6）       最后，Sam和Alice的余额更新，Sam的余额变为5个ETH和2.5个PETH，Alice的余额为3.5个PETH。Alice可以花费Sam发送给她的PETH。
8 ?1 s' J( I+ F$ ~/ ^ 2 a+ D$ t1 t  z, v: w* J
阻止用户的欺诈行为
! Y) |& W) r) \% e9 l' o
) V, l# T# M4 q2 X假设Sam在将2.5个PETH发送给Alice，余额变为2.5个PETH后，在退出Plasma链时仍声称自己拥有5个PETH，那么Plasma链中的其他用户可以提供欺诈证明，阻止Sam取回5个PETH，具体过程如下：" N; w! y& ?+ m6 x! y
（1）       Sam发送一个退出交易给根链，希望退出Plasma链并声明自己拥有5个PETH。Sam需要给这笔交易附加一笔押金，且这笔交易具有一个挑战期；
4 z) |# H' A' Y9 i（2）       根链中的矿工发现Sam发出的退出交易，并在创建根链的区块时将该交易包含在区块中；
# ]  f! ~4 K1 t& d0 d  p) z（3）       由于Plasma链中的用户一直在监视根链和Plasma链的行为，Alice或其他诚实的节点会注意到根链中Sam的退出交易，并在挑战期内发起挑战；/ b4 f% S, C4 q0 D2 z: ?5 ^) e
（4）       挑战者需要在挑战期内向根链提供Sam的欺诈证明数据，该数据可以是某个交易的Merkle证明，且该交易可以表明Sam试图取出的资金已经被其花费掉了；* i3 c2 n" D4 s
（5）       根链的矿工在创建根链新的区块时，将挑战者成功的挑战数据记录在区块中；
+ W6 E5 i& e! u4 @5 M1 t（6）       根链将Sam附加的押金奖励给挑战者，并取消Sam的退出交易。