Struct dusk_plonk::constraint_system::ecc::Point

pub struct Point { /* fields omitted */ }

Represents a JubJub point in the circuit

Implementations

impl Point

pub fn fast_add(&self, composer: &mut StandardComposer, point_b: Point) -> Point

Adds two curve points together using a curve addition gate Note that since the points are not fixed the generator is not a part of the circuit description, however it is less efficient for a program width of 4.

impl Point

pub fn x(&self) -> &Variable

Return the X coordinate of the point

pub fn y(&self) -> &Variable

Return the Y coordinate of the point

pub fn identity(composer: &mut StandardComposer) -> Point

Returns an identity point

pub fn from_private_affine(
    composer: &mut StandardComposer,
    affine: AffinePoint
) -> Point

Converts an AffinePoint into a constraint system Point without constraining the values

pub fn from_public_affine(
    composer: &mut StandardComposer,
    affine: AffinePoint
) -> Point

Converts an AffinePoint into a constraint system Point without constraining the values

pub fn conditional_select(
    &self,
    composer: &mut StandardComposer,
    bit: Variable,
    point_b: Point
) -> Point

Conditionally selects a Point based on an input bit If: bit == 1 => self, bit == 0 => point_b,

impl Point

pub fn add(&self, composer: &mut StandardComposer, point_b: Point) -> Point

Adds two curve points together

pub fn slow_add(&self, composer: &mut StandardComposer, point_b: Point) -> Point

Adds two curve points together using arithmetic gates

Trait Implementations

impl Clone for Point

fn clone(&self) -> Point

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Point

impl Debug for Point

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

Formats the value using the given formatter.

impl From<PointScalar> for Point

fn from(ps: PointScalar) -> Point

Performs the conversion.