Trait Hash

pub trait Hash {
    type Input: Inject + Eject + Clone;
    type Output: Inject + Eject + ToBits + Clone;

    // Required method
    fn hash(&self, input: &[Self::Input]) -> Self::Output;
}

A trait for a hash function.

Required Associated Types

type Input: Inject + Eject + Clone

type Output: Inject + Eject + ToBits + Clone

Required Methods

fn hash(&self, input: &[Self::Input]) -> Self::Output

Returns the hash of the given input.

Trait Implementations

impl<E, const NUM_BITS: u8> Metrics<dyn Hash<Output = Field<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>

where E: Environment,

type Case = Vec<Mode>

fn count( case: &<Pedersen<E, NUM_BITS> as Metrics<dyn Hash<Output = Field<E>, Input = Boolean<E>>>>::Case, ) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E, const NUM_BITS: u8> OutputMode<dyn Hash<Output = Field<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>

where E: Environment,

type Case = Vec<Mode>

fn output_mode( parameter: &<Pedersen<E, NUM_BITS> as OutputMode<dyn Hash<Output = Field<E>, Input = Boolean<E>>>>::Case, ) -> Mode

Returns the mode of the output.

Implementors

impl<E, const NUM_BITS: u8> Hash for Pedersen<E, NUM_BITS>

where E: Environment,

type Input = Boolean<E>

type Output = Field<E>

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

where E: Environment,

type Input = Boolean<E>

type Output = Field<E>

impl<E, const RATE: usize> Hash for Poseidon<E, RATE>

where E: Environment,

type Input = Field<E>

type Output = Field<E>

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

where E: Environment,

type Input = Boolean<E>

type Output = Vec<Boolean<E>>