Trait snarkvm_wasm::traits::algorithms::crh::MaskedCRHGadget [−][src]
pub trait MaskedCRHGadget<H, F>: CRHGadget<H, F> where
F: PrimeField,
H: CRH, { 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>,
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.