以太坊研究员 Justin Drake 在 ethresearch 论坛上发文探讨一种新 rollup 设计“native rollups”。简而言之，其依赖于以太坊 L1 验证器进行证明，即状态转换函数和验证。 这与 Optimism Rollup（例如 Optimism、Arbitrum）或 zk-Rollup（例如 Starknet、ZKsync）形成对比，后者将执行的计算负担推往 L2，然后依靠欺诈或 zk 证明系统来生成状态根和证明，并重新回到主网上。 这些证明系统代码繁重，容易出现错误和其他漏洞，这就是为什么 Rollup 排序器（在 L2 上对交易进行排序的实体）历来是中心化的。对排序器中心化的担忧反过来又刺激了 Taiko 等“based”Rollup 设计，它们依赖以太坊 L1 验证器来执行排序。 Drake 的提议建议引入“执行”预编译（EVM 中的硬编码函数），将验证用户交易的 EVM 状态转换。native rollups 实现了以下两项突破： 不再需要投资和维护昂贵的矿工证明者网络和专用 GPU 硬件，因为证明将由 L1 验证者处理和执行； 不再需要维护复杂的治理结构，包括可信安全委员会来批准合约升级以实现 EVM 等效性。 这实际上都通过继承以太坊 L1 的安全性使 native rollup 变得“无需信任”。 最后，与 based rollup 一样，native rollups 将享有“同步可组合性（synchronous composability）”，而且不会受到 12 秒区块时间的限制。得益于“执行”预编译，L1 验证者只需验证 zk 证明，而无需自己执行计算。