SMT proofs with ics23 v0.10.0 or later

anoma / namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

https://namada.net

GNU General Public License v3.0

2.39k stars 945 forks source link

SMT proofs with ics23 v0.10.0 or later #1804

Open yito88 opened 1 year ago

yito88 commented 1 year ago

We're using arse-merkle-tree (our modified Sparse Merkle Tree) because the old ics23 crate didn't support SMT proofs. ics23 v0.10.x supports them. We can use SMT for IBC-related data.

Require ibc-rs v0.42.0 or later #2084
Gaia, Osmosis, and Noble should support SMT proofs, provided by ibc-go v7 or later
- Gaia v0.15.1 or later supported
- Osmosis v23 or later supported
- [Blocked] Noble doesn't support because it is still using ibc-go v4

yito88 commented 10 months ago

Counterparty chains should be able to verify SMT proofs. They have to use:

ics23 v0.9.1 or later
ibc-go v7 or later

But the latest Gaia v13 (also the next v14) is still using ibc-go v4 (ics23 v0.9.0) which has been already EOL...

cwgoes commented 7 months ago

@yito88 do you know if there have been any updates here Gaia-side?

yito88 commented 7 months ago

In Gaia's main branch, ibc-go has been updated to v7 supporting SMT proofs. However, it's not included in the latest release v14.1.0.

yito88 commented 5 months ago

Gaia v15.1.0 has been released, which version has ibc-go v7. Started replacing arse-merkle-tree.

yito88 commented 5 months ago

Osmosis v23 has ibc-go v7 already. Noble is still using ibc-go v4 according to https://github.com/circlefin/noble-fiattokenfactory

cwgoes commented 2 weeks ago

@yito88 Is this issue still relevant?