Struct U128x128Var

pub struct U128x128Var {
    pub limbs: [UInt64<Fq>; 4],
}

Fields

limbs: [UInt64<Fq>; 4]

Implementations

impl U128x128Var

pub fn from_amount_var(amount: AmountVar) -> Result<U128x128Var, SynthesisError>

impl U128x128Var

pub fn checked_add(self, rhs: &Self) -> Result<U128x128Var, SynthesisError>

pub fn checked_sub( self, _rhs: &Self, _cs: ConstraintSystemRef<Fq>, ) -> Result<U128x128Var, SynthesisError>

pub fn checked_mul(self, rhs: &Self) -> Result<U128x128Var, SynthesisError>

pub fn to_bits_le(&self) -> Vec<Boolean<Fq>>

pub fn enforce_cmp( &self, other: &U128x128Var, ordering: Ordering, ) -> Result<(), SynthesisError>

This function enforces the ordering between self and other.

pub fn checked_div( self, rhs: &Self, cs: ConstraintSystemRef<Fq>, ) -> Result<U128x128Var, SynthesisError>

pub fn round_down(self) -> U128x128Var

pub fn apply_to_amount( self, rhs: AmountVar, ) -> Result<AmountVar, SynthesisError>

Multiply an amount by this fraction, then round down.

pub fn round_down_to_amount(self) -> Result<AmountVar, SynthesisError>

pub fn zero() -> U128x128Var

Trait Implementations

impl AllocVar<U128x128, Fq> for U128x128Var

fn new_variable<T: Borrow<U128x128>>( cs: impl Into<Namespace<Fq>>, f: impl FnOnce() -> Result<T, SynthesisError>, mode: AllocationMode, ) -> Result<Self, SynthesisError>

Allocates a new variable of type Self in the ConstraintSystem cs. The mode of allocation is decided by mode.

fn new_constant( cs: impl Into<Namespace<F>>, t: impl Borrow<V>, ) -> Result<Self, SynthesisError>

Allocates a new constant of type Self in the ConstraintSystem cs.

fn new_input<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new public input of type Self in the ConstraintSystem cs.

fn new_witness<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new private witness of type Self in the ConstraintSystem cs.

impl Clone for U128x128Var

fn clone(&self) -> U128x128Var

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CondSelectGadget<Fq> for U128x128Var

fn conditionally_select( cond: &Boolean<Fq>, true_value: &Self, false_value: &Self, ) -> Result<Self, SynthesisError>

If cond == &Boolean::TRUE, then this returns true_value; else, returns false_value.

fn conditionally_select_power_of_two_vector( position: &[Boolean<ConstraintF>], values: &[Self], ) -> Result<Self, SynthesisError>

Returns an element of values whose index in represented by position. position is an array of boolean that represents an unsigned integer in big endian order.

impl EqGadget<Fq> for U128x128Var

fn is_eq(&self, other: &Self) -> Result<Boolean<Fq>, SynthesisError>

Output a Boolean value representing whether self.value() == other.value().

fn is_neq(&self, other: &Self) -> Result<Boolean<F>, SynthesisError>

Output a Boolean value representing whether self.value() != other.value().

fn conditional_enforce_equal( &self, other: &Self, should_enforce: &Boolean<F>, ) -> Result<(), SynthesisError>

If should_enforce == true, enforce that self and other are equal; else, enforce a vacuously true statement.

fn enforce_equal(&self, other: &Self) -> Result<(), SynthesisError>

Enforce that self and other are equal.

fn conditional_enforce_not_equal( &self, other: &Self, should_enforce: &Boolean<F>, ) -> Result<(), SynthesisError>

If should_enforce == true, enforce that self and other are not equal; else, enforce a vacuously true statement.

fn enforce_not_equal(&self, other: &Self) -> Result<(), SynthesisError>

Enforce that self and other are not equal.

impl From<U128x128Var> for AmountVar

fn from(value: U128x128Var) -> Self

Converts to this type from the input type.

impl R1CSVar<Fq> for U128x128Var

type Value = U128x128

The type of the “native” value that Self represents in the constraint system.

fn cs(&self) -> ConstraintSystemRef<Fq>

Returns the underlying ConstraintSystemRef.

fn value(&self) -> Result<Self::Value, SynthesisError>

Returns the value that is assigned to self in the underlying ConstraintSystem.

fn is_constant(&self) -> bool

Returns true if self is a circuit-generation-time constant.