Trait PathHash

pub trait PathHash:
    Clone
    + Send
    + Sync {
    type Hash: FieldTrait;

    // Required method
    fn hash_children(
        &self,
        left: &Self::Hash,
        right: &Self::Hash,
    ) -> Result<Self::Hash>;

    // Provided methods
    fn hash_empty(&self) -> Result<Self::Hash> { ... }
    fn hash_all_children(
        &self,
        child_nodes: &[(Self::Hash, Self::Hash)],
    ) -> Result<Vec<Self::Hash>> { ... }
}

A trait for a Merkle path hash function.

Required Associated Types

type Hash: FieldTrait

Required Methods

fn hash_children( &self, left: &Self::Hash, right: &Self::Hash, ) -> Result<Self::Hash>

Returns the hash of the given child nodes.

Provided Methods

fn hash_empty(&self) -> Result<Self::Hash>

Returns the empty hash.

fn hash_all_children( &self, child_nodes: &[(Self::Hash, Self::Hash)], ) -> Result<Vec<Self::Hash>>

Returns the hash for each tuple of child nodes.

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 for BHP<E, NUM_WINDOWS, WINDOW_SIZE>

fn hash_children( &self, left: &Self::Hash, right: &Self::Hash, ) -> Result<Self::Hash>

Returns the hash of the given child nodes.

type Hash = Field<E>

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

fn hash_children( &self, left: &Self::Hash, right: &Self::Hash, ) -> Result<Self::Hash>

Returns the hash of the given child nodes.

type Hash = Field<E>

Implementors