Module one_pad_mle 

MLE-check prover for one layer of a one-padded product check.

One-padding lifts a product tree of depth $k$ to depth $n \ge k$ by filling the extra leaves with ones, which leaves the tree’s product unchanged. Batching product checks of unequal depths pads each shallow tree up to the deepest one, so the batch’s layer loop runs a single uniform schedule and the verifier never learns the individual depths. See the Batched Product Checks of Unequal Depths appendix of the Binius64 whitepaper for the protocol and the derivation behind the round polynomials below.

The point of this module is that the prover never materializes a padded layer: OnePadMleCheckProver wraps the unpadded layer’s own MLE-check and corrects its messages at a cost of $O(1)$ per round.

Structs

OnePadMleCheckProver

MLE-check prover for one layer of a product check over a one-padded witness.

Functions

new

Creates the prover for one padded product-check layer.