有多个团队(比如 「Optimism Group」 )都已接近将 Optimistic Rollup 架构部署到主网上。 Validium最后,终于盼来二阶矩阵中最后一个空格了!这个象限里我们要填入刚完成命名的 Validium,并讨论 Validium 方案的首个落地实现—— StarkEx 。 Validium 选择将 Layer 2 的交易数据放在链下,因而比 rollup 架构有着更高的扩展性。验证计算方面,Validium 不像 Plasma 依托诈欺证明,而是采用零知识证明。如先前在讨论 ZK Rollup 时提到的,这样做会导致 Validium 在目前的应用部署,只能局限于特定目的(普适性低),比如 StarkEx 就是面向去中心化交易所的方案。 但这些权衡使得 Validium 在某些方面优于 Plasma 。在主网进行零知识证明验证能避免执行者提供无效状态,也能降低执行者不公开数据造成的后果。举例来说,想要勾结执行者,让状态错误地转变为 「把他人的钱转到自己账户」 是不可能办到的;因此 Validium 不需要在协议中设计 「大量资金退出」 激励博弈,也不需要延长资金从 Layer 2 退出的时间。 正如其他研究者指出的,零知识证明并不是解决数据可用性问题的万灵丹:比如(恶意)执行者修改自己所控制的账户的状态是没有问题的,然后积压关于这些交易的数据,这会导致某些用户想退出资金时,无法提供 Merkle proof 。 这种攻击在本质上就是冻结 Layer 2 上的账户,也为执行者的受贿行为大开方便之门 —— 执行者可以拒绝提供某用户需要的状态,以此进行勒索或受贿。 为了避免此类攻击发生,StarkWare 团队使用了一种手段,我称之为 「engineering hack (工程黑客)」技术。这个术语我用得很亲切,因为我整个职业生涯中就时常与 「engineering hack 」打交道。StarkEx 系统中包含了一个 「数据可用性委员会」 —— 委员负责对数据签名,并保证数据始终可用。只要其中有一位委员在线且他是诚实的,用户就一定能获得退出资金需要的数据。 Validium 不是最完美的方案,但它可能是目前各种场景最能接受的一种方案,但要记住每件事情都有其权衡及折中的考量。相较于主链上完全去信任的 DEX ,StarkEx 交易所的确面临更高的第三方风险;但作为相应的优点,StarkEx 交易所在性能上高出 DEX 几个量级——高频交易者非常看重这个优点。而相较于传统的中心化交易所,Validium 仍然安全得多,也最大程度地去信任化。 生产过程公开化正如我先前提到的,以太坊 Layer 2 的扩展研究是工程领域很好的例子,因为原先工程领域那些放在台面下、不为人知的研究过程,在以太坊中都能看得一清二楚。当然如果有人对其看似曲折而缓慢的发展过程冷嘲热讽,我也不会觉得太惊讶。 (责任编辑:admin) |