Skip to main content

Module frac_add_mle

binius_ip_prover::sumcheck

Module frac_add_mle 

Source

Functions§

evaluators
Creates the round evaluators for the fractional-addition claims required in logUp*.
new_split_half
Creates the LayerProver reducing one fractional-addition layer, sharing two allocations.

Type Aliases§

LayerProver
The store-based MLE-check prover for one fractional-addition layer.