Struct AllocatedPointNonInfinity 

pub struct AllocatedPointNonInfinity<E: Engine> {
    pub x: AllocatedNum<E::Base>,
    pub y: AllocatedNum<E::Base>,
}

AllocatedPoint but one that is guaranteed to be not infinity

Fields

x: AllocatedNum<E::Base>

The x-coordinate of the point.

y: AllocatedNum<E::Base>

The y-coordinate of the point.

Implementations

impl<E: Engine> AllocatedPointNonInfinity<E>

pub fn from_allocated_point(p: &AllocatedPoint<E>) -> Self

Turns an AllocatedPoint into an AllocatedPointNonInfinity (assumes it is not infinity)

pub fn to_allocated_point( &self, is_infinity: &AllocatedNum<E::Base>, ) -> Result<AllocatedPoint<E>, SynthesisError>

Returns an AllocatedPoint from an AllocatedPointNonInfinity

pub fn add_incomplete<CS>( &self, cs: CS, other: &Self, ) -> Result<Self, SynthesisError>

where CS: ConstraintSystem<E::Base>,

Add two points assuming self != +/- other

pub fn double_incomplete<CS: ConstraintSystem<E::Base>>( &self, cs: CS, ) -> Result<Self, SynthesisError>

doubles the point; since this is called with a point not at infinity, it is guaranteed to be not infinity

pub fn conditionally_select<CS: ConstraintSystem<E::Base>>( cs: CS, a: &Self, b: &Self, condition: &Boolean, ) -> Result<Self, SynthesisError>

If condition outputs a otherwise outputs b

pub fn alloc<CS: ConstraintSystem<E::Base>>( cs: CS, coords: Option<(E::Base, E::Base)>, ) -> Result<AllocatedPointNonInfinity<E>, SynthesisError>

Allocate a new point from coordinates.

pub fn conditionally_select2<CS: ConstraintSystem<E::Base>>( cs: CS, a: &Self, b: &Self, condition: &AllocatedNum<E::Base>, ) -> Result<AllocatedPointNonInfinity<E>, SynthesisError>

Conditional select using an AllocatedNum instead of Boolean.

pub fn enforce_equal<CS: ConstraintSystem<E::Base>>( &self, cs: CS, other: &Self, ) -> Result<(), SynthesisError>

Enforce that self equals other.

Trait Implementations

impl<E: Clone + Engine> Clone for AllocatedPointNonInfinity<E>

where E::Base: Clone,

fn clone(&self) -> AllocatedPointNonInfinity<E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.