Function bigint_to_limbs

bitvm/src/chunk/helpers.rs:141–155

(n: num_bigint::BigInt, n_bits: u32)

    let r: ark_ff::BigInt<4> = BigInt::from_bits_be(&bit_array);
    fn bigint_to_limbs(n: num_bigint::BigInt, n_bits: u32) -> Vec<u32> {
        let mut limbs = vec![];
        let mut limb: u32 = 0;
        for i in 0..n_bits as u64 {
            if i > 0 && i % (LIMB_SIZE as u64) == 0 {
                limbs.push(limb);
                limb = 0;
            }
            if n.bit(i) {
                limb += 1 << (i % (LIMB_SIZE as u64));
            }
        }
        limbs.push(limb);
        limbs
    }

    let mut limbs = bigint_to_limbs(r.into(), 256);
    limbs.reverse();