下一个值得存眷的方案被放在 Plasma 斜对角象限——也就是 ZK Rollup；有意思的是，ZK Rollup 是由某个以太坊研究员提出的，而非 Vitalik Buterin 。
原文标题：《科普 | Validium 与 Layer 2 的设计空间》 从本质来说，Plasma 的思想相对直观。为了得到更好的扩展性，Plasma 将计较和数据存储都迁移到 Layer 2 举办；由 Layer 2 的执行者周期性地向主链递交 Merkle 根形式的 「状态理睬」 。假如执行者递交无效的状态，用户可以向主链上的智能合约提供错误性证明（fraud proof）；一旦确认执行者呈现欺诈行为，则智能合约会罚没他的担保金。 为了制止此类进攻产生，StarkWare 团队利用了一种手段，我称之为 「engineering hack （工程黑客）」技能。这个术语我用得很亲切，因为我整个职业生涯中就时常与 「engineering hack 」打交道。StarkEx 系统中包括了一个 「数据可用性委员会」 —— 委员认真对数据签名，并担保数据始终可用。只要个中有一位委员在线且他是厚道的，用户就必然能得到退出资金需要的数据。 让我们拭目以待。 正如我先前提到的，以太坊 Layer 2 的扩展研究是工程规模很好的例子，因为原先工程规模那些放在台面下、不为人知的研究进程，在以太坊中都能看得一清二楚。虽然假如有人对其看似曲折而迟钝的成长进程冷嘲热讽，我也不会以为太惊奇。 Plasma 由 Vitalik Buterin 和 Joseph Poon 在 2017 年配合提出；Plasma 作为被寄予厚望的理论思想，可以说是开启了以太坊扩展研究的先驱。我们将其放在矩阵右下角： Plasma 设计了错误性证明鼓励机制，来担保计较的正确；而 ZK Rollup 则是靠着在主链完成零常识证明，担保无效的状态毫不会产生。因为所有计较都被 「汇总」 到证明里，所以无需信任或是查抄执行者。 但这些衡量使得 Validium 在某些方面优于 Plasma 。在主网举办零常识证明验证能制止执行者提供无效状态，也能低落执行者不果真数据造成的效果。举例来说，想要勾搭执行者，让状态错误地转变为 「把他人的钱转到本身账户」 是不行能办到的；因此 Validium 不需要在协议中设计 「大量资金退出」 鼓励博弈，也不需要耽误资金从 Layer 2 退出的时间。 以太坊 Layer 2 的扩展研究的演进之路已经成为现实中很多工程项目标研究案例。然而抱负很饱满，现实很骨感，许多具有前瞻性的想法，直到真正实践的时候，工程师才会心识到可行的方案中布满着衡量及折中的思量。颠末多年的研究和实验，以太坊 Layer 2 生态的扩展方案可以用二阶矩阵做归结（我第一次看到这么总结的是 StarkWare 团队的 Avihu Levy ）。 本月初，StarkWare 团队推出了全新的以太坊主网 Layer 2 扩展方案。 郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
