Trait snarkos_models::gadgets::algorithms::crh::MaskedCRHGadget

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

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

Required methods

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

Loading content...

Provided methods

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

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

Loading content...

Implementors

Loading content...