Trait snarkvm_wasm::traits::algorithms::CommitmentGadget

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

Associated Types

type OutputGadget: AllocGadget<<C as CommitmentScheme>::Output, F> + ConditionalEqGadget<F> + EqGadget<F> + CondSelectGadget<F> + ToBytesGadget<F> + Clone + Sized + Debug

type ParametersGadget: AllocGadget<<C as CommitmentScheme>::Parameters, F> + Clone

type RandomnessGadget: AllocGadget<<C as CommitmentScheme>::Randomness, F> + Clone

Loading content...

Required methods

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

Loading content...

Implementors

impl<F> CommitmentGadget<Blake2sCommitment, F> for Blake2sCommitmentGadget where
    F: PrimeField, 

type OutputGadget = Blake2sOutputGadget

type ParametersGadget = Blake2sParametersGadget

type RandomnessGadget = Blake2sRandomnessGadget

pub fn check_commitment_gadget<CS>(
    cs: CS,
    &<Blake2sCommitmentGadget as CommitmentGadget<Blake2sCommitment, F>>::ParametersGadget,
    input: &[UInt8],
    r: &<Blake2sCommitmentGadget as CommitmentGadget<Blake2sCommitment, F>>::RandomnessGadget
) -> Result<<Blake2sCommitmentGadget as CommitmentGadget<Blake2sCommitment, F>>::OutputGadget, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F, G, GG, S> CommitmentGadget<PedersenCommitment<G, S>, F> for PedersenCommitmentGadget<G, F, GG> where
    G: Group,
    S: PedersenSize,
    F: PrimeField,
    GG: GroupGadget<G, F>, 

type OutputGadget = GG

type ParametersGadget = PedersenCommitmentParametersGadget<G, S, F>

type RandomnessGadget = PedersenRandomnessGadget<G>

pub fn check_commitment_gadget<CS>(
    cs: CS,
    parameters: &<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::ParametersGadget,
    input: &[UInt8],
    randomness: &<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::RandomnessGadget
) -> Result<<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::OutputGadget, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F, G, GG, S> CommitmentGadget<PedersenCompressedCommitment<G, S>, F> for PedersenCompressedCommitmentGadget<G, F, GG> where
    G: Group + ProjectiveCurve,
    S: PedersenSize,
    F: PrimeField,
    GG: CompressedGroupGadget<G, F>, 

type OutputGadget = <GG as CompressedGroupGadget<G, F>>::BaseFieldGadget

type ParametersGadget = PedersenCommitmentParametersGadget<G, S, F>

type RandomnessGadget = PedersenRandomnessGadget<G>

pub fn check_commitment_gadget<CS>(
    cs: CS,
    parameters: &<PedersenCompressedCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCompressedCommitment<G, S>, F>>::ParametersGadget,
    input: &[UInt8],
    randomness: &<PedersenCompressedCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCompressedCommitment<G, S>, F>>::RandomnessGadget
) -> Result<<PedersenCompressedCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCompressedCommitment<G, S>, F>>::OutputGadget, SynthesisError> where
    CS: ConstraintSystem<F>, 

Loading content...