hyperlane-ops

A repository that hosts Hyperlane deployment configurations and documentation for Celestia Mocha and Eden testnets.

Prerequisites

• Install Docker for running the Relayer docker-compose.yml.
• Install the official Hyperlane CLI .
• Install the celestia-appd CLI binary.

Repository Structure

• registry/ holds the local Hyperlane registry with chain configs and canonical addresses used by CLI commands.
• configs/ contains deployment YAMLs for core and warp routes.
• solidity/ contains contracts used for native asset minting via Hyperlane.

Celestia Mocha Core Deployment

The following configuration file specifies the canonical addresses for the Celestia Mocha Hyperlane core deployment. A core deployment is composed of a Mailbox, configured with post-dispatch hooks for outbound message processing and an InterchainSecurityModule (ISM) for inbound message processing.

See the Hyperlane registry in this repository for the addresses.yaml configuration file.

interchainGasPaymaster: "0x726f757465725f706f73745f6469737061746368000000040000000000000003"
interchainSecurityModule: "0x726f757465725f69736d00000000000000000000000000040000000000000000"
mailbox: "0x68797065726c616e650000000000000000000000000000000000000000000000"
merkleTreeHook: "0x726f757465725f706f73745f6469737061746368000000030000000000000000"

Onboarding new connections

In order to create a new connnection (which is a prerequisite to Warp route deployment) the Hyperlane core deployment must be updated to support the remote chain's domain identifer. This is a two-step process:

• Register the domain identifier with a gas config in the InterchainGasPaymaster (IGP) destination gas configs .
• Register the domain identifier in the InterchainSecurityModule (ISM) domain routing config.

Adding a new domain to the IGP destination gas configs

Note that this is a requirement for sending messages to a remote (counterparty) chain.

celestia-appd tx hyperlane hooks igp set-destination-gas-config [igp-id] [remote-domain] [token-exchange-rate] [gas-price] [gas-overhead] --from owner --fees 800utia

Adding a new domain ism to the RoutingISM

Note that this is a requirement for receiving messages from a remote (counterparty) chain.

celestia-appd tx hyperlane ism set-routing-ism-domain [routing-ism-id] [domain] [ism-id] --from owner --fees 800utia

Commands

TODO: This section will likely be removed but for now is used for dumping useful commands. Currently a section to dump commands used to build up this repository.

Reading a core config from Eden.

hyperlane core read --chain edentestnet --config configs/eden-core.yaml --registry registry

Reading a core config from Celestia.

hyperlane core read --chain celestiamocha --config configs/mocha-core.yaml --registry registry

Reading a warp config from Celestia.

hyperlane warp read --registry ./registry --config mocha-warp.yaml --chain celestiamocha --address 0x726f757465725f61707000000000000000000000000000010000000000000006