Skip to main content
Module sumcheck_round_messages
binius_
prover
0.1.0
Module sumcheck_
round_
messages
Module Items
Functions
In binius_
prover::
protocols::
bitand
binius_prover
::
protocols
::
bitand
Module
sumcheck_
round_
messages
Copy item path
Source
Functions
ยง
univariate_
round_
message_
extension_
domain
Generates a univariate polynomial for the sumcheck protocol in AND constraint reduction.