Trait MerkleProofSpec

pub trait MerkleProofSpec {
    type Witness: Witness + Send + Sync;
    type Hasher: Digest<OutputSize = U32>;
}

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

Required Associated Types

type Witness: Witness + Send + Sync

The structure that accumulates the witness data

type Hasher: Digest<OutputSize = U32>

The hash function used to compute the merkle root

Implementors

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>>