织梦CMS - 轻松建站从此开始!

我的网站

当前位置: 主页 > 竞争币 > 以太坊

以太坊扩容二阶矩阵:新方案 Validium 较 ZK Rollup 等前辈有何优劣势? (3)

时间:2020-06-23 08:57来源:未知 作者:admin 点击:
有多个团队(比如 「Optimism Group」 )都已接近将 Optimistic Rollup 架构部署到主网上。 Validium 最后,终于盼来二阶矩阵中最后一个空格了!这个象限里我们要

有多个团队(比如 「Optimism Group」 )都已接近将 Optimistic Rollup 架构部署到主网上。

Validium

最后,终于盼来二阶矩阵中最后一个空格了!这个象限里我们要填入刚完成命名的 Validium,并讨论 Validium 方案的首个落地实现—— StarkEx 。

科普 | Validium 与 Layer 2 的设计空间

Validium 选择将 Layer 2 的交易数据放在链下,因而比 rollup 架构有着更高的扩展性。验证计算方面,Validium 不像 Plasma 依托诈欺证明,而是采用零知识证明。如先前在讨论 ZK Rollup 时提到的,这样做会导致 Validium 在目前的应用部署,只能局限于特定目的(普适性低),比如 StarkEx 就是面向去中心化交易所的方案。

但这些权衡使得 Validium 在某些方面优于 Plasma 。在主网进行零知识证明验证能避免执行者提供无效状态,也能降低执行者不公开数据造成的后果。举例来说,想要勾结执行者,让状态错误地转变为 「把他人的钱转到自己账户」 是不可能办到的;因此 Validium 不需要在协议中设计 「大量资金退出」 激励博弈,也不需要延长资金从 Layer 2 退出的时间。

正如其他研究者指出的,零知识证明并不是解决数据可用性问题的万灵丹:比如(恶意)执行者修改自己所控制的账户的状态是没有问题的,然后积压关于这些交易的数据,这会导致某些用户想退出资金时,无法提供 Merkle proof 。

科普 | Validium 与 Layer 2 的设计空间

这种攻击在本质上就是冻结 Layer 2 上的账户,也为执行者的受贿行为大开方便之门 —— 执行者可以拒绝提供某用户需要的状态,以此进行勒索或受贿。

为了避免此类攻击发生,StarkWare 团队使用了一种手段,我称之为 「engineering hack (工程黑客)」技术。这个术语我用得很亲切,因为我整个职业生涯中就时常与 「engineering hack 」打交道。StarkEx 系统中包含了一个 「数据可用性委员会」 —— 委员负责对数据签名,并保证数据始终可用。只要其中有一位委员在线且他是诚实的,用户就一定能获得退出资金需要的数据。

Validium 不是最完美的方案,但它可能是目前各种场景最能接受的一种方案,但要记住每件事情都有其权衡及折中的考量。相较于主链上完全去信任的 DEX ,StarkEx 交易所的确面临更高的第三方风险;但作为相应的优点,StarkEx 交易所在性能上高出 DEX 几个量级——高频交易者非常看重这个优点。而相较于传统的中心化交易所,Validium 仍然安全得多,也最大程度地去信任化。

生产过程公开化

正如我先前提到的,以太坊 Layer 2 的扩展研究是工程领域很好的例子,因为原先工程领域那些放在台面下、不为人知的研究过程,在以太坊中都能看得一清二楚。当然如果有人对其看似曲折而缓慢的发展过程冷嘲热讽,我也不会觉得太惊讶。 (责任编辑:admin)

织梦二维码生成器
顶一下
(0)
0%
踩一下
(0)
0%
------分隔线----------------------------
发表评论
请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
评价:
表情:
用户名: 验证码:点击我更换图片
栏目列表
推荐内容