Struct MontgomeryAffineVar

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

An implementation of arithmetic for Montgomery curves that relies on incomplete addition formulae for the affine model, as outlined in the EFD.

This is intended for use primarily for implementing efficient multi-scalar-multiplication in the Bowe-Hopwood-Pedersen hash.

Fields

x: F

The x-coordinate.

y: F

The y-coordinate.

Implementations

impl<P: TECurveConfig, F: FieldVar<P::BaseField, <<P as CurveConfig>::BaseField as Field>::BasePrimeField>> MontgomeryAffineVar<P, F>

where for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

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

Constructs Self from an (x, y) coordinate pair.

pub fn from_edwards_to_coords( p: &TEAffine<P>, ) -> Result<(P::BaseField, P::BaseField), SynthesisError>

Converts a Twisted Edwards curve point to coordinates for the corresponding affine Montgomery curve point.

pub fn new_witness_from_edwards( cs: ConstraintSystemRef<<<P as CurveConfig>::BaseField as Field>::BasePrimeField>, p: &TEAffine<P>, ) -> Result<Self, SynthesisError>

Converts a Twisted Edwards curve point to coordinates for the corresponding affine Montgomery curve point.

pub fn into_edwards(&self) -> Result<AffineVar<P, F>, SynthesisError>

Converts self into a Twisted Edwards curve point variable.

Trait Implementations

impl<'a, P, F> Add<&'a MontgomeryAffineVar<P, F>> for MontgomeryAffineVar<P, F>

where P: TECurveConfig, F: FieldVar<P::BaseField, <<P as CurveConfig>::BaseField as Field>::BasePrimeField>, for<'b> &'b F: FieldOpsBounds<'b, P::BaseField, F>,

type Output = MontgomeryAffineVar<P, F>

The resulting type after applying the + operator.

fn add(self, other: &'a Self) -> Self::Output

Performs the + operation.

impl<P: TECurveConfig, F> Clone for MontgomeryAffineVar<P, F>

where for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>, F: Clone + FieldVar<P::BaseField, <<P as CurveConfig>::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: TECurveConfig, F> Debug for MontgomeryAffineVar<P, F>

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

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

Formats the value using the given formatter.