Struct GVar 

pub struct GVar<'ctx> { /* private fields */ }

An in circuit representation of a banderwagon point.

Implementations

impl<'ctx> GVar<'ctx>

pub fn constant(point: &G) -> Self

The in-circuit representation of an out-of-circuit point, as native constants (its canonical affine coordinates (X/Z, Y/Z)). Folding the point in as a constant pins its representative, which is what makes reading a coordinate of a derived point well-defined.

The point is canonicalized first, so the embedded constants are a function of the group element, not of whichever of its two affine representatives the caller happens to hold. Two parties folding in the same element therefore build byte-identical circuits without having to canonicalize their public inputs themselves.

pub fn assert_eq(&self, other: &Self)

Assert (in circuit) that self and other are the same group element.

Mirrors the out-of-circuit PartialEq for G: two representatives denote the same quotient element iff x1 * y2 == x2 * y1. Constraining the affine coordinates directly would be unsound here, because it would reject the equally-valid twin representative (-x, -y).

pub fn x_squared(&self) -> Var<'ctx, Scalar>

Return the squared affine x-coordinate of this circuit point.

Trait Implementations

impl<'ctx> Add<&GVar<'ctx>> for GVar<'ctx>

type Output = GVar<'ctx>

The resulting type after applying the + operator.

fn add(self, rhs: &Self) -> Self::Output

Performs the + operation.

impl<'ctx> AddAssign<&GVar<'ctx>> for GVar<'ctx>

fn add_assign(&mut self, rhs: &Self)

Performs the += operation.

impl<'ctx> Clone for GVar<'ctx>

fn clone(&self) -> GVar<'ctx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.