Skip to main content
Module binmul
binius_
prover
0.1.0
Module binmul
Module Items
Structs
Functions
In binius_
prover::
protocols
binius_prover
::
protocols
Module
binmul
Copy item path
Source
Structs
§
BinMul
Output
Output of the BinMul reduction.
Functions
§
prove
Prove the binary-field multiplication check (BinMul) reduction.