作者:Utonio,Delphi Digital,翻译:金色财经xiaozou
L2s将ETH从用户流失的局面中拯救出来,但却带来了流动性碎片化、生态孤立和可组合性降低等问题。Based rollups、共享排序和预确认是解决方案吗?Utonio在对Based Rollups的深入研究中具体剖析了各解决方案,形成了以下4大关键见解。
简洁性:Based排序简化了流程,不需要额外的验证或硬分叉
可信中立性:使用去中心化的以太坊排序器
风险最小化:继承以太坊的核心层L1安全性
灵活性限制:绑定基础层的时序和基础设施,独立性较弱
收益影响:可能将排序收益(MEV +小费)从L2s转移给L1提议者
延迟:链接到L1 times,可能被预确认抵消
尽管based rollups保留了发布治理代币和收取基本费用的能力,但它与当前rollup的业务模型相冲突,在当前rollup业务模型中,排序器具有交易排序权,可获取MEV、赚取小费。
如果要转为based rollup,排序器将放弃这项价值拱手让给L1验证器,将收入仅局限在基本费用上。
当前rollups变成based rollups有多容易?
答案是相当容易。像Arbitrum这样的当前rollup可以通过弃用其中心化排序器并允许将交易直接发送到L1上的Inbox合约由L1提议者进行排序从而转为based rollup。
这将在保持L1延迟的同时消除第三方的参与。协议将允许任何人创建交易包,进行压缩并在L1上发布,而非仅限排序器发布交易包。
因为执行仍然在rollup上进行,所以错误证明和零知识证明仍然是必要的,因为它们关乎确认执行输出。
预确认发展势头强劲,致力于解决based rollup的主要限制。
L1提议者(也充当based rollup的L2建设者)现在可以通过再质押成为预确认者(preconfer)来选择执行额外的任务,“preconfer”是给在L2中进行交易排序的排序器的一个新名字。
用户为交易包含向preconfer支付小费,而preconfer也可能获得原生代币奖励。
理性的经济行为者应该选择加入,要么通过委托,要么通过再质押。MEV推动的客户端的增长证明了参与者的目标是实现收入最大化。
Preconfers利用L1块times来完成交易承诺,并且可以在单个L1块中包含多个L2块。
委托预确认权引入了信任假设,并带有与活动性和安全错误相关的罚没条件。我们探讨了不同类型的实现,例如由Espresso Systems团队设计开发的Based Espresso。
致力于based排序的实体列举如下:
Taiko属于zk-EVM Type 1,是第一个从头开始构建的based rollup项目,没有对以太坊系统做任何更改。该项目是一个无需许可项目,没有中心化排序器或白名单证明者(prover),允许任何人运行提议者和证明者节点。
Taiko采用了多重证明的方法,使用多种证明类型(如多SNARKs + 多客户端)。证明者受TKO代币债券激励,如果他们未能在预期时间内证明区块,这些激励债券可能会被罚没。
他们正在利用RISC Zero zkVM基础设施来构建Taiko执行VM,这将使构建ZK apps成为可能。
来源:金色财经