The Informal Blog - Atomic IBC Enables Cross-Chain Composability with Instant Finality