它是这样事情的：对付每个zkRollup区块，必需将重建状态变革所需的信息作为以太坊生意业务的挪用数据提交，不然zkRollup智能合约将拒绝举办状态转换。zkRollups上的状态变动将导致每笔生意业务的gas本钱较低，这个本钱跟着生意业务数量呈线性增长。
从配景上说，StarkEx是Validium：它是一种Layer 2扩展性办理方案，个中所有的生意业务有效性都利用零常识证明来强制执行，而数据可用性保持在链下。这可以防备Validium中的资金被盗，因为从特定用户账户产生的每次代价转移都必需获得用户的授权。
StarkEx Validium的运营者能冻结用户的资金DAC必需通过其委员会成员的法定人数签署对状态的每次更新，以此来确认它已经吸收到数据。在StarkEx中，DAC由8位参加者构成（添加太多成员会倒霉于系统的活性）。它们都是在已成立的法令统领区中众所周知的富有声望的组织。对他们来说，险些不太大概去实验滥用其权力。这就是其构建的逻辑。
尽量不能完全办理问题，但StarkEx通过引入许可的数据可用性委员会（DAC）来缓解这一环境。
事实上，它是大概的。
虽然，这个双花进攻将仅限于进攻者的账户余额。可是，构建无须信任的合约并从匿名鲸鱼哪里借入须要的资产并不是难事。
在后续的接头中，贾斯汀·德雷克指出数据可用性大概会导致意外的进攻向量：假如DAC（数据可用性委员会）的法定人数的签名密钥遭到粉碎（思量到这些密钥保持在线状态，这让它们很难担保完全安详），进攻者可以将Validium转换为只有他们知道的状态，从而冻结所有资产，然后要求解锁资产的赎金。想象一下，你可以凭据某种方法对ATM举办黑客进攻，以在提款完成后擦除整个银行数据库。你只能从本身的账户中提款，但当数据库消失时，操纵的具体信息也将丢失。银行员工可以在一个月内完成巨大的数据库规复进程。可是，既然他们无法知道是谁提了款，因此通过返回上个查抄点，他们还将规复你已提过款的余额。（蓝狐条记：也就是进攻者可以通过操纵本身的账户，实现双花进攻）
两者技能成长都在减轻对信任的需求，并为用户提供更多对其资产的节制权，都是朝赋予小我私家更多本领的偏向成长，为了取得希望，我们老是需要作出衡量取舍。
除了那些资金被冻结的人。
理论上讲，合约进级机制可以减轻此类进攻。Validium的运营者可以启动新版本的陈设，并在28天的进级通知期后，将状态规复为最新的已知版本。这将是为期一个月的成本锁定，这虽然有很大的本钱，可是假如DAC拒绝会谈，进攻者将得不到一分钱。
DeversiFi最近推出了新版的生意业务所，它是由StarkEx生意业务引擎提供的支持。这是一项了不得的技能成绩，它提高了用户从生意业务所期望的安详级别。这也符号着一个汗青性的转折点：这是有史以来第一个在产物系统中应用STARK（无须信任配置的简捷零常识证明）。
让我们扩展思想试验。不管出于何种假想原因（很大概是由于运营者无法掌控的原因），许多用户的资产已被冻结。那么，用户在StarkEx的资金也可以被充公吗？郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
