NEP-364

[blasrodri]

WIP

[seunlanlege]

For tracking here are the needed functions

https://github.com/ComposableFi/ibc-rs/blob/b3ab319018b1bb8917bca3aad977455aa2c9b179/modules/src/clients/host_functions.rs#L7-L54

[blasrodri]

For tracking here are the needed functions

https://github.com/ComposableFi/ibc-rs/blob/b3ab319018b1bb8917bca3aad977455aa2c9b179/modules/src/clients/host_functions.rs#L7-L54

I think we've got everything now. I just need to hook this with the near-sdk to verify that we can construct our own:

    fn verify_membership_trie_proof(
        root: &[u8; 32],
        proof: &[Vec<u8>],
        key: &[u8],
        value: &[u8],
    ) -> Result<(), Error>;

    /// This function should verify non membership in a trie proof using parity's sp-trie package
    /// with a BlakeTwo256 Hasher
    fn verify_non_membership_trie_proof(
        root: &[u8; 32],
        proof: &[Vec<u8>],
        key: &[u8],
    ) -> Result<(), Error>;
    ```

[blasrodri]

Progress here: near#7165