Trait PathHash

pub trait PathHash<E: Environment> {
    type Hash: Clone + Default + Inject<Primitive = <Self::Primitive as PathHash>::Hash> + Eject<Primitive = <Self::Primitive as PathHash>::Hash> + Equal<Output = Boolean<E>> + Ternary<Boolean = Boolean<E>, Output = Self::Hash>;
    type Primitive: PathHash;

    // Required method
    fn hash_children(&self, children: &[Self::Hash]) -> Self::Hash;

    // Provided method
    fn hash_empty<const ARITY: u8>(&self) -> Self::Hash { ... }
}

A trait for a Merkle path hash function.

Required Associated Types

type Hash: Clone + Default + Inject<Primitive = <Self::Primitive as PathHash>::Hash> + Eject<Primitive = <Self::Primitive as PathHash>::Hash> + Equal<Output = Boolean<E>> + Ternary<Boolean = Boolean<E>, Output = Self::Hash>

type Primitive: PathHash

Required Methods

fn hash_children(&self, children: &[Self::Hash]) -> Self::Hash

Returns the hash of the given child nodes.

Provided Methods

fn hash_empty<const ARITY: u8>(&self) -> Self::Hash

Returns the empty hash.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

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

fn hash_children(&self, children: &[Self::Hash]) -> Self::Hash

Returns the hash of the given child nodes.

type Hash = Field<E>

type Primitive = BHP<<E as Environment>::Network, NUM_WINDOWS, WINDOW_SIZE>

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

fn hash_children(&self, children: &[Self::Hash]) -> Self::Hash

Returns the hash of the given child nodes.

type Hash = Field<E>

type Primitive = Poseidon<<E as Environment>::Network, RATE>

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

fn hash_children(&self, children: &[Self::Hash]) -> Self::Hash

Returns the hash of the given child nodes.

type Hash = BooleanHash<E, VARIANT>

type Primitive = Keccak<TYPE, VARIANT>

Implementors