Skip to main content

Module protocols

Module protocols 

Source

Modulesยง

binmul
bitand
intmul
rerand
Prover for the BitAnd sumcheck batched with the operand-column MLE-checks.
shift