

(1).png)
以太坊研究员JustinDrake发文探讨“nativerollups”,有望实现无需信任扩容
币界网报道: 以太坊研究员 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 证明,而无需自己执行计算。
这与 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 证明,而无需自己执行计算。

分享






发表评论

暂无评论
推荐专栏
热门币种
更多

币种
美元价格
24H涨跌幅
热搜币种
更多

币种
美元价格
24H涨跌幅
最新快讯
更多

2025-02-14 02:24:10
2025-02-14 02:24:08
2025-02-14 02:20:41
2025-02-14 02:08:24
2025-02-14 01:38:17
2025-02-14 01:16:38
2025-02-14 00:55:47