pub trait MerkleProofSpec {
    type Witness: Witness;
    type Hasher: Digest<OutputSize = U32>;
}
Expand description

A trait specifying the hash function and format of the witness used in merkle proofs for storage access

Required Associated Types§

source

type Witness: Witness

The structure that accumulates the witness data

source

type Hasher: Digest<OutputSize = U32>

The hash function used to compute the merkle root

Implementors§

source§

impl MerkleProofSpec for DefaultStorageSpec

§

type Witness = ArrayWitness

§

type Hasher = CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, OidSha256>>