binius_core::protocols::gkr_int_mul::generator_exponent

Module verify

Source

Functions§

  • verify
    This is the verification side of the following interactive protocol Consider the multilinears a_0, a_1, …, a_63 (here EXPONENT_BIT_WIDTH = 64) At each point on the hypercube, we construct the 64-bit integer a(X) as a(X) = 2^0 * a_0(X) + 2^1 * a_1(X) + 2^2 * a_2(X) … + 2^63 * a_63(X)