Trait LeafHash

pub trait LeafHash {
    type Hash: Default + Inject + Eject + Ternary;
    type Leaf;

    // Required method
    fn hash_leaf(&self, leaf: &Self::Leaf) -> Self::Hash;
}

A trait for a Merkle leaf hash function.

Required Associated Types

type Hash: Default + Inject + Eject + Ternary

type Leaf

Required Methods

fn hash_leaf(&self, leaf: &Self::Leaf) -> Self::Hash

Returns the hash of the given leaf node.

Implementations on Foreign Types

impl<E: Environment, const NUM_WINDOWS: u8, const WINDOW_SIZE: u8> LeafHash for BHP<E, NUM_WINDOWS, WINDOW_SIZE>

fn hash_leaf(&self, leaf: &Self::Leaf) -> Self::Hash

Returns the hash of the given leaf node.

type Hash = Field<E>

type Leaf = Vec<Boolean<E>>

impl<E: Environment, const RATE: usize> LeafHash for Poseidon<E, RATE>

fn hash_leaf(&self, leaf: &Self::Leaf) -> Self::Hash

Returns the hash of the given leaf node.

type Hash = Field<E>

type Leaf = Vec<Field<E>>

impl<E: Environment, const TYPE: u8, const VARIANT: usize> LeafHash for Keccak<E, TYPE, VARIANT>

fn hash_leaf(&self, leaf: &Self::Leaf) -> Self::Hash

Returns the hash of the given leaf node.

type Hash = BooleanHash<E, VARIANT>

type Leaf = Vec<Boolean<E>>

Implementors