Tracking issue for MVP demo #2

[soareschen]

Context

This issue tracks the status of the progress toward MVP demo implementation by the end of February 2025.

Task List

Refer to the sub-issues section for the list of items should be implemented:

Done

Relayer

Full IBC relaying integration on public testnets with a working CLI that users can experiment with.

• Implement UpdateClient chain methods from Cosmos to Starknet #105
• feat(relayer): connection and channel handshake messages and events #133
• feat(relayer): packet and ics20 messages and events #136
• feat(relayer): ConnectionEndWithProofsQuerier and ConnectionEndQuerier #139
• Implement initial StarknetBuilder and StarknetBuildComponents #140
• Scaffold channel handshake components #149
• feat(hermes-sdk): build connection handshake messages #152
• Scaffold packet relaying methods #154
• feat(hermes-sdk): build channel handshake messages #161
• Introduce StarknetMessage type containing counterparty Cosmos height #165

CLI

• Implement CLI for Starknet relayer with initial bootstrap subcommand #109
• Add query client state CLI #148
• Add query consensus-state CLI #151
• Add client update CLI #158
• Add query chain-status CLI #159
• Add query balance CLI #160

e2e Tests

• feat: integration test between osmosis and starknet #121
• test(e2e): ibc-core manages ibc-client and ibc-app contracts #129
• test(e2e): submit ics20 packets to ibc-core contract on starknet #130
• feat(e2e): bootstrap connection and channel between starknet <> cosmos #162

Cairo Contracts

Full implementation of Cairo IBC core with mocked IBC clients for both Cosmos and Starknet.
NOTES: the mocked light clients can at best support signature-based attestation by the relayer. There is no light client security available at this point.

Connection Handshake

• chore: scaffold connection handshake module #110
• feat: implement conn_open_init handler + tests #112
• feat: implement conn_open_try handler + test #114
• feat: implement conn_open_ack, test, and modifications to other connection handlers #115
• feat: implement conn_open_confirm handler + test #116

Channel Handshake

• feat: implement channel handshake - execution handlers #108
• feat: implement channel handshake validations #117

Packet Handlers

• Implement send_packet handler and integrate ICS20 with IBC core contract #93
• tests: refactor, add ICS20 unit tests, and include happy path test for send_packet handler #97
• feat: implement packet acknowledgement handler + tests #98
• feat: implement packet and ack commitment computations #103
• feat: implement packet timeout handler + tests #104