撰文：AlexGluchowski，TheMatterLabs创始人，专注于DeFi的以用户为中心的ZKRollup技术研究
来源：币安研究院、链闻
编者注：原标题为：ZKRollupvsValidium》
技术的突破是推动区块链行业前进的引擎，币安中国区块链研究院与链闻ChainNews同为密切关注区块链与密码学等领域技术发展前沿的组织，故而联合推出「他山之石」专栏，向中文世界读者介绍全球范围最值得关注的区块链技术进展，以及在金融等产业最新的应用分析与动态，以期为中国的区块链行业「攻玉」提供借鉴和思考。
本文对比Validium与ZKRollup两种扩容方案因数据可用性区别而适用于不同应用场景。
ZKRollup是时下最热门也是被认为较去中心化的一类区块链二层扩容方案，使用了零知识证明zk-SNARKs的密码学技术实现了较高的安全性。StarkEx则将简洁零知识证明STARKs应用在交易所安全性升级，而用户的资金仍会面临被冻结、查封或盗走的风险。
Worldcoin：World App单日交易笔数达50万，创历史新高:9月5日消息，Worldcoin在社交平台上表示，World App单日交易笔数达50万，创历史新高。[2023/9/5 13:19:38]
DeversiFi最近推出了基于StarkEx交易引擎的新版交易所。这一不可思议的技术成就提高了加密交易所的安全级别，同时带来了历史的拐点：这是史上第一次在生产系统中应用STARKs，简洁的零知识证明，无需可信性设置。
背景信息：StarkEx是一种第二层扩容解决方案「Validium」，其所有交易的有效性都是通过零知识证明实现，而数据可用性仍在链外。这样可以避免Validium中的资金被盗，因为账户里的每一次价值转移，都必须经过用户授权。
Validium的机制与ZKRollup非常相似，唯一的区别是ZKRollup中的数据可用性是在链上的，而Validium则是在链外。因此，Validium获得了更高的吞吐量，但也是有代价的：
StarkExValidium的运营者可以冻结用户的资金
「要想摧毁某项事物的人，会先去控制它。」
——FrankHerbert，《沙丘》
FalconX：当前的加密市场情绪与2019年类似:金色财经报道，加密货币大宗经纪公司FalconX在其每周通讯中写道，当前的加密市场情绪与2019年类似，行业内部对潜在的技术发展热议，而更广泛的市场对加密行业的关注却很少，BTC 和 ETH 的交易量目前也处于近一年来的低点。
FalconX分析师指出，无论是实际波动还是隐含波动，加密货币的波动性都在持续下降，这可能为一部分投资者提供买入机会，但投资者仍然需要持续关注宏观经济的影响因素，包括美联储加息、国际油价、美国即将公布的第二季度GDP数据以及欧洲央行加息的预期。[2023/7/27 16:00:58]
没有ZKRollup的数据可用性作保障，Validium的运营者，或更准确地说，数据可用性管理者能够拒绝任何用户转移资金。
其原理是这样：运营商对Merklized状态进行了微小调整，从而无需告知用户。由于缺乏这些信息，用户无法为自己的账户创建Merkle所有权证明。
说明：如果运营商更改了账户d3，则账户d1的所有者在证明其账户所有权时，会缺少所需节点m的信息。
Paradigm：SEC对Bittrex的指控超越其管辖权:金色财经报道，加密投资公司Paradigm在美国证券交易委员会(SEC)针对比特币交易所Bittrex的案件中提交了一份法庭之友简报，声称SEC越权了。
Paradigm在文件中表示，该案件应该被驳回，因为美国证券交易委员会“错误地”试图监管加密二级市场，因为它们不涉及'投资合同'，因此不属于该机构职权范围内的证券交易。
今年4月，美国证交会指控Bittrex经营一家未注册的证券交易所、经纪商和清算机构。大约两周后，Bittrex申请破产。[2023/7/11 10:47:10]
在Validium中是否有防止数据预扣攻击的方法？自2016年Plasma概念被提出以来，这一问题一直被广泛讨论，而ZKRollup就是解决问题的研究成果。非rollup尝试以无需信任的方式确保了数据可用性，导致Validium丧失了其大部分竞争优势。
虽然这一问题还未完全解决，但StarkEx通过引入有权限的数据可用性委员会缓解了此问题。DAC必须通过法定人数的成员签署对每次状态更新，以确认已接收到数据。在StarkEx中，DAC由8位参与者组成，而这些参与方也都是声誉很高的组织。他们不太可能会滥用自己的权力。
AlienSwap NFT市场发布探索者计划路线图:5月22日消息，AlienSwap NFT市场发布探索者计划路线图，并公布即将上线的一系列创新产品和社区空投计划。其在探索者计划期间将发布NFT无代码创作平台，首个NFT交易创新区，外星人发射器，太空竞赛空投并支持多链部署。AlienSwap将在一周内上线NONE-ZERO NFT实验，并向社区用户空投纪念NFT和LaunchPad积分，以正式开启探索者计划。[2023/5/22 15:18:33]
但矛盾的是，知名度高、声誉好、位于强大的司法管辖区，恰恰是使它们脆弱的原因。可能出现的情况是：运营商必须执行KYC/AML法规，并有义务冻结交易历史超过1万美元账户里的所有资金。
随着我们深入研究，问题也变得更加有趣。StarkEx执行了校验人合约升级机制，允许运营商无任何延迟地将新项目添加到校验人的合约链中。这样做不能使任何旧逻辑失效——例如：不能删除用户签名检查。反而可添加额外的约束。
这是一个很好的安全特性：如果在StarkEx的STARK简短逻辑中发现任何丢失的限制，可以在不引入任何新漏洞的情况下进行快速修复。然而，这一功能在理论上也可被用作隐藏的审查后门。简而言之，StarkEx运营商总是可以将扩展部署至合约逻辑中，从而引入黑名单，且无需事先警告用户。根据他们的文档来看，目前尚不完全清楚，但是看起来执行新规则不需要获得DAC的同意。
Avalanche已在主网激活Cortina升级:4月26日消息，据官方推特，Avalanche的Cortina升级已于昨日23时左右在主网上激活，Cortina是Avalanche Go的最新版本，具有3项关键优化，将为Avalanche上的开发人员提供更好的体验。
此前消息，Cortina升级包括迁移X-Chain以运行Snowman++共识，这意味着整个网络已经迁移到一个单一的共识引擎，减少可信计算基础的规模并增加了现有研发工作的杠杆作用。Cortina升级还引入了批处理授权奖励并将C-Chain gas上限提高至1500 gas。[2023/4/26 14:27:56]
如果把StarkEx视为完全去中心化的交易所协议，那么这就没有多大意义。想象一下，VitalikButerin有一个可立即冻结任何以太坊账户的开关。另一方面，如果把StarkEx视为是加密交易所的安全增强功能，那么这就是完全有意义的。
StarkExValidium的运营商可以没收用户的资金
让我们拓展下思维。假如由于某些原因，现在大量用户的资产被冻结了。那么问题来了，用户在StarkEx上的资金可能被没收吗？
事实上，是可能的。
StarkEx与很多其它加密项目一样，实现了最先进的升级机制。用户在新版本部署前28天会得到通知，任何不满意的人都可以选择退出。
但是，那些资金被冻结的人，却没有办法退出。
宽限期结束后，可以部署新的合约逻辑，将冻结的资金转移到指定的托管钱包中。不幸的是，任何受影响的用户，都无法对此采取行动。
此外，还有一些合理的担忧，即升级通知期限本身，可能不足以让每位不同意更改的用户退出。但这个问题是通用合约可升级性的问题，不是Validium独有的。
2020年6月7日更新：JustinDrake描述了针对Validium的加密经济攻击
在后续讨论中，JustinDrake指出，Validium的数据可用性方法可能意外派生了一个攻击路线：如果数据可用性委员会法定人数的签名密钥遭到破坏，攻击者可以将Validium转换成只有他们知道的状态，从而冻结所有资产，然后进行勒索。
从理论上讲，合约升级机制能够应对这种攻击。Validium的运营商部署新版本，在28天的升级通知期后，状态会恢复成最新的已知版本。资金会被锁定一个月，但是如果DAC拒绝谈判，攻击者一分钱也拿不到。
然而，事实证明，攻击者可以通过一种方法迫使运营商要么选择失去一切，要么选择让攻击者进行双重支付攻击。以下示例可以进行说明：
想象一下，你侵入了ATM，在提款完成后，可以擦除整个银行数据库。但是，你只能从自己的账户中提款，不过当数据库消失时，所有的操作信息也会一并消失。
银行员工需要用一个月的时间恢复复杂的数据库。但是，由于他们不知道提款的人是谁，所以在恢复至上一个检查点时，你的账户也会恢复——这样你取走的钱又回来了！
当然，这笔双重支付不会超出攻击者账户中的金额。但是，构建一个无需信任的合约并从暗网的恶棍手里借用所需的资本是一件很容易的事情。这个练习就留给你们吧。
这种攻击表明了Validium的安全模型与PoA网络的安全模型相对类似。实际上，一个有20个节点和51％门限签名的PoA网络可能比有8个节点和100％门限签名的Validium更安全。
ZKRollup的数据可用性可保护用户的资金免遭没收、审查和盗取，但是牺牲了本就较低的吞吐量
只要有一个以太坊全节点处于在线状态，ZKRollup用户就可以访问rollup的状态。
工作原理：对于每个ZKRollup区块，重构状态变更所需的信息，必须作为以太坊交易的调用数据提交，否则ZKRollup智能合约将拒绝进行状态转换。ZKRollup上的状态变更会导致每次交易产生少量的燃料费，此成本会随交易数呈线性增长。
有了Merkle树数据，被审查的用户能够直接通过主网上的ZKRollup合约，领回其资金。他们只需要提供一份账户所有权的Merkle证明。因此，链上数据可用性可以保证任何都无法冻结或获取用户的资金。
不过，数据可用性存储在链上限制了吞吐量——ZKRollup在当前以太坊主网上有严格的实用上限——每秒2000笔交易，而StarkExValidium则是9000笔。这种差异可能会决定这两种技术的应用领域和使用场景。例如，ZKRollup非常适合扩展去中心化的加密支付，以及严格要求去信任的不可变智能合约。另一方面，Validium可能更适合传统的高频交易或信任要求更低的博弈。
结论
我们已经证明了ZKRollup和Validium在运作原理上有些相似，其主要区别在于数据是链上可用还是链下可用，这是理解它们及其应用范围的关键。这一差异意味着，ZKRollup是一个无需信任的去中心化扩展协议，而Validium则展示了托管PoA系统的更多属性，无论是吞吐量还是风险特征，还有安全性大幅提高了。
每一次为了减少信任，并为用户提供对其资产更多控制权的技术发展，都是朝着增强个人能力迈出的一步。为了继续前进，我们总是需要做出权衡。
尽管如此，加密社区越来越一致地认为，技术已经迈过了「不作恶」的阶段，现在是「无法作恶」的时代。我们可通过自我托管、审查抵制、隐私及消灭单点故障来实现这一目的。这些想法构成了我们在打造系统时的基本价值观。
完全去信任扩容的时代即将来临，MatterLabs的大事件宣告倒计时也已开启，敬请期待。
在此特别感谢LasseClausen、ChristopherHeymann、JamesPrestwich、JohnAdler、HaseebQureshi、AlexEvans及HowardWu对本文的评价及宝贵意见。
来源链接：medium.com
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。