search

informalsystems / hermes-sdk

Apache License 2.0
9 stars 3 forks source link

Do not increment height when constructing Sovereign proofs #371

Closed soareschen closed 3 months ago