Struct MultipointEval 

pub struct MultipointEval<F>(/* private fields */);

Implementations

impl<F> MultipointEval<F>

where F: InnerTransparentField + FromPrimitiveWithConfig + Send + Sync + 'static, F::Inner: ConstTranscribable + Zero + Default + Send + Sync, F::Modulus: ConstTranscribable,

pub fn prove_as_subprotocol( transcript: &mut impl Transcript, trace_mles: &[DenseMultilinearExtension<F::Inner>], eval_point: &[F], up_evals: &[F], down_evals: &[F], shifts: &[ShiftSpec], field_cfg: &F::Config, ) -> Result<(Proof<F>, ProverState<F>), MultipointEvalError<F>>

Multi-point evaluation protocol prover.

Runs the combined sumcheck over eq(b, r') * \sum_j(\gamma_j * v_j(b)) + \sum_k \alpha_k * next_{c_k}(r', b) * v_{src_k}(b). Returns only the sumcheck proof and the challenge point r_0; the caller is responsible for computing and sending lifted_evals at r_0.

pub fn verify_as_subprotocol( transcript: &mut impl Transcript, proof: Proof<F>, eval_point: &[F], up_evals: &[F], down_evals: &[F], shifts: &[ShiftSpec], num_vars: usize, field_cfg: &F::Config, ) -> Result<Subclaim<F>, MultipointEvalError<F>>

Multi-point evaluation protocol verifier (sumcheck phase).

Runs the sumcheck verification and computes the intermediate values needed for the open-eval consistency check. Returns a Subclaim carrying r_0, gammas, alphas, eq_at_r0, and shifts_at_r0. The caller finalizes via verify_subclaim once open_evals are available.

pub fn verify_subclaim( subclaim: &Subclaim<F>, open_evals: &[F], shifts: &[ShiftSpec], field_cfg: &F::Config, ) -> Result<(), MultipointEvalError<F>>

Finalize the multi-point evaluation check given open_evals.

Verifies that eq_at_r0 * \sum_j(gamma_j * open_eval_j) + \sum_k(alpha_k * shift_at_r0_k * open_eval[source_col_k]) equals the sumcheck’s expected evaluation. This is a pure arithmetic check with no transcript interaction.