Trait snarkvm_wasm::prelude::CRHGadget

pub trait CRHGadget<H, F>: Clone where
    H: CRH,
    F: Field, {
    type ParametersGadget: AllocGadget<<H as CRH>::Parameters, F> + Clone;
    type OutputGadget: ConditionalEqGadget<F> + EqGadget<F> + ToBytesGadget<F> + CondSelectGadget<F> + AllocGadget<<H as CRH>::Output, F> + Debug + Clone + Sized;
    fn check_evaluation_gadget<CS>(
        cs: CS, 
        parameters: &Self::ParametersGadget, 
        input: Vec<UInt8, Global>
    ) -> Result<Self::OutputGadget, SynthesisError>
    where
        CS: ConstraintSystem<F>;
}

Associated Types

type ParametersGadget: AllocGadget<<H as CRH>::Parameters, F> + Clone

type OutputGadget: ConditionalEqGadget<F> + EqGadget<F> + ToBytesGadget<F> + CondSelectGadget<F> + AllocGadget<<H as CRH>::Output, F> + Debug + Clone + Sized

Required methods

fn check_evaluation_gadget<CS>(
    cs: CS,
    parameters: &Self::ParametersGadget,
    input: Vec<UInt8, Global>
) -> Result<Self::OutputGadget, SynthesisError> where
    CS: ConstraintSystem<F>, 

Implementors