Enum SymPoint 

pub enum SymPoint {
    Const(RistrettoPoint),
    Var(Option<RistrettoPoint>),
    Add(Box<SymPoint>, Box<SymPoint>),
    Sub(Box<SymPoint>, Box<SymPoint>),
    Neg(Box<SymPoint>),
    Scale(Box<SymScalar>, Box<SymPoint>),
}

Variants

Const(RistrettoPoint)

Var(Option<RistrettoPoint>)

Add(Box<SymPoint>, Box<SymPoint>)

Sub(Box<SymPoint>, Box<SymPoint>)

Neg(Box<SymPoint>)

Scale(Box<SymScalar>, Box<SymPoint>)

Implementations

impl SymPoint

pub fn evaluate(&self) -> Result<RistrettoPoint, SigmaProofError>

Trait Implementations

impl Add for SymPoint

type Output = SymPoint

The resulting type after applying the + operator.

fn add(self, rhs: SymPoint) -> SymPoint

Performs the + operation.

impl Add<&SymPoint> for SymPoint

type Output = SymPoint

The resulting type after applying the + operator.

fn add(self, rhs: &SymPoint) -> SymPoint

Performs the + operation.

impl Add<&SymPoint> for &SymPoint

type Output = SymPoint

The resulting type after applying the + operator.

fn add(self, rhs: &SymPoint) -> SymPoint

Performs the + operation.

impl Add<SymPoint> for &SymPoint

type Output = SymPoint

The resulting type after applying the + operator.

fn add(self, rhs: SymPoint) -> SymPoint

Performs the + operation.

impl Clone for SymPoint

fn clone(&self) -> SymPoint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Mul<&SymPoint> for SymScalar

type Output = SymPoint

The resulting type after applying the * operator.

fn mul(self, rhs: &SymPoint) -> SymPoint

Performs the * operation.

impl Mul<&SymPoint> for &SymScalar

type Output = SymPoint

The resulting type after applying the * operator.

fn mul(self, rhs: &SymPoint) -> SymPoint

Performs the * operation.

impl Mul<&SymPoint> for Scalar

type Output = SymPoint

The resulting type after applying the * operator.

fn mul(self, rhs: &SymPoint) -> SymPoint

Performs the * operation.

impl Mul<&SymPoint> for &Scalar

type Output = SymPoint

The resulting type after applying the * operator.

fn mul(self, rhs: &SymPoint) -> SymPoint

Performs the * operation.

impl Mul<SymPoint> for SymScalar

type Output = SymPoint

The resulting type after applying the * operator.

fn mul(self, rhs: SymPoint) -> SymPoint

Performs the * operation.

impl Mul<SymPoint> for &SymScalar

type Output = SymPoint

The resulting type after applying the * operator.

fn mul(self, rhs: SymPoint) -> SymPoint

Performs the * operation.

impl Mul<SymPoint> for Scalar

type Output = SymPoint

The resulting type after applying the * operator.

fn mul(self, rhs: SymPoint) -> SymPoint

Performs the * operation.

impl Mul<SymPoint> for &Scalar

type Output = SymPoint

The resulting type after applying the * operator.

fn mul(self, rhs: SymPoint) -> SymPoint

Performs the * operation.

impl Neg for SymPoint

type Output = SymPoint

The resulting type after applying the - operator.

fn neg(self) -> SymPoint

Performs the unary - operation.

impl Neg for &SymPoint

type Output = SymPoint

The resulting type after applying the - operator.

fn neg(self) -> SymPoint

Performs the unary - operation.

impl Sub for SymPoint

type Output = SymPoint

The resulting type after applying the - operator.

fn sub(self, rhs: SymPoint) -> SymPoint

Performs the - operation.

impl Sub<&SymPoint> for SymPoint

type Output = SymPoint

The resulting type after applying the - operator.

fn sub(self, rhs: &SymPoint) -> SymPoint

Performs the - operation.

impl Sub<&SymPoint> for &SymPoint

type Output = SymPoint

The resulting type after applying the - operator.

fn sub(self, rhs: &SymPoint) -> SymPoint

Performs the - operation.

impl Sub<SymPoint> for &SymPoint

type Output = SymPoint

The resulting type after applying the - operator.

fn sub(self, rhs: SymPoint) -> SymPoint

Performs the - operation.

impl SymInstance for SymPoint

fn num_scalars() -> usize

fn num_points() -> usize

fn from_values( scalars: &[Scalar], points: &[RistrettoPoint], ) -> SigmaProofResult<Self>

fn get_field_names() -> Vec<&'static str>

fn points(&self) -> Vec<SymPoint>

fn scalars(&self) -> Vec<SymScalar>