Module sp_runtime::proving_trie

Types for a compact base-16 merkle trie used for checking and generating proofs within the runtime. The sp-trie crate exposes all of these same functionality (and more), but this library is designed to work more easily with runtime native types, which simply need to implement Encode/Decode. It also exposes a runtime friendly TrieError type which can be use inside of a FRAME Pallet.

Proofs are created with latest substrate trie format (LayoutV1), and are not compatible with proofs using LayoutV0.

Structs

• BasicProvingTrie
  A helper structure for building a basic base-16 merkle trie and creating compact proofs for that trie. Proofs are created with latest substrate trie format (LayoutV1), and are not compatible with proofs using LayoutV0.

Enums

• TrieError
  A runtime friendly error type for tries.

Functions

• verify_proof
  Verify the existence or non-existence of multiple items in a given trie root and proof.
• verify_single_value_proof
  Verify the existence or non-existence of key and value in a given trie root and proof.