Trait snarkvm_algorithms::traits::merkle_tree::MerkleParameters

pub trait MerkleParameters: Clone + Debug + Send + Sync {
    type H: CRH;

    const DEPTH: usize;

    fn setup(message: &str) -> Self;
    fn setup_message(&self) -> &str;
    fn crh(&self) -> &Self::H;

    fn hash_leaf<L: ToBytes>(
        &self, 
        leaf: &L
    ) -> Result<<Self::H as CRH>::Output, MerkleError> { ... }
    fn hash_inner_node(
        &self, 
        left: &<Self::H as CRH>::Output, 
        right: &<Self::H as CRH>::Output
    ) -> Result<<Self::H as CRH>::Output, MerkleError> { ... }
    fn hash_empty(&self) -> Result<<Self::H as CRH>::Output, MerkleError> { ... }
}

Associated Types

type H: CRH

Associated Constants

const DEPTH: usize

Required methods

fn setup(message: &str) -> Self

Setup the MerkleParameters

fn setup_message(&self) -> &str

Returns the saved message from calling the MerkleParameters::setup() function.

fn crh(&self) -> &Self::H

Returns the collision-resistant hash function used by the Merkle tree.

Provided methods

fn hash_leaf<L: ToBytes>(
    &self,
    leaf: &L
) -> Result<<Self::H as CRH>::Output, MerkleError>

Returns the hash of a given leaf.

fn hash_inner_node(
    &self,
    left: &<Self::H as CRH>::Output,
    right: &<Self::H as CRH>::Output
) -> Result<<Self::H as CRH>::Output, MerkleError>

Returns the output hash, given a left and right hash value.

fn hash_empty(&self) -> Result<<Self::H as CRH>::Output, MerkleError>

Implementors

impl<H: CRH, const DEPTH: usize> MerkleParameters for MaskedMerkleTreeParameters<H, DEPTH>

type H = H

const DEPTH: usize

impl<H: CRH, const DEPTH: usize> MerkleParameters for MerkleTreeParameters<H, DEPTH>

type H = H

const DEPTH: usize