Trait snarkvm_circuit::Hash

pub trait Hash {
    type Input: Inject + Eject + Clone;
    type Output: Inject + Eject + Ternary + ToBits + Clone
    where
        <Self::Output as Ternary>::Output == Self::Output;

    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 + Ternary + ToBits + Clone
where
    <Self::Output as Ternary>::Output == Self::Output

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>> + 'static> for Pedersen<E, NUM_BITS> where
    E: Environment, 

type Case = Vec<Mode, Global>

fn count(
    case: &<Pedersen<E, NUM_BITS> as Metrics<dyn Hash<Output = Field<E>, Input = Boolean<E>> + 'static>>::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>> + 'static> for Pedersen<E, NUM_BITS> where
    E: Environment, 

type Case = Vec<Mode, Global>

fn output_mode(
    parameter: &<Pedersen<E, NUM_BITS> as OutputMode<dyn Hash<Output = Field<E>, Input = Boolean<E>> + 'static>>::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>