Trait snarkvm_gadgets::traits::algorithms::crh::MaskedCRHGadget [−][src]
pub trait MaskedCRHGadget<H: CRH, F: PrimeField>: CRHGadget<H, F> { fn check_evaluation_gadget_masked<CS: ConstraintSystem<F>>(
cs: CS,
parameters: &Self::ParametersGadget,
input: Vec<UInt8>,
mask_parameters: &Self::ParametersGadget,
mask: Vec<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: Vec<UInt8>,
mask_parameters: &Self::ParametersGadget,
mask: Vec<UInt8>
) -> Result<Self::OutputGadget, SynthesisError>
Provided methods
fn extend_mask<CS: ConstraintSystem<F>>(
_: CS,
mask: &[UInt8]
) -> Result<Vec<UInt8>, SynthesisError>
fn extend_mask<CS: ConstraintSystem<F>>(
_: CS,
mask: &[UInt8]
) -> Result<Vec<UInt8>, SynthesisError>
Extends the mask such that 0 => 01, 1 => 10.