Plasma的设计模型使得人们可以通过发送链下消息来转移链上资产。它通过将交易吞吐量转移到Plasma链上实现根链的扩容。你可以想象这样一个场景：一位教授需要在短时间内给许多试卷打分数。他可以将这个工作分配给助教，由后者评阅试卷上的作答，并合计每题小分，只将最终分数报告给教授。
/ T4 S& }* }+ y7 U! z3 D& i
1 Y0 Q+ c$ ~; V; v4 V. V    每条Plasma链都会将有关交易顺序的消息换算成一个哈希值存储在根链上。比特币和以太坊都属于根链——这两条区块链具有很高的安全性，并且通过去中心化保证了（安全性和活性）。本文列举的所有例子均将以太坊作为根链。
; l+ t# k7 M) ?9 m- H7 T. ^* N! E4 I9 O9 C( \  J- W9 i) Y
    “Plasma不是带有默克尔树的中心化服务器。”0 K  T( n( z0 u
& E6 ^8 y4 C1 j! ^, M
    ——Vitalik，2018年瑞士楚格TechCrunch。
. _0 g4 z+ d1 ]4 L3 G3 z& H" _- M  S' O, ?6 L: R2 s4 j
    Plasma设计模型有两个主要的分支：PlasmaMVP和PlasmaCash。如果你想了解更多关于Plasma的研究谱系，请点击文末链接。让我们先了解一些背景知识并简要介绍使用流程，再深入探究各个部分。
4 a* i( v3 u8 n
1 h0 T% y) }9 w/ H+ V' a& j% @' |& m! M    稀疏的默克尔树：大小恒定的完美默克尔树，之所以称作’稀疏’是因为多数叶节点都是空的。
6 g5 B4 K7 a, \/ h6 E
, y' p8 ]  H0 P    经济确定性：确保操作的不可撤回性，除非某一方花掉一大笔钱来产生另一种结果。! J4 M2 u; ~4 t8 e

8 b9 w0 E. |# N) F. c    UTXO：unspenttransactionoutput（未花费的交易输出）的缩写。每个交易必须从有效的UTXO集合中得到输入值。每个交易的输出值组成新的UTXO集合。比特币使用的就是UTXO模型。+ @0 ~  |' s& H. D6 I9 J% D8 D4 T* I9 w

; B( I4 E( F2 x9 o( L    前方高能预警！; V8 j% P) U% N3 n/ B1 |

6 E- r3 s0 [- S    1：想要成为Plasma运营者的人（wannabePlasmaOperator）将Plasma合约布置到主网上
" p0 d8 J9 m2 j
9 Z4 G5 L& M& F- Y% w: y    如果交易所之类的实体想要实现高交易吞吐量和低延迟性（甚至是即时经济确定性），不妨运行一条Plasma链并成为Plasma运营者。合约初始化过程中就会将合约所有者包含在内。5 j2 ~: R, q9 G9 [  G

. U/ _/ F- U1 n- R+ d. u    2：Plasma运营者打包一个块' I3 o2 y8 Z& \7 i

0 {4 C- v! _( E) Z- T$ g- n6 G    运营者具有多重身份，其中一种是将交易聚集起来并排序打包进区块，然后将这个Plasma区块的哈希值提交至根链。
9 T. B2 y  G7 W$ B1 g/ v/ I, Z( I# p6 J  r, o8 a8 Q" k
    Plasma有多种运行方式。不同的Plasma链可以有不同的治理规则、不同的代币和状态存储方式等等，不过所有Plasma链会定期将哈希值提交至根链，以便确保与根链一样的安全性。! c/ U( j& Z% s
! h- `5 I; k+ g" c
    3：新用户Kanye在Plasma合约中质押以太币换取PETH
* L" T/ \" u# p* |1 e# j) l' v9 a5 T, r+ m1 v
    在主要的两个Plasma设计模型中，你可以质押任意类型的代币，该代币会被转化成符合ERC20标准的代币，并通过Plasma链返还给用户。如果Kanye质押了以太币，他将获得PETH！如果他质押了比特币，他将获得PBTC！（PlasmaCash技术规范更支持CryptoKitties之类的ERC721资产，不过并非所有Plasma技术规范都支持任意类型代币的质押。）4 c# Z: Q7 T9 p' V" @6 j

& F5 Y" b# b1 `    4：Kanye向非Plasma智能合约成员Donald汇款
7 `* C( W; f' n) m6 A
) `; \' h8 i  I8 J6 }    Kanye并不是只能向Plasma合约以内的成员汇款！他也可以向以太币大佬Donald汇款。
% B5 a" @8 O1 M$ Z; k! Z" g2 F8 N9 X
    在PlasmaCash实现中，你质押的每种代币都会被分配一个特殊的ID。这些特殊的ID都存储在稀疏的默克尔树上。代币交易只会改变代币所在叶节点的索引（index）。这就好比房屋买卖——在进行交易之时房屋是不会动的，然而房主会更换，房契会记录交易相关方以及换手率。这极大降低了检查代币历史记录的难度，因为你知道该看树上的哪个位置！
1 x4 q: m; ?4 x+ E- J% C5 R0 L; a- m& m) a$ e! C6 J
    让我们关注一下Kanye发送给Donald的代币的索引。Kanye在发送代币之时必须包括该代币的历史记录。如果代币经历过多次交易，就会生成庞大的历史记录！我们将来会设法改善这一点。对Donald来说已经很棒了，因为他只需下载自己关心的代币的历史记录。
/ C! ?8 e' ]' x% C- d* z  R" A6 F3 ~7 s" `* ]/ ]
    5：Donald有两个选择：是继续花费PETH，还是创建一个“退出”交易在根链上换回以太币。
7 P9 u4 @7 c7 @% f9 [* Z) E$ p6 s7 |( R
    如果Donald要将PETH换回以太币，他无需像请求加入时那样向运营者提交信息。出于匿名之需，Donald想要立刻换回他的代币，因此不想继续交易PETH了。他取一段代币的历史记录来证明所有权，并将其放入退出Plasma合约的请求之中。他的“退出”交易还包括Gas费和作为质押的保证金。如果审核通过，且没人质疑Donald，Donald就可以在根链上将PETH换回以太币。
) i/ ?; _& H5 W3 l; u5 h/ i$ `5 T1 M, ]$ P" H
    太棒了！我们已经充分解析了最佳案例的真实场景，下面让我们深入研究一下各个部分吧：交易、退出机制和Plasma运营者的作用。要注意的是不同的实施方案之间存在各种规则和差异，不过你可以从下文了解一些核心的Plasma概念和术语。2 Y/ g/ K5 x) n$ y
0 A3 b2 X7 a: ^0 g: L
    交易
; ^3 r+ K  I  h2 [" ~7 m. s$ B: j& _7 U5 y! f5 ?$ m0 \
    Kanye在发送代币之时必须将代币的历史记录一起发送出去。PlasmaCash的用户只需下载并查看自己关心的代币的历史记录。分片客户端验证能够减少每位用户的数据加载量。6 m: P2 Z* x2 o1 S( u% b! f
+ O: C4 ~) q8 f4 S. z
    然而，如果一个代币经历的交易次数过多，会导致历史记录过大而无法交易。我们建议可以通过设置检查点来解决这一问题。检查点（Checkpoint）会将原先线性大小的证明缩减成一个常量，一旦检验点敲定后，客户端就可以提供上面的证明。PlasmaCash检查点建立在加密经济聚合签名之上，为代币在区块高度Y上由X所有这一纪录提供经济保证。
( f1 t; V+ j2 }  K* m* L' [: h, u. ]/ o6 ?1 B2 Y4 W! M* X
    遗憾的是，在PlasmaCash上发送任意小额的代币会困难得多（PlasmaDebit或状态通道可以解决这一问题，详情见延伸阅读）。用户通过调用押金函数来指定押金金额。虽然通过PlasmaCash发送ERC721代币比较好，但是PlasmaMVP的UTXO模型可以更好地处理任意金额的代币交易。
5 P$ u( ]9 }0 A6 d3 i& y1 D0 D$ ?  U& ]; R. X* |. |
    退出机制. J! @1 Y: C: N# ^- K2 G8 S. `

) U4 Z! i/ ]# r+ Z    可以针对满足以下情况的退款发起退出挑战：
% q$ }: U/ Y2 n! {0 m2 u* E6 g, R3 Q2 p, n
    要求退回已花费的代币
( a" p$ T" v3 b5 R7 {( d
/ Z- s) r1 U! h6 ?# D    要求退回已退回的代币
4 E  C$ d; G# Y2 o5 Q7 g$ ]" d$ g  N4 g
    要求退回有无效历史记录的代币
4 m: U4 o  {1 r
2 S6 x. O5 j4 j2 w& t    任何人都可以提交欺诈证明来挑战退出者，一经证实会没收退出者的保证金。
: D+ J2 u. ]% ]9 r" i2 I& w
) F# i8 b7 J% N0 v    如果遭遇攻击怎么办？
9 b8 W) x& K' M- T9 _3 w& [# v4 V+ a
# b3 ^0 [: N/ g& _    如果Plasma链遭受黑客攻击，黑客必须提交”退出“交易才能成功偷走所有资金！在PlasmaCash上，黑客必须在“退出”交易中包括一张（作为安全保证金的）债券，他不能直接偷走所有钱。' E6 \( w# J/ N
) t% F& O/ ^; ^9 T% y( X
    Plasma运营者9 r# T9 T% d2 m% T  w

  m" `; s- N6 ]2 v& f4 d, s    Plasma运营者的主要作用是将交易聚集起来加入区块，将每个Plasma区块的默克尔根发布到根链上。
; j! |& C# X, \% [& y# z
$ X( E  i; S. O& K; Z, A    在更复杂的设计模型中，可以由PoS验证者代替中心运营者，从而减轻关于交易审查的担忧。不过，中心运营者带来的好处多多，而且Plasma运营者的债权有很多有趣的用处：
. d" ^# N/ ^! A& S; w/ |) x6 N  h" V8 H
    **即时经济确定性！**由于运营者是区块的创建者，他们可以提供交易打包和排序的相关保证。为防作弊，运营者要提供保证金；交易一经打包，用户便知交易已然敲定
6 |3 u7 T; U3 p+ Q/ f# B/ {, v- D) B( {. y& Y+ ~
    **惩罚无效退出：**如果运营者许可了无效的“退出“交易，我们可以予以惩罚，并没收保证金。
, ?  N$ i3 [2 F2 D% c$ `" b2 J1 \# B1 C
    **Casper验证：**运营者可以是CasperPoS验证者！
! B) c. s6 @7 J+ @* f
! {) V; j& ?: a, X( \8 ^9 j    你还能想到其它用处吗？# x0 w% w: k! @
& T: Q! P4 f2 A
    Plasma的设计模型