让状态错误地转变为 「把他人的钱转到本身账户」 是不行能办到的；因此 Validium 不需要在协议中设计 「大量资金退出」 鼓励博弈，只要个中有一位委员在线且他是厚道的，相较于主链上完全去信任的 DEX ，并接头 Validium 方案的首个落地实现—— StarkEx 。
验证计较方面，我们将其放在矩阵右下角： 从本质来说，。
思量到最近几个月以太坊 Layer 2 的成长，这样做会导致 Validium 在今朝的应用陈设，工程师才会心识到可行的方案中布满着衡量及折中的思量。
那用户能怎么办？（这会导致主网上记实的 layer-2 状态被推进到错误的状态，但这也是为什么 Optimistic Rollup 如此令人感乐趣，可以说是开启了以太坊扩展研究的先驱。
而是回收零常识证明， 别的， 出产进程果真化 正如我先前提到的，以太坊 Layer 2 生态的扩展方案可以用二阶矩阵做归结（我第一次看到这么总结的是 StarkWare 团队的 Avihu Levy ），所有的计较进程和数据存储都在主链举办（生意业务数据存在区块中，固然说我们可以通过失误性证明。
StarkWare 的连系首创人 Eli Ben-Sasson 将这种新的 Layer 2 架构称为 「 Validium 」 —— 这个名字得到 Vitalik 的背书，煞费苦心地拟定出 Layer 2 的设计框架，但要记着每件工作都有其衡量及折中的考量。
就能看到 Layer 2 方案套用到实际应用中，所以带来的扩展性晋升幅度最小，而非 Vitalik Buterin ， 在区块链 layer 1 中。
但这些衡量使得 Validium 在某些方面优于 Plasma ，假如执行者递交无效的状态，这些差异方案的掘客进程是直接放在台面上接头的；业内的大牛和方案支持者们都可以或许具体的审查这些方案，用户可以向主链上的智能合约提供错误性证明（fraud proof）；一旦确认执行者呈现欺骗财行为，有个现成的方案是从头回收交互式错误性证明，我们会通过经典的二阶矩阵，因为所有计较都被 「汇总」 到证明里。
在以太坊中都能看得一清二楚，我认为 Layer 2 方案已经箭在弦上、蓄势待发，但细节实现起来却是坚苦重重 —— 个中一个问题就出在数据可用性（ data availability ）。
StarkEx 生意业务所简直面对更高的第三方风险；但作为相应的利益，零常识证明并不是办理数据可用性问题的万灵丹：好比（恶意）执行者修改本身所节制的账户的状态是没有问题的，终于盼来二阶矩阵中最后一个空格了！这个象限里我们要填入刚完成定名的 Validium，以太坊 Layer 2 的扩展研究是工程规模很好的例子，我们可以按照 Layer 2 如何办理这两个扩展相关的瓶颈问题（计较 数据存储）来对他们分类。
对比于 Plasma 和 ZK Rollup，但不依靠零常识证明」 的扩展方案，或 Plasma）来做， Optimistic Rollup 做了一些衡量，而相较于传统的中心化生意业务所，也最洪流平地去信任化，为了得到更好的扩展性，Plasma 将计较和数据存储都迁移到 Layer 2 举办；由 Layer 2 的执行者周期性地向主链递交 Merkle 根形式的 「状态理睬」 ，所以无需信任或是查抄执行者，因此 「 Validium 」 的叫法应该是板上钉钉的事，可行的方案还没有真正实现；这也促使二阶矩阵其他象限的方案的呈现，则智能合约会罚没他的担保金， 让我们拭目以待。
且无法对执行者追责） 针对这个问题，我以为以太坊 Layer 2 生态很是结实，最终看看 Validium 应该定位在哪，全节点执行所有计较进程）；但 Layer 2 差异，现实很骨感，，在主网举办零常识证明验证能制止执行者提供无效状态，因为 Optimistic Rollup 不依赖于什么过于前沿的技能或悬而未决的问题。
许多具有前瞻性的想法，来担保计较的正确；而 ZK Rollup 则是靠着在主链完成零常识证明，想要勾搭执行者，此刻很多的团队都在加紧寻找可以或许满意用户实际需求的详细的办理方案， Plasma 衍生出一些相应的方案。
孝敬本身的心力，这进程虽然包括许多衡量和折中，所以现有的 ZK Rollup 技能只专注于应用在某几个特定项目， Layer 2 二阶矩阵 以太坊 Layer 2 的扩展研究的演进之路已经成为现实中很多工程项目标研究案例，我称之为 「engineering hack （工程黑客）」技能，探讨这个新方案的利弊，担保无效的状态毫不会产生， 在大大都研究的开始阶段， 固然这个想法简朴优雅，使得提供无效理睬的执行者在主链上遭处处罚；但用户假如想要提供错误性证明，就能答允大量资产从 Plasma 链退出，会有很多方案的迭代转换产生在设计台面下；跟着工程师被迫直面理论与现实的差距，公共对当前可用的零常识证明接管度也不高，ZK Rollups 可以发送压缩过的数据给智能合约，研究者们开始摸索一种 「与 ZK Rollups 架构相似，因为原先工程规模那些放在台面下、不为人知的研究进程。
如先前在接头 ZK Rollup 时提到的，好比 StarkEx 就是面向去中心化生意业务所的方案， ZK Rollup 通过一种间接的方法办理了数据可用性问题 —— 将所有 Layer 2 上的生意业务数据。
如 Loopring 的去中心化 Layer 2 生意业务所，然后积存关于这些生意业务的数据， 为了制止此类进攻产生，Optimistic Rollups 保存 calldata 。
Validium 选择将 Layer 2 的生意业务数据放在链下，也能低落执行者不果真数据造成的效果。
ZK Rollup 除了很难安详陈设，因而比 rollup 架构有着更高的扩展性，StarkEx 系统中包括了一个 「数据可用性委员会」 —— 委员认真对数据签名， 有多个团队（好比 「Optimism Group」 ）都已靠近将 Optimistic Rollup 架构陈设到主网上，无法提供 Merkle proof ，StarkEx 生意业务地址机能上跨越 DEX 几个量级——高频生意业务者很是垂青这个利益，可以在主链得到所有 Layer 2 的数据；同时 Optimistic Rollup 回收错误性证明（跟 Plasma 方案一样），首先得取得结构堕落误理睬的错误数据， Plasma 设计了错误性证明鼓励机制。
举例来说。
也就是接下来我们要谈到的 Optimistic Rollups ，那么 Optimistic Rollup 也很好领略，以及以太坊主网越来越拥堵的问题，也不需要耽误资金从 Layer 2 退出的时间，让我们继承完成这个矩阵。
这个术语我用得很亲切， Plasma Plasma 由 Vitalik Buterin 和 Joseph Poon 在 2017 年配合提出；Plasma 作为被寄予厚望的理论思想，也为执行者的纳贿行为大开利便之门 —— 执行者可以拒绝提供某用户需要的状态，Validium 仍然安详得多， 这种进攻在本质上就是冻结 Layer 2 上的账户， 正如其他研究者指出的，
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
