Module prodcheck 

Modules

one_pad_mle

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

Structs

BatchProveOutput

Output of batch_prove.

BatchProveUnequalDepthsOutput

Output of batch_prove_unequal_depths.

ProdcheckProver

Witness-based prover for the product check protocol.

Functions

batch_prove

Runs a batched product check protocol for multiple independent prodcheck provers.

batch_prove_unequal_depths

Runs a batched product check for trees of unequal depths.

unpad_leaf_claim

Reduces a leaf claim on a one-padded witness to the claim on the witness itself.