CATs: Secure Blockchain Interoperability with Cross-chain Atomic Transactions
2026-07-06 • Distributed, Parallel, and Cluster Computing
Distributed, Parallel, and Cluster Computing
AI summaryⓘ
The authors present a method that lets different blockchains work together on transactions that either fully happen on all chains or not at all, avoiding problems when messages are delayed or some actors act wrongly. Their system keeps each blockchain's own rules intact while using a coordination layer with roles like sequencers and coordinators to manage the process safely. They add techniques such as timeouts and grouping transactions to prevent delays and prove their approach is reliable and efficient. Experiments show their method works well when cross-chain actions are a smaller portion of all transactions.
cross-chain atomic transactionsblockchain interoperabilityatomicityByzantine actorssequencerstransaction processorslivenesstimeoutsdependency-depthcoordination layer
Authors
Andreas Penzkofer, Franck Cassez
Abstract
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.