Allow verify (non)membership on non-ibc KVPairs by bumping `ibc-rs`

cosmos / sp1-ics07-tendermint

This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)

MIT License

22 stars 4 forks source link

Allow verify (non)membership on non-ibc KVPairs by bumping `ibc-rs` #66

Closed srdtrk closed 2 months ago

srdtrk commented 3 months ago

In the current version of ibc-rs, we can only verify the (non)membership of key-value pairs whose key matches one of the paths listed here. In https://github.com/cosmos/ibc-rs/pull/1273, ibc-rs has introduced the ability to verify all key-value pairs.