Trait snarkvm_gadgets::traits::algorithms::crh::CRHGadget

pub trait CRHGadget<H: CRH, F: PrimeField>: AllocGadget<H, F> + Sized + Clone {
    type OutputGadget: ConditionalEqGadget<F> + EqGadget<F> + ToBytesGadget<F> + CondSelectGadget<F> + AllocGadget<H::Output, F> + Debug + Clone + Sized;
    fn check_evaluation_gadget_on_bits<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        input: Vec<Boolean>
    ) -> Result<Self::OutputGadget, SynthesisError>;

    fn check_evaluation_gadget<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        input: Vec<UInt8>
    ) -> Result<Self::OutputGadget, SynthesisError> { ... }
    fn check_evaluation_gadget_on_field_elements<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        input: Vec<FpGadget<F>>
    ) -> Result<Self::OutputGadget, SynthesisError> { ... }
}

Associated Types

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

Required methods

fn check_evaluation_gadget_on_bits<CS: ConstraintSystem<F>>(
    &self,
    cs: CS,
    input: Vec<Boolean>
) -> Result<Self::OutputGadget, SynthesisError>

Provided methods

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

fn check_evaluation_gadget_on_field_elements<CS: ConstraintSystem<F>>(
    &self,
    cs: CS,
    input: Vec<FpGadget<F>>
) -> Result<Self::OutputGadget, SynthesisError>

Implementors

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

type OutputGadget = FpGadget<F>

impl<F: PrimeField, G: ProjectiveCurve, GG: CompressedGroupGadget<G, F>, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CRHGadget<BHPCRH<G, NUM_WINDOWS, WINDOW_SIZE>, F> for BHPCRHGadget<G, F, GG, NUM_WINDOWS, WINDOW_SIZE>

type OutputGadget = GG::BaseFieldGadget

impl<F: PrimeField, G: ProjectiveCurve, GG: CurveGadget<G, F>, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CRHGadget<PedersenCRH<G, NUM_WINDOWS, WINDOW_SIZE>, F> for PedersenCRHGadget<G, F, GG, NUM_WINDOWS, WINDOW_SIZE>

type OutputGadget = GG

impl<G: ProjectiveCurve, F: PrimeField, GG: CompressedGroupGadget<G, F>, const NUM_WINDOWS: usize, const WINDOW_SIZE: usize> CRHGadget<PedersenCompressedCRH<G, NUM_WINDOWS, WINDOW_SIZE>, F> for PedersenCompressedCRHGadget<G, F, GG, NUM_WINDOWS, WINDOW_SIZE>

type OutputGadget = GG::BaseFieldGadget