Struct Committed 

pub struct Committed<F, M, L>
where
    F: TwoAdicField,
    L: Lmcs<F = F>,
    M: Matrix<F>,
{ /* private fields */ }

Committed polynomial evaluations with domain metadata.

Wraps an LMCS tree and stores the blowup used for the LDE.

We keep log_blowup here (instead of threading it through every call) so we can recover per-matrix domain information (trace height, lift ratio, coset shift) from just the committed matrices. This is especially useful when committing multiple traces of different heights into one tree.

Type Parameters

• F: Scalar field element type
• M: Matrix type (e.g., RowMajorMatrix<F>)
• L: LMCS configuration type

Usage

let committed = commit_traces(config, traces);
let root = committed.root();
let view = committed.evals_on_quotient_domain(0, constraint_degree);

Storing the blowup also avoids re-deriving trace_height = lde_height / blowup for each matrix, which is needed for quotient-domain views and lifting shifts.

Implementations

impl<F, M, L> Committed<F, M, L>

where F: TwoAdicField, L: Lmcs<F = F>, M: Matrix<F>,

pub fn new(tree: <L as Lmcs>::Tree<M>, log_blowup: u8) -> Committed<F, M, L>

Create a new Committed wrapper.

Arguments

• tree: The LMCS tree containing committed LDE matrices
• log_blowup: Log₂ of the blowup factor used during LDE

pub fn root(&self) -> <L as Lmcs>::Commitment

Get the commitment root.

pub fn tree(&self) -> &<L as Lmcs>::Tree<M>

Get a reference to the underlying tree.

impl<F, L> Committed<F, DenseMatrix<F>, L>

where F: TwoAdicField, L: Lmcs<F = F>,

pub fn evals_on_quotient_domain( &self, m: usize, constraint_degree: usize, ) -> RowIndexMappedView<BitReversalPerm, DenseMatrix<F, &[F]>>

Return a zero-copy view of matrix m on the quotient evaluation domain.

This returns evaluations over the quotient coset gJ ⊆ gK.

The tree commits to LDE evaluations on gK (size N·B). The RowMajorMatrix stores bit-reversed evaluations; gJ appears as the first N·D rows, so this is a zero-copy prefix view followed by bit_reverse_rows() to expose natural order.

Panics

Panics if m >= num_matrices().