Trait snarkvm_wasm::traits::CRHGadget [−][src]
pub trait CRHGadget<H, F>: Clone where
F: Field,
H: CRH, { 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>,