在 EthCC「Sequencing & CAKE Day」中,OneBalance 主持了以链抽象和预确认为主题的小组讨论,The Rollup 对其进行回顾总结。小组成员包括:
以太坊的@VitalikButerin
Everclear.org 的@arjunbhuptani
Skip Protocol 的@hxrts
Anomatica 的@cwgoes
以下是对讨论的完整回顾笔记
预确认改变了区块构建者的动态机制。
搜索者现在在每个交易的基础上承担了大部分繁重的工作。 是的,这意味着更重的提议者,但更轻的构建者。
PBS(提议者-构建者分离)分离了提议者和构建者,引入了构建者的概念,但现在他们要做的工作更多了。
然而,Vitalik 认为即使是非基于以太坊的 Layer2,某种形式的 PBS 都是更优的。当然,基于 Rollup 的方案会给 L1 带来越多的依赖性。
讨论很快转向了预确认,并指出有两种类型:执行预确认和包含预确认。
执行预确认是一种更强的类型,可以保证排序并提供状态根。
这对于希望获得安全性和快速确定性的 Rollup 用户来说很重要。
另一方面,包含预确认除了保证交易在其他给定交易到达相同状态之前被包含之外,并不对交易排序做出任何保证。
这里需要注意一个重要区别.
如果市场存在解决者愿意购买更强的执行保证,他们就会去购买。
普通用户甚至是 DeFi 的用户吗?他们关心状态根是什么吗?
我们当然希望支付确认时间从 12 秒缩短到 1 秒,但对于所有实用用户来说,包含预确认似乎也足够好用(而且在 L1 上也更容易构建)。
Vitalik 担心过度优化以迎合“高级”用户。
没错,一个交易 1 亿美金的实体可能不会仅仅满足于包含预确认,因为预确认本身就需要大量的抵押品。
这些预确认如何得到执行?即使是在存在抵押品的情况下?
一种方法是用户和排序者之间达成链下协议,对排序者设置惩罚条件,以确保交易被包含并执行。
总之,小组达成共识,预确认的目的是让基于 Rollup 方案正常工作。
此外,基于 Rollup 方案的目的是让共享排序工作。
排序者需要就下一个排序者是谁达成一致。因此,共享排序者(用于排序)存在一个强烈的谢林点,这可以修复以太坊的碎片化问题(跨 Rollup 的原子可组合性)。
正如 Arjun 所说,随着讨论转向意图,他的愿景是用户不再直接操作链,而是与解决者进行交互。
提供保证的解决者需要确信源链上的资金是安全的,不会被重组。
Sam 提到了 Skip 拥有 IBC 中继器并且支持 Hyperlane,但没有解决者,可以直接连接到目标链。
验证者在双方网络中拾取消息并在另一端传递它,这是一种当前时代典型的桥梁设计。
讨论还进行了更长时间,但以下是我们的一些关键要点:
Vitalik 并不是单槽确定性的主要支持者。
我们正在尝试基于 Rollup 方案,因为基于 Rollup 方案可以实现共享排序,从而解决以太坊的碎片化问题。
关于“快速区块和无预确认”或“慢速区块和快速预确认”缺乏共识。
总的来说,这是一个非常技术性的高质量小组讨论,为本周的工作拉开了序幕。