——如何最大程度提高至少有一个诚实节点完整验证一个 optimistic Rollup 的机会,使得出现问题时他们会发布欺诈证明?对于小规模 Rollup (高至每秒几百笔交易),这个问题不大,因为对矿工来说只是举手之劳,但对于大规模的 Rollup 来说,还需要更充分的理由以说服矿工去做验证。 探索 plasma 和 Rollup 之间的设计空间——是否有技术可以放一些 状态更新相关数据到链上而不是全部的数据,且这些数据会产生有用的东西? 最大程度提高提前确认的安全性——很多 Rollup 都会为了更快的用户体验 (UX) 提供「提前确认 (pre-confirmation)」,这里排序者 (sequencer) 会马上承诺某笔交易会被打包到下一个 batch 里,而如果此承诺没有被兑现,该排序者将损失其保证金。但这个方案的经济安全性是有限的,因为排序者可以同时对非常多的人作出非常多的承诺。这个机制可以改善吗? 提高缺席排序者的回应速度——如果一个 Rollup 的排序者突然离线了,在最短的时间内以最低的成本从这种情况恢复过来是很重要的,方法不是快速且低成本地大规模退出到另一个 Rollup,就是换一个排序者。 高效 ZK-VM——生成一个 ZK-SNARK 证明,证明通用的 EVM 代码 (或一些现有的智能合约可以编译成的不同 VM) 已被正确执行和有一个给定结果的。 结论Rollup 是一个强大、新颖的二层扩容范式,并有望成为以太坊在中短期未来 (也可能是长期) 扩容的基石。以太坊社区已经表现出对 Rollup 的强烈兴趣,因为不像之前在二层扩容的尝试,它们可以支持通用的 EVM 代码,使得现有的应用可以轻易迁移。Rollup 有一个重要的妥协:交易处理不是完全在链下进行,而是每笔交易留下一小部分数据在链上。 Rollup 有很多种,在设计空间上有很多选择:可以是使用欺诈证明的 optimistic Rollup,也可以是使用有效性证明 (即 ZK-SNARKs) 的 ZK Rollup。排序者 (可以发布打包好的 batch 到链上的用户) 可以是中心化的行动者、自由放任者、或两者间的很多可能性。Rollup 还是早期的技术,其开发在不断快速地进行中,但它们是可行的,且其中有些 (比较有名的是路印、ZKSync、和 DeversiFi) 已经运行数月了。期待今年 Rollup 会有更多令人振奋的成果。 来源链接:vitalik.ca (责任编辑:admin) |