Struct Subclaim 

pub struct Subclaim<F> {
    pub r0: Vec<F>,
    pub expected_evaluation: F,
    pub gammas: Vec<F>,
    pub alphas: Vec<F>,
    pub bit_op_gammas: Vec<F>,
    pub eq_at_r0: F,
    pub shifts_at_r0: Vec<F>,
}

Verifier subclaim after the multi-point evaluation sumcheck for one constraint family.

Carries the shared evaluation point $r_0$ (lifted into this family’s field), the expected MLE-combination evaluation handed back by the inner multi-degree sumcheck, plus the intermediate values needed to finalize the check via MultipointEval::verify_subclaim once the caller has assembled the open_evals.

Fields

r0: Vec<F>

Shared sumcheck output point $r_0$ (in this family’s field).

expected_evaluation: F

Expected evaluation of the combined polynomial at $r_0$ handed back by the inner multi-degree sumcheck — verify_subclaim checks this against the batched open_evals.

gammas: Vec<F>

Column batching coefficients $\gamma_j$ sampled during the protocol (lifted into this family’s field).

alphas: Vec<F>

Per-shift batching coefficients $\alpha_k$ sampled during the protocol (lifted into this family’s field).

bit_op_gammas: Vec<F>

Per-bit-op-virtual batching coefficients sampled during the protocol (lifted into this family’s field).

eq_at_r0: F

eq(r_0, r^\star) — the equality selector at the sumcheck output point.

shifts_at_r0: Vec<F>

Per-shift selector values at $r_0$: shifts_at_r0[k] = next_{c_k}(r^\star, r_0).

Trait Implementations

impl<F: Clone> Clone for Subclaim<F>

fn clone(&self) -> Subclaim<F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug> Debug for Subclaim<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.