Module front_
loaded
binius_
core
0.2.0
Module front_
loaded
Module Items
Structs
In binius_
core::
protocols::
sumcheck
Modules
front_loaded
prove
univariate
univariate_zerocheck
verify
zerocheck
Structs
BatchSumcheckOutput
CompositeSumClaim
OracleClaimMeta
Proof
RoundCoeffs
RoundProof
SumcheckClaim
SumcheckClaimsWithMeta
Enums
ConcreteClaim
Error
VerificationError
Functions
batch_weighted_value
constraint_set_sumcheck_claim
constraint_set_sumcheck_claims
constraint_set_zerocheck_claim
determine_switchovers
equal_n_vars_check
immediate_switchover_heuristic
make_eval_claims
small_field_embedding_degree_check
standard_switchover_heuristic
binius_core
::
protocols
::
sumcheck
Module
front_loaded
Copy item path
Settings
Help
Summary
Source
Structs
§
Batch
Verifier
Verifier for a front-loaded batch sumcheck protocol execution.