Skip to main content

Module basefold

binius_iop_prover

Module basefold 

Source
Expand description

Prover for the BaseFold sumcheck-PIOP to IP compiler.

Modules§

channel
BaseFold ZK implementation of the IOP prover channel.
compiler
BaseFold compiler for IOP provers.

Functions§

prove_mlecheck_basefold
Proves a combined multilinear evaluation claim 𝛑(eval_point) = eval_claim by interleaving a single multilinear-evaluation MLE-check with a single combined FRI over the piecewise-concatenated oracle of the Batched ZK BaseFold construction (whitepaper §7.2 / §sec:batched-basefold Step 2).