Trait snarkvm_gadgets::traits::algorithms::crh::CRHGadget[−][src]

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

Associated Types

Required methods

Implementors