Cosmos Inter-Blockchain Communication (IBC) Protocol

This specification is outdated and no longer in use. For the latest IBC specifications, please see the Interchain Standards repository.

Abstract

This paper specifies the Cosmos Inter-Blockchain Communication (IBC) protocol. The IBC protocol defines a set of semantics for authenticated, strictly-ordered message passing between two blockchains with independent consensus algorithms.

The core IBC protocol is payload-agnostic. On top of IBC, developers can implement the semantics of a particular application, enabling users to transfer valuable assets between different blockchains while preserving the contractual guarantees of the asset in question - such as scarcity and fungibility for a currency or global uniqueness for a digital kitty-cat.

IBC requires two blockchains with cheaply verifiable rapid finality and Merkle tree substate proofs. The protocol makes no assumptions of block confirmation times or maximum network latency of packet transmissions, and the two consensus algorithms remain completely independent. Each chain maintains a local partial order and inter-chain message sequencing ensures cross-chain linearity. Once the two chains have registered a trust relationship, cryptographically verifiable packets can be sent between them.

IBC was first outlined in the Cosmos Whitepaper, and later described in more detail by the IBC specification paper. This document supersedes both. It explains the requirements and structure of the protocol and provides sufficient detail for both analysis and implementation.

Contents

  1. Overview
    1. Summary
    2. Definitions
    3. Threat Models
  2. Connections
    1. Definitions
    2. Requirements
    3. Connection lifecycle
      1. Opening a connection
      2. Following block headers
      3. Closing a connection
  3. Channels & Packets
    1. Background
    2. Definitions
      1. Packet
      2. Receipt
      3. Queue
      4. Channel
    3. Requirements
    4. Sending a packet
    5. Receiving a packet
    6. Packet relayer
  4. Optimizations
    1. Timeouts
    2. Cleanup
  5. Conclusion
  6. References
  7. Appendices
    1. Appendix A: Encoding Libraries
    2. Appendix B: IBC Queue Format
    3. Appendix C: Merkle Proof Format
    4. Appendix D: Byzantine Recovery Strategies
    5. Appendix E: Tendermint Header Proofs
Last Updated: 4/3/2019, 12:19:06 AM