Search papers, labs, and topics across Lattice.
This paper introduces a protocol for cross-chain atomic transactions (CATs) that enables secure and composable execution across multiple blockchains while maintaining their individual execution models. By implementing a shared coordination layer with sequencers and transaction processors, the protocol guarantees atomicity even in the presence of asynchronous communication and Byzantine actors. The experimental results demonstrate that CATs achieve high success rates with minimal blocking, paving the way for scalable blockchain interoperability solutions.
Achieving secure and efficient cross-chain atomic transactions could revolutionize blockchain interoperability by ensuring that all parts of a transaction either succeed or fail together.
We propose a protocol for cross-chain atomic transactions (CATs), enabling composable atomic execution across different blockchains. The protocol addresses the key interoperability challenge of providing atomicity guarantees in the presence of asynchronous communication and Byzantine actors. It preserves chain autonomy by allowing each blockchain to maintain its own execution model while participating in coordinated cross-chain operations. The design introduces a shared coordination layer involving sequencers, transaction processors, a coordinator, and a confirmation layer which together ensure that either all parts of a CAT succeed or none do. To prevent unnecessary blocking, we separate transaction execution into accepted and postponed sets, with the coordination layer resolving the outcomes of CATs within a few rounds. We further introduce timeouts and dependency-depth bounds for liveness and mitigation of cascading delays. Our formal analysis establishes strong safety and liveness guarantees and demonstrates that the protocol achieves minimal blocking for independent transactions while ensuring bounded blocking time for dependent transactions. Experimental evaluation shows high CAT success when cross-chain transactions are a modest share of traffic, and characterizes the CAT-lifetime trade-off between success and dependent-transaction latency. This protocol enables fast, secure, and deterministic atomic cross-chain execution while preserving chain autonomy, providing a foundation for scalable blockchain interoperability solutions.
