cip32
titleAdd Hyperlane to Celestia
descriptionThis CIP proposes adding Hyperlane to celestia-app.
authorc-node @c-node, Callum Waters (@cmwaters)
discussions-toforum
statusFinal
typeStandards Track
categoryCore
created2025-02-21

Abstract

Add the Hyperlane interoperability protocol to Celestia to improve the accessibility and usage of TIA.

Motivation

Hyperlane is a popular bridging protocol that has support for EVM, currently the most popular VM for Celestia Rollups, as well as several others, creating connections between some 100+ networks. Hyperlane is already employed indirectly to transfer TIA around but is dependent on third party networks, expanding the trust assumptions. Adding Hyperlane natively allows for direct transferring of TIA and possibly other tokens in the future without expanding the trust assumptions beyond the DA network.

Specification

The full specification of the Hyperlane protocol can be found in their docs. The protocol has many similarities with IBC. Messages can be sent and received by writing them to the state tree. A relayer reads the state of one network and relays the messages along with some proof to another network. Warp routes is the standard application built on top of the messaging protocol that supports transferring of tokens.

Detailed Design

Hyperlane on Celestia, more concretely, requires the addition of two SDK modules: x/core and x/warp. These are imported from bcp-innovations/hyperlane-cosmos. Token transfer will be enabled upon upgrade.

Similar to IBC, non-native tokens will initially not be allowed on Celestia’s state machine. This is enforced by disabling the creation of synthetic tokens.

The only ISM (Interchain Security Module) that will be initially supported is the MultiSig ISM, which relies on attestations from N of M “validators”. Note that the MultiSig ISM validator set can be different from the the PoS validator set.

Backwards Compatibility

This is an additive change. It does not break existing user flows in any way. It does however change the state transition function and requires a major upgrade.

Test Cases

  • An E2E test that connects an EVM Rollup and Celestia with Hyperlane and successfully transfers TIA from Celestia to that Rollup and back.
  • A test confirming that non-TIA tokens from a counterparty chain can not be transferred to Celestia.

Security Considerations

The Cosmos SDK Hyperlane implementation is audited by Zellic.

Token transferring through Hyperlane is dependent on the ISM being used and inherits their security assumptions (i.e. that N of M MultiSig validators are honest).

Copyright and related rights waived via CC0.