In the rapidly evolving domain of distributed ledger technology, scalability and interoperability have become paramount challenges for both academic and industry sectors. In this paper, we introduce a comprehensive formal model to address atomic composability across multiple rollups on Ethereum. The proposed model incorporates mechanisms like buffering, dependency management, concurrency control, and the groundbreaking zero-knowledge proofs. Moreover, we evaluate its practical repercussions, strengths, and weaknesses, ensuring resilience against manipulative or erroneous actions. The application of the proposed model to shared sequencers and other existing solutions accentuates its versatility and universality.

翻译：在分布式账本技术快速发展的领域中，可扩展性与互操作性已成为学术界和工业界面临的核心挑战。本文提出了一种全面的形式化模型，以解决以太坊上多个Rollup之间的原子可组合性问题。该模型整合了缓冲机制、依赖管理、并发控制以及具有突破性的零知识证明等关键技术。我们进一步评估了其实际影响、优势与局限性，确保其能够抵御恶意操作或错误行为的攻击。通过将该模型应用于共享排序器及其他现有解决方案，突出展示了其通用性与普适性。