Struct PreparedOperandClaims 

pub struct PreparedOperandClaims<F: Field> {
    pub batched_eval: F,
    pub r_zhat_prime: F,
    pub r_x_tensor: Vec<F>,
    pub operand_weights: Vec<F>,
}

The claims with their batching weights folded in, as both proving phases read them.

The constraint table is shared by every key, so it is built once here.

Fields

batched_eval: F

The operand claims collapsed into the single value the reduction proves:

batched_eval = sum_m evals[m] * operand_weights[m]

This is the claim phase 1 hands its sumcheck, and it is the same value the verifier computes from the operand evaluation claims before running its own.

r_zhat_prime: F

The univariate challenge folding the bit axis, shared by every operation.

r_x_tensor: Vec<F>

The constraint table: the equality indicator of r_x, one weight per row of the padded operation matrices, shared by every operation.

operand_weights: Vec<F>

The weight of each operand column, padded to a power of two.

A key reads it at the column its constraint index names.

Trait Implementations

impl<F: Clone + Field> Clone for PreparedOperandClaims<F>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for PreparedOperandClaims<F>

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

Formats the value using the given formatter.