Skip to main content
Module prove
binius_
prover
0.1.0
Module prove
Module Items
Structs
Functions
In binius_
prover::
protocols::
intmul
binius_prover
::
protocols
::
intmul
Module
prove
Copy item path
Source
Structs
§
IntMul
Prover
A helper structure that encapsulates switchover settings and the prover channel for the integer multiplication protocol.
Functions
§
prove
Proves the integer multiplication (IntMul) reduction over the four operand columns.