Struct BigUint 

pub struct BigUint {
    pub limbs: Vec<Wire>,
}

Represents an arbitrarily large unsigned integer using a vector of Wires

• Each Wire holds a 64-bit unsigned integer value (a “limb”)
• Limbs are stored in little-endian order (index 0 = least significant)
• The total bit width is always a multiple of 64 bits (number of limbs × 64)

Fields

limbs: Vec<Wire>

Implementations

impl BigUint

pub fn new_inout(b: &CircuitBuilder, num_limbs: usize) -> Self

Creates a new BigUint with the given number of limbs as inout wires.

pub fn new_witness(b: &CircuitBuilder, num_limbs: usize) -> Self

Creates a new BigUint with the given number of limbs as witness wires.

pub fn new_constant(b: &CircuitBuilder, num_biguint: &BigUint) -> Self

Creates a constant BigUint from num_bigint::BigUint.

pub fn zero_unless(&self, b: &CircuitBuilder, cond: Wire) -> Self

Returns zero unless the MSB-boolean cond is true, then passes the value unchanged.

pub fn is_zero(&self, b: &CircuitBuilder) -> Wire

Checks whether BigUint is zero and returns the check result as a boolean wire.

pub fn zero_extend(&self, b: &CircuitBuilder, new_limbs_len: usize) -> Self

Pads to given limb length with zeros.

No-op if new_limbs_len is shorter then the current one.

pub fn pad_limbs_to(&self, new_limbs_len: usize, padding_value: Wire) -> Self

Pads to given limb length with a wire value.

No-op if new_limbs_len is shorter then the current one.

pub fn split_at_limbs(self, at_limbs: usize) -> (Self, Self)

Splits the BigUint at a given limb position into (lo, hi). The result satisfies lo + 2^(Word::BITS * lo.limbs.len()) * hi.

pub fn concat_limbs(&self, hi: &Self) -> Self

Concatenate the limbs of another BigUint on top. The resulting value equals self + 2^(Word::BITS * self.limbs.len()) * hi.

pub fn populate_limbs(&self, w: &mut WitnessFiller<'_>, limb_values: &[u64])

Populate the BigUint with the expected limb_values

Panics if limb_values.len() != self.limbs.len()

Trait Implementations

impl Clone for BigUint

fn clone(&self) -> BigUint

Returns a duplicate of the value.

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

Performs copy-assignment from source.