以太坊可伸缩性解决方案：zkrollup和valium的区别

（梵高岩石区）

zkollup和alidium都是火币网第2层的可扩展解决方案。它们的事务有效性是通过使用零知识证明来实现的，但是一个数据可用性保持在链上，另一个保持在链下。这种看似很小的差异导致了资产安全水平的巨大差异。当然，这也会导致两者在吞吐量上的巨大差异。Valium可能更适合于不需要太多信任的高频应用（如游戏DAPP），而zkollup则更适合于安全性要求较高的支付和交换等场景。本文作者Alex gluchowski由“blue fox notes”社区的“Sien”翻译。

Deosifi最近推出了一个新版本的交易所，它由starkex交易引擎支持。这是一项显著的技术成就，它提高了用户对加密货币交易的安全性水平。这也标志着一个历史性的转折点：这是历史上第一次将start（无需信任设置的简单零知识证明）应用于产品系统。

在上下文中，starkex是alidium：它是一个第2层可扩展性解决方案，其中所有事务的有效性都是使用零知识证明来实现的，而数据可用性则保持脱机状态。这可以防止alidium中的资金被盗，因为来自特定用户帐户的每次价值转移都必须经过用户的授权。

（维塔利克转向伊莱·本·萨森对两者区别的总结。）

Valium的机制与zkrollup非常相似，主要区别在于zkrollup中的数据可用性在链上，而alidium仍然在链上。这允许安定获得更高的吞吐量，但代价是：

StartEx alium运营商可以冻结用户资金

“能破坏事物的人控制事物。AMPLAMPLmdash；AMPLmdash；弗兰克·赫伯特，沙丘

没有zkrollup的数据可用性保证，alidium的运营商（或者更准确地说，数据可用性管理者）可以拒绝任何用户转移资金的权利。

这就是它的工作原理：运营商在不向用户透露默克尔的状态变化的情况下，对默克尔的状态进行微小的改变。没有这些信息，用户就无法为自己的账户创建默克尔所有权证书。

如图所示：如果操作员更改了帐户D3，则帐户D1的所有者将丢失其证书中要求的节点m的信息，该信息需要用于证明其帐户所有权。

在alidium中是否有防止数据保留攻击的方法？自2016年提出等离子体概念以来，人们一直在讨论这个问题。同时，zkrollup也从这一研究成果中诞生。非汇总试图在没有信任的情况下确保数据可用性，这将导致Valium失去大部分的竞争优势。

尽管这不是一个完整的解决方案，但starxex通过引入一个授权数据可用性委员会（DAC）来缓解这一问题。

发援会必须以委员会成员的法定人数签署每一次状态更新，以确认收到数据。在starkex中，DAC由8个参与者组成（添加太多的成员不利于系统的活动）。它们是在既定法律管辖区内知名的知名组织。他们几乎不可能试图滥用权力。这就是它构建的逻辑。

自相矛盾的是，著名的、享有声望的和强大的国家管辖权是使他们脆弱的原因。一个潜在的麻烦是，运营商要求KYC/AML合规，并有义务冻结（可能永远）交易记录超过10000美元的账户中的所有资金。

随着我们研究的深入，starxex已经实施了“验证人合同升级”机制，允许运营商立即在链上的验证人合同中添加新项目。它不会使任何旧逻辑失效，例如，不能删除用户签名检查。相反，它允许添加其他约束（在稳固性的情况下，可以将约束视为“require（）”语句）。

这是一个很好的安全功能：如果在starkex的stark电路逻辑中发现任何丢失的约束，可以在不引入新漏洞的情况下快速修复。但是，此功能可以用作隐藏的审查后门。

简而言之，starkex运营商总是可以部署契约逻辑的扩展，这使得在不提前警告用户的情况下引入黑名单成为可能。从它的文档中还不完全清楚，但似乎实现新规则并不需要获得发援会的同意。

如果你把斯塔克前男友看作是一个完全去中心化的交易，那就没什么意义了。想象一下，如果维塔利克布特林有一个开关，将立即冻结任何火币网帐户？此外，如果你把starkex看作是对加密交换安全特性的增强，这也是有意义的，因为它的创建者应该这样做。

StartEx alium运营商可以没收用户资金

让我们扩大我们的思维实验。无论出于何种假设原因（很可能是由于运营商无法控制的原因），许多用户的资产已被冻结。那么，starkex的用户资金可以被没收吗？

事实上，这是可能的。

与许多其他加密项目一样，starxex实现了最新的升级机制。在部署新版本之前，将提前28天通知用户，任何不喜欢的用户都可以退出。

除了那些资金被冻结的人。

在合同上增加一个新的逻辑，以便在宽限期过后，冻结的资金可以通过新的逻辑转移到指定方进行保管。不幸的是，受影响的用户别无选择。

还有一些合理的担心，升级提醒周期可能不足以让每个不同意更改为退出的用户（所谓的“大规模退出”场景）。但是，这个问题是一个一般的合同升级问题，这并不是alidium独有的。

贾斯汀和米德尔顿描述了对alidium的加密经济攻击

在下面的讨论中，Justin middot；Drake指出，数据可用性可能会导致意外的攻击向量：如果DAC（数据可用性委员会）的仲裁签名密钥损坏（考虑到这些密钥保持在线，这使得它们很难确保完全安全），攻击者可以将alium转换为只有他们知道，冻结所有资产，然后要求解除对资产的赎金。

理论上，契约升级机制可以减轻这种攻击。Validium的运营商可以开始部署新版本，并在28天的升级通知期后将状态恢复到最新的已知版本。这将是一个月的资金锁定，当然要花很多钱，但如果发援会拒绝谈判，攻击者将得不到一分钱。

然而，事实证明，攻击者有一种方法迫使操作员在全部失败和允许攻击者对双花做出决定之间做出决定。可以通过以下示例来说明：

想象一下，在取款后，你可以通过某种方式入侵一台自动取款机来删除整个银行数据库。您只能从帐户中取款，但当数据库消失时，操作的详细信息也将丢失。银行员工可以在一个月内完成复杂的数据库恢复过程。但是，由于他们不知道是谁筹集的钱，他们也会通过返回上一个检查站来收回你筹集的钱的余额。（蓝狐注：也就是说，攻击者可以通过自己的账户实现双花攻击）

当然，双花攻击将仅限于攻击者的帐户余额。但建立不可信任的合同并从匿名鲸鱼那里借来必要的资产并不难。

在zkrollup中，数据可用性可以保护用户的资产免受查封、审计和黑客攻击，但它的吞吐量会降低。对于zkrolup用户，只要一个火币网完整节点联机，rolup的状态就可用。

其工作原理如下：对于每个zkollup块，重构状态更改所需的信息必须作为火币网事务的调用数据提交，否则zkollup智能合约将拒绝执行状态转换。zkrollups上状态的变化将导致每个事务的天然气成本降低，这将随事务数线性增加。

借助于手头的Merkle树数据，被审计的用户总是可以直接从主网络上的zkollup契约中获得资金。他们需要做的是提供梅克尔的所有权证明。因此，链上的数据可用性确保没有人，包括zkollup操作员，可以冻结或捕获用户资金。

由于数据可用性的链上存储，吞吐量受到限制。Zkrollup在今天的火币网上有2000吨/秒的上限，而starkex alidium声称能够达到9000吨/秒。这种差异可能导致确定这两种技术的应用领域和用例的关键。例如，zkrollup非常适合去中心化加密支付的扩展（isa的全球平均TPS是2000），以及那些对不信任有严格要求、不可篡改的智能合约；对于Valium，它可能更适合于传统的高频交易或具有较低信任假设的好游戏。

结论

已经证明，zkollups和alidium（starkex）的工作方式相对类似，但主要的区别在于数据是在链上还是链下可用。这对于理解它们以及在什么场景中使用它们是至关重要的。这一区别还意味着，尽管zkRollup是一个完全不需要许可证的去中心化扩展协议，但Validium显示了托管PoA系统的更多属性（无论是吞吐量还是风险特性），尽管它的安全性已经大大提高。

这两项技术的发展都在减少对信任的需求，并为用户提供对其资产的更多控制。他们都在走向赋予个人权力。为了取得进展，我们总是需要权衡取舍。

然而，在加密界，越来越多的人认为，技术已经走过了“不作恶”的阶段，进入了“不能作恶”的阶段。我们可以通过自我托管、反审查、隐私和消除单点故障来做到这一点。这些理念构成了我们正在努力实现的制度的基本价值。

——

风险提示：蓝狐笔记中的所有文章都不能作为投资建议或建议。投资是有风险的。投资应考虑个人风险承受能力。建议对本项目进行深入调查，慎重投资决策。

加上知识星球蓝狐笔记：https://t.zsxq.com/iaQNnIq

欢迎来到帕西诺利