Trait ark_r1cs_std::groups::GroupOpsBounds

pub trait GroupOpsBounds<'a, F, T: 'a>: Sized + Add<&'a T, Output = T> + Sub<&'a T, Output = T> + Add<T, Output = T> + Sub<T, Output = T> + Add<F, Output = T> + Sub<F, Output = T> { }

A hack used to work around the lack of implied bounds.

Implementors

impl<'a, P, F> GroupOpsBounds<'a, Projective<P>, ProjectiveVar<P, F>> for &'a ProjectiveVar<P, F>where
    P: SWModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,
    for<'b> &'b F: FieldOpsBounds<'b, P::BaseField, F>,

impl<'a, P, F> GroupOpsBounds<'a, Projective<P>, ProjectiveVar<P, F>> for ProjectiveVar<P, F>where
    P: SWModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,
    for<'b> &'b F: FieldOpsBounds<'b, P::BaseField, F>,

impl<'a, P, F> GroupOpsBounds<'a, Projective<P>, AffineVar<P, F>> for &'a AffineVar<P, F>where
    P: TEModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField> + TwoBitLookupGadget<<P::BaseField as Field>::BasePrimeField, TableConstant = P::BaseField>,
    for<'b> &'b F: FieldOpsBounds<'b, P::BaseField, F>,

impl<'a, P, F> GroupOpsBounds<'a, Projective<P>, AffineVar<P, F>> for AffineVar<P, F>where
    P: TEModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField> + TwoBitLookupGadget<<P::BaseField as Field>::BasePrimeField, TableConstant = P::BaseField>,
    for<'b> &'b F: FieldOpsBounds<'b, P::BaseField, F>,