Module witness 

Structs

Witness

An integer multiplication protocol witness. Created from integer slices, consumed during proving.

Functions

buffer_bivariate_product

Compute the per-vertex bivariate product of two equally sized field buffers.

power_table

Build the power table of base with 2^log_size rows: row i holds base^i.

two_valued_field_buffer

Constructs a field buffer with values selected from elements based on the bit values of exponents.