每一次为了淘汰信任，并为用户提供对其资产更多节制权的技能成长，都是朝着加强小我私家本领迈出的一步。为了继承前进，我们老是需要做出衡量。
尽量如此，加密社区越来越一致地认为，技能已经迈过了“不作恶”的阶段，此刻是“无法作恶”的时代。我们可通过自我托管、审查抵抗、隐私及没落单点妨碍来实现这一目标。这些想法组成了我们在打造系统时的根基代价观。
银行员工需要用一个月的时间规复巨大的数据库。可是，由于他们不知道提款的人是谁，所以在规复至上一个查抄点时，你的账户也会规复——这样你取走的钱又返来了！
没有zkRollup的数据可用性作保障，Validium的运营者，或更精确地说，数据可用性打点者可以或许拒绝任何用户转移资金。
事情道理：对付每个zkRollup区块，重构状态改观所需的信息，必需作为以太坊生意业务的挪用数据提交，不然zkRollup智能合约将拒绝举办状态转换。zkRollup上的状态改观会导致每次生意业务发生少量的燃料费（gas cost），此本钱会随生意业务数呈线性增长。
Validium的机制与zkRollup很是相似，独一的区别是zkRollup中的数据可用性是在链上的，而Validium则是在链外。因此，Validium得到了更高的吞吐量，但也是有价钱的：
StarkEx与许多其它加密项目一样，实现了最先进的进级机制。用户在新版本陈设前28天会获得通知，任何不满足的人都可以选择退出。
假如把StarkEx视为完全去中心化的生意业务所协议，那么这就没有多大意义。想象一下，Vitalik Buterin有一个可当即冻结任何账户的开关。另一方面，假如把StarkEx视为是加密生意业务所的安详加强成果（其建设者必定但愿如此），那么这就是完全有意义的。
固然这一问题还未完全办理，但StarkEx通过引入有权限的数据可用性委员会（DAC）缓解了此问题。DAC必需通过法定人数的成员签署对每次状态更新，以确认已吸收到数据。在StarkEx中，DAC由8位参加者构成（太多成员会危害系统的活性），而这些参加方也都是声誉很高的组织。他们不太大概会滥用本身的权力。
StarkEx是一种第二层扩容办理方案“Validium”，其所有生意业务的有效性都是通过零常识证明实现，而数据可用性仍在链外。这样可以制止Validium中的资金被盗，因为账户里的每一次代价转移，都必需颠末用户授权。
这种进攻表白了Validium的安详模子与PoA网络的安详模子相对雷同。实际上，一个有20个节点和51％门限签名的PoA网络大概比有8个节点和100％门限签名的Validium更安详。
不外，数据可用性存储在链上限制了吞吐量——zkRollup 在当前以太坊主网上有严格的利用上限——每秒2000笔生意业务（TPS），而StarkEx Validium则是9000笔。这种差别大概会抉择这两种技能的应用规模和利用场景。譬喻，zkRollup很是适合扩展去中心化的加密付出（VISA全球范畴总共只有2000 TPS），以及严格要求去信任的不行变智能合约。另一方面，Validium大概更适合传统的高频生意业务或信任要求更低的博弈。
虽然，这笔双重付出不会超出进攻者账户中的金额。可是，构建一个无需信任的合约并从暗网的无赖手里借用所需的成本是一件很容易的工作。这个操练就留给你们吧。
想象一下，你侵入了ATM，在提款完成后，可以擦除整个银行数据库。可是，你只能从本身的账户中提款，不外当数据库消失时，所有的操纵信息也会一并消失。
但抵牾的是，知名度高、声誉好、位于强大的司法统领区，恰恰是使它们懦弱的原因。大概呈现的环境是：运营商必需执行KYC/AML礼貌，并有义务冻结生意业务汗青高出1万美元账户里的所有资金。
我们已经证明白zkRollup和Validium（StarkEx）在运作道理上有些相似，其主要区别在于数据是链上可用照旧链下可用，这是领略它们及其应用范畴的要害。这一差别意味着，zkRollup是一个无需信任的去中心化扩展协议，而Validium则展示了托管PoA系统的更多属性，无论是吞吐量照旧风险特征，尚有安详性大幅提高了。
DeversiFi最近推出了基于StarkEx生意业务引擎的新版生意业务所。这一不行思议的技能成绩提高了加密生意业务所的安详级别，，同时带来了汗青的拐点：这是史上第一次在出产系统中应用STARKs，简捷的零常识证明，无需可信性配置（trusted setup）。
脱期期竣事后，可以陈设新的合约逻辑，将冻结的资金转移到指定的托管钱包中。不幸的是，任何受影响的用户，都无法对此采纳动作。
在后续接头中，Justin Drake指出，Validium的数据可用性要领大概意外派生了一个进攻蹊径：假如数据可用性委员会法定人数的签名密钥遭到粉碎（而且这些密钥一直在线，因而难以对其提供掩护），进攻者可以将Validium转换成只有他们知道的状态，从而冻结所有资产，然后举办打单。
从理论上讲，合约进级机制可以或许应对这种进攻。Validium的运营商陈设新版本，在28天的进级通知期后，状态会规复成最新的已知版本。资金会被锁定一个月（这虽然会发生相当大的本钱），可是假如DAC拒绝会谈，进攻者一分钱也拿不到。
2020年6月7日更新：Justin Drake描写了针对Validium的加密经济进攻。
您可以可通过邮箱[email protected]、Twitter及Telegram接洽Matter Labs完全去信任扩容的时代即将光降，Matter Labs的大事件宣告倒计时也已开启，敬请等候。
只要有一个以太坊全节点处于在线状态，zkRollup用户就可以会见rollup的状态。
配景信息
Matter Labs正在尽力加快民众区块链的大局限回收。今朝，我们正在建树zkSync，这是一种合用于以太坊的可扩展性引擎，具有安详性高、速度快的特点。
在Validium中是否有防备数据预扣进攻的要领？自2016年Plasma观念被提出以来，这一问题一直被遍及接头，而zkRollup就是办理问题的研究成就。非rollup实验以无需信任的方法确保了数据可用性，导致Validium丧失了其大部门竞争优势。
结论
在此出格感激Lasse Clausen、Christopher Heymann、James Prestwich、John Adler、Haseeb Qureshi、Alex Evans及Howard Wu对本文的评价及名贵意见。
跟着我们深入研究，问题也变得越发有趣。StarkEx执行了校验人合约进级机制（Verifier Contract Upgrade），答允运营商无任何延迟地将新项目添加到校验人的合约链中。这样做不能使任何旧逻辑失效——譬喻：不能删除用户签名查抄。反而可添加特另外约束（就Solidity而言，可以将约束视为`require()`语句）。
另外，尚有一些公道的担心，即进级通知期限自己，大概不敷以让每位差异意变动的用户退出（即所谓的“大局限退出”场景）。但这个问题是通用合约可进级性的问题，不是Validium独占的。
zkRollup 是时下最热门也是被认为较去中心化的一类二层扩容方案，利用了零常识证明zk-SNARKs 的暗码学技能实现了较高的安详性。StarkEx则将简捷零常识证明STARKs应用在生意业务所安详性进级，而用户的资金仍谋面对被冻结、查封或盗走的风险。
StarkEx Validium的运营商可以充公用户的资金
然而，事实证明，进攻者可以通过一种要领迫使运营商要么选择失去一切，要么选择让进攻者举办双重付出（double-spend）进攻。以下示例可以举办说明：
这是一个很好的安详特性：假如在StarkEx的STARK简短逻辑中发明任何丢失的限制，可以在不引入任何新裂痕的环境下举办快速修复。然而，这一成果在理论上也可被用作埋没的审查后门。简而言之，StarkEx运营商老是可以将扩展陈设至合约逻辑中，从而引入黑名单，且无需事先告诫用户。按照他们的文档来看，今朝尚不完全清楚，可是看起来执行新法则不需要得到DAC的同意。
其道理是这样：运营商对Merklized状态举办了微小调解，从而无需奉告用户。由于缺乏这些信息，用户无法为本身的账户建设Merkle所有权证明。
有了Merkle树数据，被审查的用户可以或许直接通过主网上的zkRollup合约，领回其资金。他们只需要提供一份账户所有权的Merkle证明。因此，链上数据可用性可以担保任何（包罗zkRollup运营商）都无法冻结或获取用户的资金。让我们拓展下思维。如果由于某些原因（很大概是由于运营商无法节制的环境），此刻大量用户的资产被冻结了。那么问题来了，用户在StarkEx上的资金大概被充公吗？
事实上，是大概的。
StarkEx Validium的运营者可以冻结用户的资金。
zkRollup的数据可用性可掩护用户的资金免遭充公、审查和偷取，可是牺牲了本就较低的吞吐量。
“要想摧毁某项事物的人，会先去节制它。”——Frank Herbert，《沙丘》
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
