Trait snarkvm_wasm::traits::algorithms::MaskedCRHGadget

pub trait MaskedCRHGadget<H, F>: CRHGadget<H, F> where
    H: CRH,
    F: PrimeField, {
    fn check_evaluation_gadget_masked<CS>(
        cs: CS, 
        parameters: &Self::ParametersGadget, 
        input: Vec<UInt8, Global>, 
        mask_parameters: &Self::ParametersGadget, 
        mask: Vec<UInt8, Global>
    ) -> Result<Self::OutputGadget, SynthesisError>
    where
        CS: ConstraintSystem<F>;

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

Required methods

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

Provided methods

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

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

Implementors

impl<F, G, GG, S> MaskedCRHGadget<PedersenCRH<G, S>, F> for PedersenCRHGadget<G, F, GG> where
    G: Group,
    S: PedersenSize,
    F: PrimeField,
    GG: GroupGadget<G, F>, 

impl<F, G, GG, S> MaskedCRHGadget<PedersenCompressedCRH<G, S>, F> for PedersenCompressedCRHGadget<G, F, GG> where
    G: Group + ProjectiveCurve,
    S: PedersenSize,
    F: PrimeField,
    GG: CompressedGroupGadget<G, F>,