Module digits 

Module containing functions for deriving digital decompositions and building associated circuit components.

Functions

complementary_decomposition

Decompose a number into N digits in a given BASE, MSB first, in the complementary representation, i.e. value = b * BASE^N - (d[0] * BASE^(N-1) + d[1] * BASE^(N-2) + ... + d[N-1] * BASE^0) where (d, b) is the result. Returns None iff value is out of range.

digits_to_field

Convert a slice of digits to a slice of field elements.

to_slice_of_mles

Helper function that converts a Vec<[F; N]> into a [MultilinearExtension<F>; N], i.e. that changes the order of the enumeration by iterating first over the inner index, then the outer index.

unsigned_decomposition

Decompose a number into N digits in a given base, MSB first. Returns None iff the number is too large to fit in N digits.