Module projections

Enums§

ProjectedTrace: Holds the projected trace in either row-major or column-major layout, depending on which ideal check approach (MLE-first or combined) is used.

evaluate_trace_to_column_mles: Evaluate a projected trace along F[X] -> F and return column-indexed MLEs (Vec<DenseMultilinearExtension<F::Inner>>) for sumcheck compatibility. Dispatches on the trace layout internally.
project_scalars: Project scalars of a UAIR onto F[X].
project_scalars_to_field: Project scalars of a UAIR along F[X] -> F.
project_trace_coeffs_column_major: Project a multi-typed trace onto F[X], returning a column-indexed matrix. Result: trace[col] is a DenseMultilinearExtension<DynamicPolynomialF<F>>.
project_trace_coeffs_row_major: Project a multi-typed trace onto F[X], returning a row-indexed (transposed) matrix. Result: trace[row][col] where columns are ordered as binary_poly, arbitrary_poly, int.

ColumnMajorTrace: Column-indexed trace matrix: trace[col][row]. Each column is a DenseMultilinearExtension over the hypercube. Used by evaluate_combined_polynomials for linear constraints (MLE-first).
RowMajorTrace: Row-indexed trace matrix: trace[row][col]. Each row contains all column values for that row. Used by compute_combined_polynomials for non-linear constraints.