Plasma:确保跨链资金安全回流的设计模式
博客园
发表于 2022-12-3 12:03:51
157
0
0
0 S: W: o1 o( M6 u$ p
Plasma文档及其标题定义都写得比较学术化,晦涩难懂。然而对于任何一项技术,只要读者能清晰地明白这项技术应用在什么场景,解决了什么问题,理解起来就会轻松很多。
( @/ z8 q4 A: \
在很多时候,深刻理解问题本身要比理解该问题的一个解决方案更重要。
# c, V& ?3 T+ C7 z$ N3 W
读者可以先不看Plasma文档,自己尝试着思考如何实现跨链资金的安全回流,然后再去参考Plasma文档,就能理解的更快速、更深刻一些。
. [$ g3 p C1 i' S+ d# U- L
简单来说,Plasma其实是一种设计模式、解决方案、指导思想与框架。
按照Plasma模式建立应用链(Plasma-Chain)及根链智能合约(Plasma-Contract),则可确保链外资金能够安全回流到根链。由于Ethereum是图灵完备的智能合约平台,因此可以将Plasma-Contract想象成是Plasma-Chain的轻量级实现。; e" f% o+ A2 ^; X6 ^0 \, N' [
Plasma模式整体上可以分解为四个步骤:
1)根链资金划转到Plasma-Chain
: L2 b M% _7 E* Z, @/ F
用户存入ETH或ERC20-Token到Plasma-Contract,然后Plasma-Chain就会释放出对应量的资金;8 m+ P# R9 [5 e* B" l
2)在Plasma-Chain上执行计算任务
0 Q" T, o. U3 ]
用户在Plasma-Chain中拥有资金后,就可以执行具体的计算任务,包括转账、执行职能合约、运行区块链游戏等等;
3)提交Plasma-Chain状态变更到根链
4 z2 R6 D: `7 d, }8 X! s$ n- H
若把区块链看成是一个去中心化的状态机,那么在Plasma-Chain中执行计算任务后,将会导致一定量的状态改变,为更好地适应不同量的状态改变,需将状态变更情况进行一定的压缩,比如采用Merkle-Tree的方式组织起来,并将Merkle-Tree的Hash-Root提交到Ethereum根链,进而触发运行Plasma-Contract代码将其保存起来;1 A$ O2 |9 l: P, L
- I3 y6 o8 s2 G+ a8 V
4)Plasma-Chain资金安全回流到根链& p& E( ?& X3 B0 J+ k! x
即使Plasma-Chain去中心化的程度不够高,甚至出现安全事故,用户仍然可以提交证明数据到Plasma-Contract中取回在属于自己的资金。
5 a* s2 J8 G4 \$ E7 l( _
类似于用户退出了网络游戏之后,仍然保留了自己的账户充值余额、装备、道具、积分等信息,如果游戏项目不再运营下去,那么用户可以无条件退回充值余额。1 ]4 D+ F5 g4 J" P7 j( ?% e9 `/ v2 o
9 m& W9 Q$ D' H) \7 Q0 v
对于用户和Plasma-Chain运营方,若任何一方作弊(比如提交给Plasma-Contract的数据不正确),那么对方都可以向合约提交欺诈证明(fraudproofs),只要合约代码没有设计缺陷和代码漏洞,那么合约代码就会给出正确的仲裁结果。
. `3 l# a. y- X$ p4 Z
由于Plasma技术文档只描述了一种思想和大体的框架,指出资金能够安全回流到主链是可行的,但是并没有给出特别具体的解决方案,所以目前又发展出若干个更具体的实现方案,比较著名的有PlasmaMVP、PlasmaCash、PlasmaDebit,针对这些内容,后续文章将给出具体的分析说明。
成为第一个吐槽的人