Struct Limb

pub struct Limb<E: Engine> {
    pub term: Term<E>,
    pub max_value: BigUint,
}

Fields

term: Term<E>

max_value: BigUint

Implementations

impl<E: Engine> Limb<E>

pub fn new(term: Term<E>, max_value: BigUint) -> Self

pub fn constant_from_biguint(value: BigUint) -> Self

pub fn constant_from_field_value(value: E::Fr) -> Self

pub fn max_value(&self) -> BigUint

pub fn get_value_as_biguint(&self) -> Option<BigUint>

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

pub fn zero() -> Self

pub fn one() -> Self

pub fn is_constant(&self) -> bool

pub fn get_max_bitlen(&self) -> usize

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

Trait Implementations

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

fn clone(&self) -> Limb<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 Limb<E>

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

Formats the value using the given formatter.