halo2_base::utils

Function decompose

Source
pub fn decompose<F: BigPrimeField>(
    e: &F,
    number_of_limbs: usize,
    bit_len: usize,
) -> Vec<F>
Expand description

Decomposes an immutable reference to a BigPrimeField element into number_of_limbs limbs of bit_len bits each and returns a Vec of BigPrimeField represented by those limbs.

Assumes bit_len < 128.

  • e: immutable reference to BigPrimeField element to decompose
  • number_of_limbs: number of limbs to decompose e into
  • bit_len: number of bits in each limb