推荐阅读：《3 分钟相识举办 Reddit 积分系统演示的以太坊扩容引擎 StarkEx》
ZK Rollup 的数据可用性可掩护用户的资金免遭充公、审查和偷取，可是牺牲了本就较低的吞吐量只要有一个以太坊全节点处于在线状态，ZK Rollup 用户就可以会见 rollup 的状态。
事实上，是大概的。
说明：假如运营商变动了账户 d3，则账户 d1 的所有者在证明其账户所有权时，，会缺少所需节点 m 的信息。
结论我们已经证明白 ZK Rollup 和 Validium （StarkEx）在运作道理上有些相似，其主要区别在于数据是链上可用照旧链下可用，这是领略它们及其应用范畴的要害。这一差别意味着，ZK Rollup 是一个无需信任的去中心化扩展协议，而 Validium 则展示了托管 PoA 系统的更多属性，无论是吞吐量照旧风险特征，尚有安详性大幅提高了。
想象一下，你侵入了 ATM，在提款完成后，可以擦除整个银行数据库。可是，你只能从本身的账户中提款，不外当数据库消失时，所有的操纵信息也会一并消失。
2020 年 6 月 7 日更新：Justin Drake 描写了针对 Validium 的加密经济进攻在后续接头中，Justin Drake 指出，Validium 的数据可用性要领大概意外派生了一个进攻蹊径：假如数据可用性委员会法定人数的签名密钥遭到粉碎（而且这些密钥一直在线，因而难以对其提供掩护），进攻者可以将 Validium 转换成只有他们知道的状态，从而冻结所有资产，然后举办打单。
StarkEx 与许多其它加密项目一样，实现了最先进的进级机制。用户在新版本陈设前 28 天会获得通知，任何不满足的人都可以选择退出。
技能的打破是敦促区块链行业前进的引擎，币安中国区块链研究院与7kLian.com ChainNews 同为密切存眷区块链与暗码学等规模技能成长前沿的组织，故而连系推出「他山之石」专栏，向中文世界读者先容全球范畴最值得存眷的区块链技能希望，以及在金融等财富最新的应用阐明与动态，以期为中国的区块链行业「攻玉」提供警惕和思考。
固然这一问题还未完全办理，但 StarkEx 通过引入有权限的数据可用性委员会（DAC）缓解了此问题。DAC 必需通过法定人数的成员签署对每次状态更新，以确认已吸收到数据。在 StarkEx 中，DAC 由 8 位参加者构成（太多成员会危害系统的活性），而这些参加方也都是声誉很高的组织。他们不太大概会滥用本身的权力。
虽然，这笔双重付出不会超出进攻者账户中的金额。可是，构建一个无需信任的合约并从暗网的无赖手里借用所需的成本是一件很容易的工作。这个操练就留给你们吧。
跟着我们深入研究，问题也变得越发有趣。StarkEx 执行了校验人合约进级机制（Verifier Contract Upgrade），答允运营商无任何延迟地将新项目添加到校验人的合约链中。这样做不能使任何旧逻辑失效——譬喻：不能删除用户签名查抄。反而可添加特另外约束（就 Solidity 而言，可以将约束视为 require() 语句）。
其道理是这样：运营商对 Merklized 状态举办了微小调解，从而无需奉告用户。由于缺乏这些信息，用户无法为本身的账户建设 Merkle 所有权证明。
这是一个很好的安详特性：假如在 StarkEx 的 STARK 简短逻辑中发明任何丢失的限制，可以在不引入任何新裂痕的环境下举办快速修复。然而，这一成果在理论上也可被用作埋没的审查后门。简而言之，StarkEx 运营商老是可以将扩展陈设至合约逻辑中，从而引入黑名单，且无需事先告诫用户。按照他们的文档来看，今朝尚不完全清楚，可是看起来执行新法则不需要得到 DAC 的同意。
银行员工需要用一个月的时间规复巨大的数据库。可是，由于他们不知道提款的人是谁，所以在规复至上一个查抄点时，你的账户也会规复——这样你取走的钱又返来了！
假如把 StarkEx 视为完全去中心化的生意业务所协议，那么这就没有多大意义。想象一下，Vitalik Buterin 有一个可当即冻结任何故太坊账户的开关。另一方面，假如把 StarkEx 视为是加密生意业务所的安详加强成果（其建设者必定但愿如此），那么这就是完全有意义的。
有了 Merkle 树数据，被审查的用户可以或许直接通过主网上的 ZK Rollup 合约，领回其资金。他们只需要提供一份账户所有权的 Merkle 证明。因此，链上数据可用性可以担保任何（包罗 ZK Rollup 运营商）都无法冻结或获取用户的资金。
StarkEx Validium 的运营者可以冻结用户的资金「要想摧毁某项事物的人，会先去节制它。」
脱期期竣事后，可以陈设新的合约逻辑，将冻结的资金转移到指定的托管钱包中。不幸的是，任何受影响的用户，都无法对此采纳动作。
DeversiFi 最近推出了基于 StarkEx 生意业务引擎的新版生意业务所。这一不行思议的技能成绩提高了加密生意业务所的安详级别，同时带来了汗青的拐点：这是史上第一次在出产系统中应用 STARKs，简捷的零常识证明，无需可信性配置（trusted setup）。
没有 ZK Rollup 的数据可用性作保障，Validium 的运营者，或更精确地说，数据可用性打点者可以或许拒绝任何用户转移资金。
可是，那些资金被冻结的人，却没有步伐退出。
StarkEx Validium 的运营商可以充公用户的资金郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
