Trait lambdaworks_crypto::merkle_tree::traits::IsMerkleTreeBackend

pub trait IsMerkleTreeBackend: Default {
    type Node: PartialEq + Eq + Clone + Sync + Send;
    type Data: Sync + Send;

    // Required methods
    fn hash_data(leaf: &Self::Data) -> Self::Node;
    fn hash_new_parent(child_1: &Self::Node, child_2: &Self::Node) -> Self::Node;

    // Provided method
    fn hash_leaves(unhashed_leaves: &[Self::Data]) -> Vec<Self::Node> { ... }
}

A backend for Merkle trees. This defines raw Data from which the Merkle tree is built from. It also defines the Node type and the hash function used to build parent nodes from children nodes.

Required Associated Types

type Node: PartialEq + Eq + Clone + Sync + Send

type Data: Sync + Send

Required Methods

fn hash_data(leaf: &Self::Data) -> Self::Node

This function takes a single variable Data and converts it to a node.

fn hash_new_parent(child_1: &Self::Node, child_2: &Self::Node) -> Self::Node

This function takes to children nodes and builds a new parent node. It will be used in the construction of the Merkle tree.

Provided Methods

fn hash_leaves(unhashed_leaves: &[Self::Data]) -> Vec<Self::Node>

This function takes the list of data from which the Merkle tree will be built from and converts it to a list of leaf nodes.

Object Safety

This trait is not object safe.

Implementors

impl<F, D: Digest, const NUM_BYTES: usize> IsMerkleTreeBackend for FieldElementBackend<F, D, NUM_BYTES>

where F: IsField, FieldElement<F>: AsBytes + Sync + Send, [u8; NUM_BYTES]: From<GenericArray<u8, <D as OutputSizeUser>::OutputSize>>,

type Node = [u8; NUM_BYTES]

type Data = FieldElement<F>

impl<F, D: Digest, const NUM_BYTES: usize> IsMerkleTreeBackend for FieldElementVectorBackend<F, D, NUM_BYTES>

where F: IsField, FieldElement<F>: AsBytes, [u8; NUM_BYTES]: From<GenericArray<u8, <D as OutputSizeUser>::OutputSize>>, Vec<FieldElement<F>>: Sync + Send,

type Node = [u8; NUM_BYTES]

type Data = Vec<FieldElement<F>>

impl<P> IsMerkleTreeBackend for TreePoseidon<P>

where P: Poseidon + Default, FieldElement<P::F>: Sync + Send,

type Node = FieldElement<<P as PermutationParameters>::F>

type Data = FieldElement<<P as PermutationParameters>::F>

impl<P> IsMerkleTreeBackend for BatchPoseidonTree<P>

where P: Poseidon + Default, Vec<FieldElement<P::F>>: Sync + Send, FieldElement<P::F>: Sync + Send,

type Node = FieldElement<<P as PermutationParameters>::F>

type Data = Vec<FieldElement<<P as PermutationParameters>::F>>