Enum SymScalar 

pub enum SymScalar {
    Const(Scalar),
    Var(Option<Scalar>),
    Add(Box<SymScalar>, Box<SymScalar>),
    Sub(Box<SymScalar>, Box<SymScalar>),
    Neg(Box<SymScalar>),
    Mul(Box<SymScalar>, Box<SymScalar>),
}

Variants

Const(Scalar)

Var(Option<Scalar>)

Add(Box<SymScalar>, Box<SymScalar>)

Sub(Box<SymScalar>, Box<SymScalar>)

Neg(Box<SymScalar>)

Mul(Box<SymScalar>, Box<SymScalar>)

Implementations

impl SymScalar

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

Trait Implementations

impl Add for SymScalar

type Output = SymScalar

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&SymScalar> for SymScalar

type Output = SymScalar

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&SymScalar> for &SymScalar

type Output = SymScalar

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<SymScalar> for &SymScalar

type Output = SymScalar

The resulting type after applying the + operator.

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

Performs the + operation.

impl Clone for SymScalar

fn clone(&self) -> SymScalar

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Mul for SymScalar

type Output = SymScalar

The resulting type after applying the * operator.

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

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<&SymScalar> for SymScalar

type Output = SymScalar

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&SymScalar> for &SymScalar

type Output = SymScalar

The resulting type after applying the * operator.

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

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<SymScalar> for &SymScalar

type Output = SymScalar

The resulting type after applying the * operator.

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

Performs the * operation.

impl Neg for SymScalar

type Output = SymScalar

The resulting type after applying the - operator.

fn neg(self) -> SymScalar

Performs the unary - operation.

impl Neg for &SymScalar

type Output = SymScalar

The resulting type after applying the - operator.

fn neg(self) -> SymScalar

Performs the unary - operation.

impl Sub for SymScalar

type Output = SymScalar

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<&SymScalar> for SymScalar

type Output = SymScalar

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<&SymScalar> for &SymScalar

type Output = SymScalar

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<SymScalar> for &SymScalar

type Output = SymScalar

The resulting type after applying the - operator.

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

Performs the - operation.

impl SymInstance for SymScalar

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>

impl SymWitness for SymScalar

fn rand<R: CryptoRngCore + ?Sized>(rng: &mut R) -> Self

fn values(&self) -> SigmaProofResult<Vec<Scalar>>

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

fn num_scalars() -> usize

fn get_var_name(index: usize) -> &'static str