【英文】原生（native） Rollup 简介：从 L1 执行中获得的超能力

原生 Rollup 以前被称为「enshrined rollups」。后来，enshrined 一词被放弃，改用「native」（原生）」一词，旨在传达当前 EVM 等效的 Rollup 可以选择升级为原生 Rollup 的可能性。Based Rollup 和原生 Rollup 是两个正交的概念。「based」关系到 L1 的定序，而原生关系到 L1 的执行。一个同时具备「based」和原生特性的 Rollup 被戏称为 「ultra sound rollup」。 原生 Rollup 有以下几个优势：1）原生 Rollup 虚拟机的大部分复杂性可以通过预编译封装。当前的 EVM 等效的乐观 Rollup 和 zk-Rollup 为欺诈证明游戏或 SNARK 验证器编写了成千上万行代码，而这些可以被缩减为一行代码。原生 Rollup 也不需要附属基础设施，如证明网络（proving networks）、哨塔（watchtowers）和安全委员会。2）构建无 Bug 的 EVM 欺诈证明游戏或 SNARK 验证器是一项极其困难的工程任务，可能需要深入的形式化验证。目前，每个乐观和 zk EVM Rollup 的 EVM 状态转换功能中很可能存在严重漏洞。为了防御这些漏洞，通常使用中心化排序作为限制恶意区块生成的手段。原生执行预编译允许安全部署无权限排序机制。完全继承 L1 安全性的信任最小化 Rollup 还可以完全继承 L1 的资产可替代性。 3）目前，Rollup 想要与 L1 EVM 规则保持同步，唯一的方法是通过治理来镜像 L1 的 EVM 升级。（EVM 升级通常每年通过硬分叉进行。）治理不仅是一个潜在攻击向量，从严格意义上来说，它也偏离了 L1 EVM，并阻止任何 Rollup 实现真正的长期 EVM 等效性。另一方面，原生 Rollup 可以与 L1 一起无治理地同步升级。4）在链上验证 SNARK 的成本很高。因此，许多 zk-Rollup 为了最小化成本，选择较少结算到链上。如果不在链上验证 SNARK，EXECUTE 预编译可以用作降低验证成本的一种方式。如果通过 SNARK 递归对区块中多个调用的 EXECUTE 证明进行批量处理，可以将 EXECUTE_GAS_COST 设置得相对较低。5）目前，要实现与 L1 的同步可组合性，需要同一 Slot 的实时证明。对于 zk-Rollup 来说，达到超低延迟证明（如 100 毫秒量级）是一项特别具有挑战性的工程任务。通过引入一个 Slot 延迟状态根，基于原生执行预编译的证明延迟可以放宽到一个完整的 Slot。【原文为英文】\n原文链接