Struct Term

pub struct Term<E: Engine> {
    pub num: Num<E>,
    pub coeff: E::Fr,
    pub constant_term: E::Fr,
}

Fields

num: Num<E>

coeff: E::Fr

constant_term: E::Fr

Implementations

impl<E: Engine> Term<E>

pub fn enforce_equal<CS: ConstraintSystem<E>>( &self, cs: &mut CS, other: &Self, ) -> Result<(), SynthesisError>

pub fn circuit_eq(&self, other: &Self) -> bool

pub fn is_constant(&self) -> bool

pub fn unpack(&self) -> (Variable, E::Fr, E::Fr)

pub fn from_constant(val: E::Fr) -> Self

pub fn from_allocated_num(n: AllocatedNum<E>) -> Self

pub fn from_num(n: Num<E>) -> Self

pub fn allocate<CS: ConstraintSystem<E>>( cs: &mut CS, witness: Option<E::Fr>, ) -> Result<Self, SynthesisError>

pub fn zero() -> Self

pub fn from_boolean(b: &Boolean) -> Self

pub fn try_into_constant_value(&self) -> Option<E::Fr>

pub fn into_constant_value(&self) -> E::Fr

pub fn into_num(&self) -> Num<E>

pub fn into_variable(&self) -> AllocatedNum<E>

pub fn scale(&mut self, by: &E::Fr)

pub fn add_constant(&mut self, c: &E::Fr)

pub fn negate(&mut self)

pub fn get_value(&self) -> Option<E::Fr>

pub fn collapse_into_num<CS: ConstraintSystem<E>>( &self, cs: &mut CS, ) -> Result<Num<E>, SynthesisError>

pub fn add<CS: ConstraintSystem<E>>( &self, cs: &mut CS, other: &Self, ) -> Result<Self, SynthesisError>

pub fn sub<CS: ConstraintSystem<E>>( &self, cs: &mut CS, other: &Self, ) -> Result<Self, SynthesisError>

pub fn add_multiple<CS: ConstraintSystem<E>>( &self, cs: &mut CS, other: &[Self], ) -> Result<Self, SynthesisError>

pub fn mul<CS: ConstraintSystem<E>>( &self, cs: &mut CS, other: &Self, ) -> Result<Self, SynthesisError>

pub fn fma<CS: ConstraintSystem<E>>( cs: &mut CS, mul_x: &Self, mul_y: &Self, add_z: &Self, ) -> Result<Self, SynthesisError>

pub fn select<CS: ConstraintSystem<E>>( cs: &mut CS, flag: &Boolean, first: &Self, second: &Self, ) -> Result<Self, SynthesisError>

pub fn inverse<CS: ConstraintSystem<E>>( &self, cs: &mut CS, ) -> Result<Self, SynthesisError>

pub fn div<CS: ConstraintSystem<E>>( &self, cs: &mut CS, other: &Self, ) -> Result<Self, SynthesisError>

Trait Implementations

impl<E: Clone + Engine> Clone for Term<E>

where E::Fr: Clone,

fn clone(&self) -> Term<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Engine> Debug for Term<E>

where E::Fr: Debug,

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

Formats the value using the given formatter.

impl<E: Engine> Display for Term<E>

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

Formats the value using the given formatter.

impl<E: Engine> TableSelectable<E> for Term<E>

fn add<CS: ConstraintSystem<E>>( cs: &mut CS, first: Self, second: Self, ) -> Result<Self, SynthesisError>

fn add_many<CS: ConstraintSystem<E>>( cs: &mut CS, items: &[Self], ) -> Result<Self, SynthesisError>

fn negate<CS: ConstraintSystem<E>>( _cs: &mut CS, first: Self, ) -> Result<Self, SynthesisError>

fn select<CS: ConstraintSystem<E>>( cs: &mut CS, flag: &Boolean, first: Self, second: Self, ) -> Result<Self, SynthesisError>

fn fma<CS: ConstraintSystem<E>>( cs: &mut CS, mul_a: Self, mul_b: Self, add_c: Self, ) -> Result<Self, SynthesisError>

fn from_bit(bit: &Boolean) -> Self