Struct sapling_crypto_ce::circuit::ecc::EdwardsPoint

pub struct EdwardsPoint<E: Engine> { /* fields omitted */ }

Methods

impl<E: JubjubEngine> EdwardsPoint<E>

pub fn get_x(&self) -> &AllocatedNum<E>

pub fn get_y(&self) -> &AllocatedNum<E>

pub fn assert_not_small_order<CS>(
    &self,
    cs: CS,
    params: &E::Params
) -> Result<(), SynthesisError> where
    CS: ConstraintSystem<E>, 

pub fn inputize<CS>(&self, cs: CS) -> Result<(), SynthesisError> where
    CS: ConstraintSystem<E>, 

pub fn repr<CS>(&self, cs: CS) -> Result<Vec<Boolean>, SynthesisError> where
    CS: ConstraintSystem<E>, 

This converts the point into a representation.

pub fn witness<Order, CS>(
    cs: CS,
    p: Option<Point<E, Order>>,
    params: &E::Params
) -> Result<Self, SynthesisError> where
    CS: ConstraintSystem<E>, 

This 'witnesses' a point inside the constraint system. It guarantees the point is on the curve.

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

Returns self if condition is true, and the neutral element (0, 1) otherwise.

pub fn mul<CS>(
    &self,
    cs: CS,
    by: &[Boolean],
    params: &E::Params
) -> Result<Self, SynthesisError> where
    CS: ConstraintSystem<E>, 

Performs a scalar multiplication of this twisted Edwards point by a scalar represented as a sequence of booleans in little-endian bit order.

pub fn interpret<CS>(
    cs: CS,
    x: &AllocatedNum<E>,
    y: &AllocatedNum<E>,
    params: &E::Params
) -> Result<Self, SynthesisError> where
    CS: ConstraintSystem<E>, 

pub fn double<CS>(
    &self,
    cs: CS,
    params: &E::Params
) -> Result<Self, SynthesisError> where
    CS: ConstraintSystem<E>, 

pub fn add<CS>(
    &self,
    cs: CS,
    other: &Self,
    params: &E::Params
) -> Result<Self, SynthesisError> where
    CS: ConstraintSystem<E>, 

Perform addition between any two points

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.