除了作为一种扩容解决方案,Rollup 还可以实现交易排序和执行分离(参见 Optimism 的「「MEV 竞拍」提案)。Vitalik Buterin 最近提出,ETH可主要成为处理所有事务执行的 rollup 数据可用性层,将 MEV 捕获集中到 rollup 序列器(「以太坊 1.5」)中。
这将与ETH目前的设计大相径庭,并且需要权衡取舍。例如,跨 rollup 和 rollup-主链的互操作性破坏了同步性,并且可能需要在实践中(尤其是在多 rollup 环境中)进行不同的假设。我们的投资组合公司正在研究两种不同的 rollup 类型:
StarkWare
StarkWare 正在开发 ZK-Rollup (ZKRU),它主动地包含带具有区块有效可验证的正确性证明,而不是乐观地假设有效性并确保在有挑战的情况下提供欺诈证明。
虽然不是为执行和排序分离所设想的最初风格的 rollup,但是 ZKRU 可以实现这一点。这个证明引擎还可以用于对排序实施附加约束。
Optimism
Optimism 正在研究另一种主要的 rollup—Optimistic Rollup (ORU), 其会发布检查欺诈所需的最小数据,但乐观地假设正确性,直到发生质疑挑战。这将导致相对较长的最终性窗口,但允许其 rollup 使用与ETH L1 EVM 相同的执行环境(因此,现有的ETH应用合约可以无缝迁移)。
Optimism 也是 MEVA 和 以太坊1.5 的最初提出者。
Flashbots
Flashbots 是一个研发组织,其成立的目的是从ETH开始,缓解 MEV 带来的负面外部性和存在的风险。他们建立了量化 MEV 并消除生态系统中信息不对称的工具。他们现在正在实施一种称为 MEV-Geth 的无许可 MEV 提取概念证明,这是一种用于传递交易顺序偏好的密封竞价区块空间拍卖机制。
Flashbots 的目标,是确保 MEV 的激励措施不会变得不透明和不民主。希望他们的基础架构,将使应用开发人员能够更好地了解如何最大程度地减少其 MEV 问题,并释放一些压力,否则这些压力会累积成真正有害的外部因素(例如时间盗贼攻击)。
Cosmos
Cosmos 是一种无许可、可互操作应用的替代模型。尽管 Cosmos 与ETH上的 MEV 没有直接关系,但这种架构,可以在不采用ETH的统一安全范式的情况下,切实地实现类似复杂性的应用生态系统。
可以想象,Cosmos 区块链将在很大程度上特定于应用,并且默认情况下不会彼此共享安全性,这可能使它们避免共享平台上有害的外部性。如果ETH朝着 以太坊 1.5 的方向发展,它看起来将非常类似于 Cosmos。 (责任编辑:admin) |