h5law

Add support for SMT non-membership (exclusion) proofs

13

## Overview Currently the `cosmos/ics23` library has support for the range proofs used to prove non-membership done by Penumbra's JMT [1]. The use of a range proof is common across...

## Objective Relayers need to use identifiers to specify clients, connections, channels and ports. Currently the identifiers are generated randomly. However, to aid the relayers they should be semi-structured. The...

[IBC] Implement the ICS-02 Client interfaces

3

## Description ### Summary generated by Reviewpad on 26 Jul 23 10:09 UTC This pull request introduces various changes across multiple files in the codebase. Here is a summary of...

[WIP][IBC] Implement ICS-02 Client Semantics

5

**_Note: This PR is still a WIP and will be rebased in the future to clean up the commits. Remaining for this PR: Tests?, ???_** ## Description ### Summary generated...

feat: Add verification that the `RingSig` contains a specific `Ring` within

1

## Overview Currently during the `Verify` method on the `RingSig` type we ensure the ring signature is valid. However, as long as the ring was valid on creation any signatures...

## Objective Implement an ICS-08 conforming IBC light client in Rust to track and verify the Pocket V1 network ## Origin Document Issue #912 ## Goals - Create a WASM...

[KVStore] Implement RocksDB as a KVStore submodule

2

## Objective Implement a submodule in the `kvstore` directory for a [`RocksDB`](https://rocksdb.org/) - Look into [IOTA's `rocksdb`](https://pkg.go.dev/github.com/iotaledger/hive.go/kvstore/rocksdb) and see whether this can be used. The [repo](https://github.com/iotaledger/hive.go/tree/develop/kvstore/rocksdb) - Look into [`Pebble`...

[Optimisation] Improve proof compaction, serialisation and portability

1

## Objective Improve the serializaiblity & portability of the 3 proof types. ## Goals - Decrease the size of the compacted proofs - Understand the impact of these changes on...

feat: Add support for `cosmos/ics23` `NonMembershipProof` types

1

## Objective Add support for the "range based" non-membership proof types used in the `cosmos/ics23` library. ## Origin Document [`cosmos/ics23` issue #152](https://github.com/cosmos/ics23/issues/152) ## Goals - Add a new `ProveExclusion` function...

## Objective Following the merge of PR #6 the `DeepSparseMerkleSubTree` type was removed. This issue aims to re-implement/add a new DeepSubTrie, now using the lazy loaded SMT as its base,...