The one true master IBC implementation tracking issue

[cwgoes]

Step 1: COMPLETED working demo on the ibc-alpha branch that can be played with externally.

Blocked by:

• Basic relayer implementation - https://github.com/cosmos/relayer (@jackzampolin)
  • Working create and update client - Auto Updating Headers to limit database access relayer#27 (@cwgoes, @jackzampolin)
  • Working handshakes and token transfers - Add vitwitchain-1 conf relayer#21 (@cwgoes, @AdityaSripal, @jackzampolin)
  • Implement IBC transactions - Keys add should just output the mnemonic relayer#10 (@jackzampolin)
  • Implement IBC queries - Add irishub.json relayer#19 (@jackzampolin)
• Proof debugging - Proof debugging cosmos-sdk#5697 (@cwgoes, @AdityaSripal)
• Lite Client changes for relayer - lite2: return height as 2nd return param in TrustedValidatorSet tendermint/tendermint#4479 (@melekes)

Step 2: Spec-compatible 1.0 implementation for Game of Zones.

Blocked by:

• Follow-ups from ADR 15 - Implement additional callbacks as per ICS 26 cosmos-sdk#5507 (@fedekunze, @cwgoes)
• Migrate to proto for state storage & proofs - x/ibc proto migration cosmos-sdk#5704 (@fedekunze)
• ICS 8 & standardisation on Merkle proofs - https://github.com/cosmos/ics/milestone/6 (@cwgoes)
• Switch to using a prefix store for client impls - Switch to using a prefix store for IBC clients cosmos-sdk#5502 (blocked on above, @cwgoes & @fedekunze)
• Documentation on potential ICS 23 attack vectors - Potential attack vector with Merkle Commitments in ICS-23 cosmos-sdk#5440 (@cwgoes)
• ADR 3 Dynamic Capabilities implementation - Dynamic capability & routing implementation cosmos-sdk#5542 (@AdityaSripal)

Also see the SDK milestone for SDK issue tracking - https://github.com/cosmos/cosmos-sdk/milestone/21.

Also see all issues tagged x/ibc - https://github.com/cosmos/cosmos-sdk/issues?q=is%3Aissue+is%3Aopen+label%3Ax%2Fibc

Completed work:

• ADR 3 spec - ADR 003 follow-up cosmos-sdk#5469
• lite2 integration - add vitwit chain relayer#9 (@cmwaters, @jackzampolin, @melekes)
• Tendermint client - ICS07 Tendermint Client implementation cosmos-sdk#5485 (@fedekunze)
• Set up CI to run demo in the cosmos/relayer repo
• Revision of client type store semantics - Update paths for consistency; revise ICS 2 for client type sub-specs ibc#348 (@cwgoes)
• ICS 4 tests - @fedekunze - Add additional IBC Channel Tests cosmos-sdk#5578 (@jackzampolin)
• ADR 4 spec - ADR 004: Split Denomination Keys cosmos-sdk#5494
• ADR 15 implementation - ADR 015 Implementation cosmos-sdk#5401
• ADR 4 implementation - ADR 004: Split Denomination Keys cosmos-sdk#5494 (@alexanderbez)
• ADR 15 spec merged - [ADR: 015] IBC Packet Receiver cosmos-sdk#5230
• Address ICS 2 misbehaviour handling - ICS-2 Implement Misbehavior cosmos-sdk#5321
• Historical header module (ADR / implementation) - ADR 17: Historical header module cosmos-sdk#5340
• Updated membership verification - Update IBC membership verification cosmos-sdk#5335
• Historical info support - IBC historical info support cosmos-sdk#5475 (@fedekunze )
• Fix account prefix issue - Add convenience functions {,Must}Bech32ifyAddressBytes cosmos-sdk#5581 (@alessio)
• ICS 20-transfer
  • Update spec to reflect changes caused by ADR 15
  • Add tests for receiving packets & handling timeouts @fedekunze
  • Queriers and CLI - ICS 20-transfer queriers and CLI cosmos-sdk#5490 @fedekunze
• Update Gaia to IBC ibc-alpha code: IBC Alpha Updates #288
• ICS 7 follow-ups - Use Tendermint lite client verification cosmos-sdk#5666 (@AdityaSripal)

Then we need an updated demo with Gaia in this repository.

[cwgoes]

@fedekunze Is this still up-to-date?

edit: I have updated it (as best I understand).

[cwgoes]

Closing in favour of the SDK milestone.