Struct NonZeroAffineVar

pub struct NonZeroAffineVar<P: SWCurveConfig, F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>>
where
    for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,
{
    pub x: F,
    pub y: F,
    /* private fields */
}

An affine representation of a prime order curve point that is guaranteed to not be the point at infinity.

Fields

x: F

The x-coordinate.

y: F

The y-coordinate.

Implementations

impl<P, F> NonZeroAffineVar<P, F>

where P: SWCurveConfig, F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>, for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

pub fn new(x: F, y: F) -> Self

pub fn into_projective(&self) -> ProjectiveVar<P, F>

Converts self into a non-zero projective point.

pub fn add_unchecked(&self, other: &Self) -> Result<Self, SynthesisError>

Performs an addition without checking that other != ±self.

pub fn double(&self) -> Result<Self, SynthesisError>

Doubles self. As this is a prime order curve point, the output is guaranteed to not be the point at infinity.

pub fn double_and_add_unchecked( &self, other: &Self, ) -> Result<Self, SynthesisError>

Computes (self + other) + self. This method requires only 5 constraints, less than the 7 required when computing via self.double() + other.

This follows the formulae from [ELM03].

pub fn double_in_place(&mut self) -> Result<(), SynthesisError>

Doubles self in place.

Trait Implementations

impl<P: SWCurveConfig, F> Clone for NonZeroAffineVar<P, F>

where for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>, F: Clone + FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>, PhantomData<P>: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P, F> CondSelectGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField> for NonZeroAffineVar<P, F>

where P: SWCurveConfig, F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>, for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

fn conditionally_select( cond: &Boolean<<P::BaseField as Field>::BasePrimeField>, true_value: &Self, false_value: &Self, ) -> Result<Self, SynthesisError>

If cond == &Boolean::TRUE, then this returns true_value; else, returns false_value.

fn conditionally_select_power_of_two_vector( position: &[Boolean<ConstraintF>], values: &[Self], ) -> Result<Self, SynthesisError>

Returns an element of values whose index in represented by position. position is an array of boolean that represents an unsigned integer in big endian order.

impl<P: SWCurveConfig, F> Debug for NonZeroAffineVar<P, F>

where for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>, F: Debug + FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P, F> EqGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField> for NonZeroAffineVar<P, F>

where P: SWCurveConfig, F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>, for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

fn is_eq( &self, other: &Self, ) -> Result<Boolean<<P::BaseField as Field>::BasePrimeField>, SynthesisError>

Output a Boolean value representing whether self.value() == other.value().

fn conditional_enforce_equal( &self, other: &Self, condition: &Boolean<<P::BaseField as Field>::BasePrimeField>, ) -> Result<(), SynthesisError>

If should_enforce == true, enforce that self and other are equal; else, enforce a vacuously true statement.

fn enforce_equal(&self, other: &Self) -> Result<(), SynthesisError>

Enforce that self and other are equal.

fn conditional_enforce_not_equal( &self, other: &Self, condition: &Boolean<<P::BaseField as Field>::BasePrimeField>, ) -> Result<(), SynthesisError>

If should_enforce == true, enforce that self and other are not equal; else, enforce a vacuously true statement.

fn is_neq(&self, other: &Self) -> Result<Boolean<F>, SynthesisError>

Output a Boolean value representing whether self.value() != other.value().

fn enforce_not_equal(&self, other: &Self) -> Result<(), SynthesisError>

Enforce that self and other are not equal.