Trait CommitmentDefGadget 

pub trait CommitmentDefGadget: Clone {
    type ConstraintField: SonobeField;
    type KeyVar: AllocVar<<Self::Widget as CommitmentDef>::Key, Self::ConstraintField>;
    type ScalarVar: AbsorbableVar<Self::ConstraintField> + CondSelectGadget<Self::ConstraintField> + FromBitsGadget<Self::ConstraintField> + AllocVar<<Self::Widget as CommitmentDef>::Scalar, Self::ConstraintField> + GR1CSVar<Self::ConstraintField, Value = <Self::Widget as CommitmentDef>::Scalar> + TwoStageFieldVar;
    type CommitmentVar: Clone + AbsorbableVar<Self::ConstraintField> + CondSelectGadget<Self::ConstraintField> + AllocVar<<Self::Widget as CommitmentDef>::Commitment, Self::ConstraintField> + GR1CSVar<Self::ConstraintField, Value = <Self::Widget as CommitmentDef>::Commitment>;
    type RandomnessVar: AllocVar<<Self::Widget as CommitmentDef>::Randomness, Self::ConstraintField> + GR1CSVar<Self::ConstraintField, Value = <Self::Widget as CommitmentDef>::Randomness>;
    type Widget: CommitmentDef;
}

CommitmentDefGadget specifies the in-circuit associated types for a commitment scheme gadget.

Required Associated Types

type ConstraintField: SonobeField

CommitmentDefGadget::ConstraintField is the field over which the circuit running the commitment scheme is defined.

type KeyVar: AllocVar<<Self::Widget as CommitmentDef>::Key, Self::ConstraintField>

CommitmentDefGadget::KeyVar is the in-circuit variable type for the commitment key.

type ScalarVar: AbsorbableVar<Self::ConstraintField> + CondSelectGadget<Self::ConstraintField> + FromBitsGadget<Self::ConstraintField> + AllocVar<<Self::Widget as CommitmentDef>::Scalar, Self::ConstraintField> + GR1CSVar<Self::ConstraintField, Value = <Self::Widget as CommitmentDef>::Scalar> + TwoStageFieldVar

CommitmentDefGadget::ScalarVar is the in-circuit variable type for the scalars being committed to.

type CommitmentVar: Clone + AbsorbableVar<Self::ConstraintField> + CondSelectGadget<Self::ConstraintField> + AllocVar<<Self::Widget as CommitmentDef>::Commitment, Self::ConstraintField> + GR1CSVar<Self::ConstraintField, Value = <Self::Widget as CommitmentDef>::Commitment>

CommitmentDefGadget::CommitmentVar is the in-circuit variable type for the commitment.

type RandomnessVar: AllocVar<<Self::Widget as CommitmentDef>::Randomness, Self::ConstraintField> + GR1CSVar<Self::ConstraintField, Value = <Self::Widget as CommitmentDef>::Randomness>

CommitmentDefGadget::RandomnessVar is the in-circuit variable type for the randomness used in the commitment.

type Widget: CommitmentDef

CommitmentDefGadget::Widget points to the out-of-circuit commitment scheme widget.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<C: SonobeCurve> CommitmentDefGadget for PedersenEmulatedGadget<C, false>

type ConstraintField = <C as PrimeGroup>::ScalarField

type KeyVar = PedersenEmulatedKeyVar<C, false>

type ScalarVar = FpVar<<C as PrimeGroup>::ScalarField>

type CommitmentVar = EmulatedAffineVar<<C as PrimeGroup>::ScalarField, C>

type RandomnessVar = Null

type Widget = Pedersen<C, false>

impl<C: SonobeCurve> CommitmentDefGadget for PedersenEmulatedGadget<C, true>

type ConstraintField = <C as PrimeGroup>::ScalarField

type KeyVar = PedersenEmulatedKeyVar<C, true>

type ScalarVar = FpVar<<C as PrimeGroup>::ScalarField>

type CommitmentVar = EmulatedAffineVar<<C as PrimeGroup>::ScalarField, C>

type RandomnessVar = FpVar<<C as PrimeGroup>::ScalarField>

type Widget = Pedersen<C, true>

impl<C: SonobeCurve> CommitmentDefGadget for PedersenGadget<C, false>

type ConstraintField = <<C as CurveGroup>::BaseField as Field>::BasePrimeField

type KeyVar = PedersenKeyVar<C, false>

type ScalarVar = LimbedVar<<<C as CurveGroup>::BaseField as Field>::BasePrimeField, <C as PrimeGroup>::ScalarField, true>

type CommitmentVar = <C as Val>::Var

type RandomnessVar = Null

type Widget = Pedersen<C, false>

impl<C: SonobeCurve> CommitmentDefGadget for PedersenGadget<C, true>

type ConstraintField = <<C as CurveGroup>::BaseField as Field>::BasePrimeField

type KeyVar = PedersenKeyVar<C, true>

type ScalarVar = LimbedVar<<<C as CurveGroup>::BaseField as Field>::BasePrimeField, <C as PrimeGroup>::ScalarField, true>

type CommitmentVar = <C as Val>::Var

type RandomnessVar = LimbedVar<<<C as CurveGroup>::BaseField as Field>::BasePrimeField, <C as PrimeGroup>::ScalarField, true>

type Widget = Pedersen<C, true>