Function halo2_base::utils::decompose_bigint_option

source · [−]
pub fn decompose_bigint_option<F: BigPrimeField>(
    value: Value<&BigInt>,
    number_of_limbs: usize,
    bit_len: usize
) -> Vec<Value<F>>
Expand description

Decomposes an immutable reference to a BigInt into num_limbs limbs of bit_len bits each and returns a Vec of BigPrimeField represented by those limbs wrapped in [Value].

Assumes bit_len < 128.

  • e: immutable reference to BigInt to decompose
  • num_limbs: number of limbs to decompose e into
  • bit_len: number of bits in each limb