Skip to main content
Module prover
binius_
prover
0.1.0
Module prover
Module Items
Structs
In binius_
prover::
protocols::
bitand
binius_prover
::
protocols
::
bitand
Module
prover
Copy item path
Source
Structs
ยง
Univariate
Round
Prover
Prover for the univariate-skip round of the AND constraint reduction.