Trait snarkvm_algorithms::traits::crh::CRH

pub trait CRH: Clone + Debug + ToBytes + FromBytes + Send + Sync + From<Self::Parameters> {
    type Output: Copy + Clone + Debug + Display + ToBytes + FromBytes + Eq + Hash + Default + Send + Sync;
    type Parameters: Clone + Debug + Eq;
    fn setup(message: &str) -> Self;
    fn hash_bits(&self, input_bits: &[bool]) -> Result<Self::Output, CRHError>;
    fn parameters(&self) -> &Self::Parameters;

    fn hash(&self, input: &[u8]) -> Result<Self::Output, CRHError> { ... }
    fn hash_field_elements<F: PrimeField>(
        &self, 
        input: &[F]
    ) -> Result<Self::Output, CRHError> { ... }
}

Associated Types

type Output: Copy + Clone + Debug + Display + ToBytes + FromBytes + Eq + Hash + Default + Send + Sync

type Parameters: Clone + Debug + Eq

Required methods

fn setup(message: &str) -> Self

fn hash_bits(&self, input_bits: &[bool]) -> Result<Self::Output, CRHError>

fn parameters(&self) -> &Self::Parameters

Provided methods

fn hash(&self, input: &[u8]) -> Result<Self::Output, CRHError>

fn hash_field_elements<F: PrimeField>(
    &self,
    input: &[F]
) -> Result<Self::Output, CRHError>

Implementors

impl<F: PrimeField + PoseidonDefaultParametersField, const INPUT_SIZE_FE: usize> CRH for PoseidonCRH<F, INPUT_SIZE_FE>

type Output = F

type Parameters = Arc<PoseidonParameters<F, 4, 1>>

impl<G: ProjectiveCurve, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CRH for BHPCRH<G, NUM_WINDOWS, WINDOW_SIZE>

type Output = <G::Affine as AffineCurve>::BaseField

type Parameters = Arc<Vec<Vec<G>>>

impl<G: ProjectiveCurve, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CRH for PedersenCRH<G, NUM_WINDOWS, WINDOW_SIZE>

type Output = G::Affine

type Parameters = Vec<Vec<G>>

impl<G: ProjectiveCurve, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CRH for PedersenCompressedCRH<G, NUM_WINDOWS, WINDOW_SIZE>

type Output = <G::Affine as AffineCurve>::BaseField

type Parameters = Vec<Vec<G>>