Module halo2_base::utils
source · [−]Expand description
Utility functions for converting between different types of field elements.
Modules
Module for reading parameters for Halo2 proving system from the file system.
Utilities for testing
Traits
Helper trait to represent a field element that can be converted into u64 limbs.
Functions
Converts an immutable reference to BigInt to a BigPrimeField.
Converts an immutable reference to BigUint to a BigPrimeField.
Returns the number of bits needed to represent the value of
x.Computes the value of an integer by passing as
input a Vec of its limb values and the bit_len (bit length) used.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.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.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].Decomposes an immutable reference to a BigUint into
num_limbs limbs of bit_len bits each and returns a Vec of BigPrimeField represented by those limbs.Decomposes an immutable reference to a ScalarField element into
number_of_limbs limbs of bit_len bits each and returns a Vec of u64 represented by those limbs.Converts an immutable reference to an PrimeField element into a BigUint element.
Returns the ceiling of the base 2 logarithm of
x.Returns the modulus of BigPrimeField.
Returns the BigPrimeField element of 2n.