Skip to main content

Module rerand

binius_prover::protocols

Module rerand 

Source
Expand description

Prover for the BitAnd sumcheck batched with the operand-column MLE-checks.

See [binius_verifier::protocols::rerand] for the protocol.

Structs§

OperandWitness
One reduction’s operand word columns with their per-bit claims.

Functions§

prove
Proves the BitAnd sumcheck batched with the operand-column MLE-checks.