CATs: Secure Blockchain Interoperability with Cross-chain Atomic Transactions

2026-07-06

AI Summary

This work addresses the challenge of ensuring cross-chain atomicity under asynchronous communication and Byzantine node settings by proposing a cross-chain protocol that supports composable atomic transactions. The protocol employs a shared coordination layer—comprising a sequencer, transaction processor, coordinator, and confirmation layer—to guarantee all-or-nothing execution of cross-chain operations while preserving individual chain autonomy. It innovatively separates accepted and deferred transaction sets and integrates timeout mechanisms with dependency depth limits, achieving minimal blocking and bounded latency under strong safety and liveness guarantees. Formal verification and experimental evaluation demonstrate that the protocol attains high transaction success rates under moderate cross-chain loads and quantifies the trade-off between success rate and dependency-induced delay.

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.

Problem

• blockchain interoperability
• cross-chain atomic transactions
• Byzantine fault tolerance
• asynchronous communication
• chain autonomy

Innovation

• cross-chain atomic transactions
• blockchain interoperability
• atomicity
• Byzantine fault tolerance
• coordination layer