Bitwise AND suffix

Trait for objects that can be converted to `Module`. NOTE: We cannot simply use `Into<Module>` here, because `Into` does not support dynamic dispatch.

Implements the standard technique for batching parallel sumchecks to reduce verifier cost and proof size. For details, refer to Jim Posen's ["Perspec

TODO(sragss): Detailed documentation with wiki.

A collection of vectors that are used in each of the first log(T / num_chunks) rounds of sumcheck. There is one `DataBuffers` struct per thread/chunk,

A collection of vectors that are used in each of the first log(T / num_chunks) rounds of sumcheck. There is one `DataBuffers` struct per thread/chunk,

A collection of vectors that are used in each of the first log(T / num_chunks) rounds of sumcheck. There is one `DataBuffers` struct per thread/chunk,

1 if the divisor (first operand) is all 0s and the quotient (second operand) is all 1s; 0 otherwise. This is how the expected behavior for division-by

ELF file analyzer

1 if the operands are equal, 0 otherwise.

Marker for operations in G1

Marker for operations in G2

1 if the first operand is (strictly) greater than the second operand; 0 otherwise.

Marker trait

A struct holding the equality polynomial evaluations for use in sum-check, when incorporating both the Gruen and Dao-Thaler optimizations. For the `i