When Cross-Chain Atomicity Breaks: A Cross-Chain Vault Case Study

Abstract Cross-chain systems often assume economic atomicity: if value is removed on Chain A, it will appear on Chain B. This assumption is fragile. This case study analyzes a vault architecture where