CRATE：跨 rollup 原子事务执行
密码学与安全
2025-02-10 v1
摘要
区块链 revolutionized 了去中心化应用，composability 使得能够进行原子、无信任的跨智能合约交互。然而，layer 2 (L2) 可扩展性解决方案如 rollup 引入了碎片化，阻碍了 composability。当前的跨链协议，包括原子交换、桥接和共享 Sequencer，缺乏必要的 coordination 机制，或依赖信任假设，因此不足以支持完整的跨 rollup composability。本文提出了 CRATE，一种用于跨 rollup composability 的安全协议，确保跨 rollup 事务 (CRT) 的全或无和可序列化执行。CRATE 支持在 distinct layer 1 (L1) 链上的 rollup，实现 L1 上的 4 轮 finality，仅依赖底层 L1s 和 L2s 的 liveness。我们引入了两种 CRT 的形式化模型，定义其中的原子性，并对 CRATE 的安全性进行形式化证明。我们还提供了 CRATE 的实现 along with 一个跨 rollup flash loan application；我们的实验表明，CRATE 在 L1 上以实际的 gas 使用情况是实用的。
引用
@article{arxiv.2502.04659,
title = {$\mathsf{CRATE}$: Cross-Rollup Atomic Transaction Execution},
author = {Ioannis Kaklamanis and Fan Zhang},
journal= {arXiv preprint arXiv:2502.04659},
year = {2025}
}