binius_
core
0.1.0
Module univariate_
zerocheck
Module Items
Structs
Functions
In binius_
core::
protocols::
sumcheck
binius_core
::
protocols
::
sumcheck
Module
univariate_zerocheck
Copy item path
source
Structs
§
Batch
Zerocheck
Univariate
Output
Functions
§
batch_
verify_
zerocheck_
univariate_
round
Verify a batched zerocheck univariate round.
domain_
size
Univariatized domain size.
extrapolated_
scalars_
count
For zerocheck, we know that a honest prover would evaluate to zero on the skipped domain.