Trait snarkvm_gadgets::traits::algorithms::crh::MaskedCRHGadget

pub trait MaskedCRHGadget<H: CRH, F: PrimeField>: CRHGadget<H, F> {
    type MaskParametersGadget: AllocGadget<H, F> + Clone;
    fn check_evaluation_gadget_masked<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        input: Vec<UInt8>, 
        mask_parameters: &Self::MaskParametersGadget, 
        mask: Vec<UInt8>
    ) -> Result<Self::OutputGadget, SynthesisError>;

    fn extend_mask<CS: ConstraintSystem<F>>(
        _: CS, 
        mask: &[UInt8]
    ) -> Result<Vec<UInt8>, SynthesisError> { ... }
}

Associated Types

type MaskParametersGadget: AllocGadget<H, F> + Clone

Required methods

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

Provided methods

fn extend_mask<CS: ConstraintSystem<F>>(
    _: CS,
    mask: &[UInt8]
) -> Result<Vec<UInt8>, SynthesisError>

Extends the mask such that 0 => 01, 1 => 10.

Implementors

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

type MaskParametersGadget = Self

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

type MaskParametersGadget = Self