[−][src]Trait snarkvm_models::gadgets::algorithms::commitment::CommitmentGadget

pub trait CommitmentGadget<C: CommitmentScheme, F: Field> {
    type OutputGadget: ConditionalEqGadget<F> + CondSelectGadget<F> + EqGadget<F> + ToBytesGadget<F> + AllocGadget<C::Output, F> + Clone + Sized + Debug;
    type ParametersGadget: AllocGadget<C::Parameters, F> + Clone;
    type RandomnessGadget: AllocGadget<C::Randomness, F> + Clone;
    pub fn check_commitment_gadget<CS: ConstraintSystem<F>>(
        cs: CS, 
        parameters: &Self::ParametersGadget, 
        input: &[UInt8], 
        r: &Self::RandomnessGadget
    ) -> Result<Self::OutputGadget, SynthesisError>;
}

Associated Types

type OutputGadget: ConditionalEqGadget<F> + CondSelectGadget<F> + EqGadget<F> + ToBytesGadget<F> + AllocGadget<C::Output, F> + Clone + Sized + Debug[src]

type ParametersGadget: AllocGadget<C::Parameters, F> + Clone[src]

type RandomnessGadget: AllocGadget<C::Randomness, F> + Clone[src]

Loading content...

Required methods

pub fn check_commitment_gadget<CS: ConstraintSystem<F>>(
    cs: CS,
    parameters: &Self::ParametersGadget,
    input: &[UInt8],
    r: &Self::RandomnessGadget
) -> Result<Self::OutputGadget, SynthesisError>[src]

Loading content...

Implementors

Loading content...