Enum bulletproofs::r1cs::Variable

pub enum Variable {
    Committed(usize),
    MultiplierLeft(usize),
    MultiplierRight(usize),
    MultiplierOutput(usize),
    One(),
}

Represents a variable in a constraint system.

Variants

Committed(usize)

Represents an external input specified by a commitment.

MultiplierLeft(usize)

Represents the left input of a multiplication gate.

MultiplierRight(usize)

Represents the right input of a multiplication gate.

MultiplierOutput(usize)

Represents the output of a multiplication gate.

One()

Represents the constant 1.

Trait Implementations

impl<L: Into<LinearCombination>> Add<L> for Variable

type Output = LinearCombination

The resulting type after applying the + operator.

fn add(self, other: L) -> Self::Output

Performs the + operation.

impl Add<Variable> for Scalar

type Output = LinearCombination

The resulting type after applying the + operator.

fn add(self, other: Variable) -> Self::Output

Performs the + operation.

impl Clone for Variable

fn clone(&self) -> Variable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Variable

impl Debug for Variable

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

Formats the value using the given formatter.

impl From<Variable> for LinearCombination

fn from(v: Variable) -> LinearCombination

Performs the conversion.

impl<S: Into<Scalar>> Mul<S> for Variable

type Output = LinearCombination

The resulting type after applying the * operator.

fn mul(self, other: S) -> Self::Output

Performs the * operation.

impl Mul<Variable> for Scalar

type Output = LinearCombination

The resulting type after applying the * operator.

fn mul(self, other: Variable) -> Self::Output

Performs the * operation.

impl Neg for Variable

type Output = LinearCombination

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq<Variable> for Variable

fn eq(&self, other: &Variable) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Variable) -> bool

This method tests for !=.

impl StructuralPartialEq for Variable

impl<L: Into<LinearCombination>> Sub<L> for Variable

type Output = LinearCombination

The resulting type after applying the - operator.

fn sub(self, other: L) -> Self::Output

Performs the - operation.

impl Sub<Variable> for Scalar

type Output = LinearCombination

The resulting type after applying the - operator.

fn sub(self, other: Variable) -> Self::Output

Performs the - operation.