Module utils

Enums§

ArithErrors: A enum specifying the possible failure modes of the arithmetics.

build_eq_x_r: This function build the eq(x, r) polynomial for any given r.
build_eq_x_r_inner: This function build the eq(x, r) polynomial for any given r.
build_eq_x_r_vec: This function build the eq(x, r) polynomial for any given r, and output the evaluation of eq(x, r) in its vector form.
build_next_c_r_mle: Build the shift selector MLE next_c_mle(r, *) with the first num_vars variables fixed to r.
eq_eval: Evaluate eq polynomial.
mle_eval_with_eq_table: Evaluate an MLE at a point using a precomputed eq table.
next_mle_eval: Evaluates the next MLE in O(n), by reusing suffix equality and prefix carry products across carry positions.
next_mle_inner: Returns a multilinear polynomial in 2n variables that evaluates to 1 if and only if the second n-bit vector is equal to the first vector plus one