Module utils

Functions

and

assert_array_eq

compose

Composes a list of limb values into a single field element

fill_slc_to_f

implies

Assumes that a and b are boolean

next_power_of_two_or_zero

Return either 0 if n is zero or the next power of two of n. Used to resize the number of rows in a trace matrix.

not

or

Assumes that a and b are boolean

select

Assumes that cond is boolean. Returns a if cond is true, otherwise returns b.

to_field_vec

to_vcols