Struct BatchedDecompLogupProof 

pub struct BatchedDecompLogupProof<F> {
    pub aggregated_multiplicities: Vec<Vec<F>>,
    pub chunk_inverse_witnesses: Vec<Vec<Vec<F>>>,
    pub inverse_table: Vec<F>,
}

Proof for one lookup group (columns sharing the same table type).

Does not contain a sumcheck proof — the sumcheck is shared via the protocol-level multi-degree sumcheck. This struct carries only the auxiliary vectors the verifier needs to reconstruct evaluations at the shared point.

Chunk vectors are not included — the verifier reconstructs them from the inverse witnesses: c_k[j] = β − 1/u_k[j]. Soundness follows from the PCS commitment binding the parent column.

Fields

aggregated_multiplicities: Vec<Vec<F>>

Per-witness aggregated multiplicity vectors: aggregated_multiplicities[l][j] = Σ_k m_k^(l)[j].

chunk_inverse_witnesses: Vec<Vec<Vec<F>>>

Per-witness per-chunk inverse witness vectors: chunk_inverse_witnesses[l][k][i] = 1 / (β − chunk[l][k][i]).

inverse_table: Vec<F>

Shared inverse table vector: inverse_table[j] = 1 / (β − T[j]).

Trait Implementations

impl<F: Clone> Clone for BatchedDecompLogupProof<F>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for BatchedDecompLogupProof<F>

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

Formats the value using the given formatter.

impl<F: PartialEq> PartialEq for BatchedDecompLogupProof<F>

fn eq(&self, other: &BatchedDecompLogupProof<F>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: Eq> Eq for BatchedDecompLogupProof<F>

impl<F> StructuralPartialEq for BatchedDecompLogupProof<F>