Tracking: IBC integration

[yito88]

Related to anoma/anoma#866

Implementations

IBC native VP

• Validate IBC-related data [Implement IBC validity predicate anoma#327]
• Set and validate "clients/{identifier}/connections" [Validation about connection IDs for IBC client #42] = > 1.1
• Misbehavior [IBC misbehaviour #80] => 1.1
• Add a native VP to check escrow/unescrow/burn/mint token in a token transfer [Send/Receive a token on IBC anoma#823]
• Support multitoken [anomac transfer should support multitoken transfers #132]
• Fix MsgTimeoutOnClose and give the channel proof
  • Fix ibc-rs' message conversion (ibc-rs v0.19)
  • Give the channel proof when TimeoutOnClose [Update ibc-rs to v0.14.0 #260]

Proof

• Modify MerkleTree for ICS23 proof verification [Modify MerkleTree for Tendermint proof verification anoma#671]
• Query data with the proof [Query a proven value anoma#498]
• SMT proof for non-existence is incompatible with ICS23 crate [Non-existence proof verification failed #92]

IBC-related transaction

• IBC transaction calls just dispatch function with data which is an encoded IBC message
• Handling functions for a transaction [Add IBC functions for transaction anoma#411]
  • IBC-related operations are implemented in IbcActions[Add IbcActions trait anoma#720]
  • Implement IbcActions for vm_env (which calls just vm_env::imports::read_bytes, write_bytes etc.) [Send/Receive a token on IBC anoma#823]
  • IBC message as a transaction data [Use IBC messages anoma#719]
  • [BLOCKED] Building IBC transaction with WASM
    • Need the next release version v0.12.0 of ibc-rs Update ibc-rs to v0.12.0 anoma#926
      • Tried with ibc-rs master -> IBC transaction could be built (some fixes are needed to update for v0.12.0)
• IBC ack and FungibleTokenData are incompatible with ibc-go [IBC acknowledgement and FungibleTokenData are incompatible with ibc-go #101]
  • Update ibc-rs to v0.14 for serialization [Update ibc-rs to v0.14.0 #260]
  • Fix IBC ack and FungibleTokenData [Fix IBC ack and FungibleTokenData #261]

ICS20 FungibleTokenTransfer

• sending/receiving tokens [Send/Receive a token on IBC anoma#823]
• Relay transfer with multitoken for ICS20 [IBC token transfer doesn't satisfy with ICS20 #117]

Others

• Emit an IBC event [Emit IBC events for IBC relayer anoma#480]
• Update ibc-rs to v0.11.0 to call the latest proof verification functions [Update tendermint-rs and ibc-rs anoma#863]
• Fix the hash header for consensus state proof [fix header hash #298]
• Fix response.consensus_param_updates when update_epoch for tendermint block_results
  • Fix tendermint-rs [Make parameters Option in ConsensusParams heliaxdev/tendermint-rs#4]

Relayer (in heliaxdev/ibc-rs)

• Add ChainEndpoint of Anoma
  • Rebased and fixed the prototype relayer with the latest ibc-rs
  • Updated: https://github.com/heliaxdev/ibc-rs/tree/yuji/v0.14.0_anoma [ibc-rs e2e tests passed]
• Relayer for Namada
  • https://github.com/heliaxdev/ibc-rs/tree/yuji/v0.14.0_namada (for Namada with Tendermint 0.37)

Integration test

• Tests with vm_host_env

E2E test

• Add e2e tests for IBC between two Namada chains without a relayer [Add E2E tests for IBC between Anoma chains #79]
• Add e2e tests for between Anoma and other chains
  • ibc-rs e2e tests with Gaia (forked for SMT proofs) passed

[yito88]

The first integration tasks were completed.