事实上，是大概的。
——Frank Herbert，《沙丘》
脱期期竣事后，可以陈设新的合约逻辑，将冻结的资金转移到指定的托管钱包中。不幸的是，任何受影响的用户，都无法对此采纳动作。
让我们拓展下思维。如果由于某些原因（很大概是由于运营商无法节制的环境），此刻大量用户的资产被冻结了。那么问题来了，用户在 StarkEx 上的资金大概被充公吗？跟着我们深入研究，问题也变得越发有趣。StarkEx 执行了校验人合约进级机制（Verifier Contract Upgrade），答允运营商无任何延迟地将新项目添加到校验人的合约链中。这样做不能使任何旧逻辑失效——譬喻：不能删除用户签名查抄。反而可添加特另外约束（就 Solidity 而言，可以将约束视为 require() 语句）。
说明：假如运营商变动了账户 d3，则账户 d1 的所有者在证明其账户所有权时，会缺少所需节点 m 的信息。
想象一下，你侵入了 ATM，在提款完成后，可以擦除整个银行数据库。可是，你只能从本身的账户中提款，不外当数据库消失时，所有的操纵信息也会一并消失。
StarkEx 与许多其它加密项目一样，实现了最先进的进级机制。用户在新版本陈设前 28 天会获得通知，任何不满足的人都可以选择退出。
银行员工需要用一个月的时间规复巨大的数据库。可是，由于他们不知道提款的人是谁，所以在规复至上一个查抄点时，你的账户也会规复——这样你取走的钱又返来了！
StarkEx Validium 的运营者可以冻结用户的资金
这种进攻表白了 Validium 的安详模子与 PoA 网络的安详模子相对雷同。实际上，一个有 20 个节点和 51％门限签名的 PoA 网络大概比有 8 个节点和 100％门限签名的 Validium 更安详。
本文比拟 Validium 与 ZK Rollup 两种扩容方案因数据可用性区别而合用于差异应用场景。
编者注：原标题为：【他山之石】ZK Rollup vs Validium （StarkEx）》
StarkEx Validium 的运营商可以充公用户的资金DeversiFi 最近推出了基于 StarkEx 生意业务引擎的新版生意业务所。这一不行思议的技能成绩提高了加密生意业务所的安详级别，同时带来了汗青的拐点：这是史上第一次在出产系统中应用 STARKs，简捷的零常识证明，无需可信性配置（trusted setup）。
结论在 Validium 中是否有防备数据预扣进攻的要领？自 2016 年 Plasma 观念被提出以来，这一问题一直被遍及接头，而 ZK Rollup 就是办理问题的研究成就。非 rollup 实验以无需信任的方法确保了数据可用性，导致 Validium 丧失了其大部门竞争优势。
配景信息：StarkEx 是一种第二层扩容办理方案「Validium」，其所有生意业务的有效性都是通过零常识证明实现，而数据可用性仍在链外。这样可以制止 Validium 中的资金被盗，因为账户里的每一次代价转移，都必需颠末用户授权。
有了 Merkle 树数据，被审查的用户可以或许直接通过主网上的 ZK Rollup 合约，领回其资金。他们只需要提供一份账户所有权的 Merkle 证明。因此，链上数据可用性可以担保任何（包罗 ZK Rollup 运营商）都无法冻结或获取用户的资金。
在此出格感激 Lasse Clausen、Christopher Heymann、James Prestwich、John Adler、Haseeb Qureshi、Alex Evans 及 Howard Wu 对本文的评价及名贵意见。
完全去信任扩容的时代即将光降，Matter Labs 的大事件宣告倒计时也已开启，敬请等候。
我们已经证明白 ZK Rollup 和 Validium （StarkEx）在运作道理上有些相似，其主要区别在于数据是链上可用照旧链下可用，这是领略它们及其应用范畴的要害。这一差别意味着，ZK Rollup 是一个无需信任的去中心化扩展协议，而 Validium 则展示了托管 PoA 系统的更多属性，无论是吞吐量照旧风险特征，尚有安详性大幅提高了。不外，数据可用性存储在链上限制了吞吐量——ZK Rollup 在当前以太坊主网上有严格的实用上限——每秒 2000 笔生意业务（TPS），而 StarkEx Validium 则是 9000 笔。这种差别大概会抉择这两种技能的应用规模和利用场景。譬喻，ZK Rollup 很是适合扩展去中心化的加密付出（VISA 全球范畴总共只有 2000 TPS），以及严格要求去信任的不行变智能合约。另一方面，Validium 大概更适合传统的高频生意业务或信任要求更低的博弈。
从理论上讲，合约进级机制可以或许应对这种进攻。Validium 的运营商陈设新版本，在 28 天的进级通知期后，状态会规复成最新的已知版本。资金会被锁定一个月（这虽然会发生相当大的本钱），可是假如 DAC 拒绝会谈，进攻者一分钱也拿不到。
来历链接：medium.com
其道理是这样：运营商对 Merklized 状态举办了微小调解，从而无需奉告用户。由于缺乏这些信息，用户无法为本身的账户建设 Merkle 所有权证明。
Validium 的机制与 ZK Rollup 很是相似，独一的区别是 ZK Rollup 中的数据可用性是在链上的，而 Validium 则是在链外。因此，Validium 得到了更高的吞吐量，但也是有价钱的：
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
