Module bitand 

Modules

prover

sumcheck_round_messages

Structs

NTTLookup

A precomputed lookup table for fast LDE operations on 64-bit binary field elements.

Functions

prove

Proves the AND constraint reduction over the two operand columns A and B.