Struct GroupedCodewordMmcs 

pub struct GroupedCodewordMmcs<Inner> { /* private fields */ }

Groups adjacent codeword symbols into wider Merkle leaves without changing symbol queries.

This experimental adapter supports exactly one width-1, power-of-two-height matrix per commitment, as used by crate::BinaryPcs. It is not a general matrix-batching adapter. The verifier must configure the same group size independently of the proof. The group size is capped at the codeword length in small rounds. Grouping changes roots and proof encoding, but retains every symbol, every sampled fold pair, and every intermediate commitment.

Implementations

impl<Inner> GroupedCodewordMmcs<Inner>

pub fn new(inner: Inner, group_size: usize) -> Self

Builds an adapter with a power-of-two number of symbols per leaf.

Panics

Panics if group_size is zero or not a power of two.

pub const fn for_folding(inner: Inner, config: &BinaryPcsConfig) -> Self

Pack one full coset for the next fold batch, including a shorter final batch. Prover and verifier must use the same validated PCS configuration.

pub const fn with_group_size( inner: Inner, config: &BinaryPcsConfig, group_size: usize, ) -> Self

Pack group_size adjacent symbols per leaf, capped at each round’s message length.

A leaf wider than the fold coset authenticates symbols no query asked for, and the opening carries those symbols as proof bytes; a narrower one splits a coset across several leaves. Prover and verifier must agree on the same size, so it is read from the configuration rather than from the proof.

Panics

Panics if group_size is zero or not a power of two.

pub fn group_size_at(&self, height: usize) -> Option<usize>

Field elements one leaf packs over a codeword of height symbols.

A leaf never reaches past the round’s message, so the configured group size is capped at height >> log_inv_rate. The cap tightens round by round as the codeword folds.

Returns

None when height is shorter than the inverse rate and so carries no message.

Trait Implementations

impl<Inner: Clone> Clone for GroupedCodewordMmcs<Inner>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Inner: Debug> Debug for GroupedCodewordMmcs<Inner>

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

Formats the value using the given formatter.

impl<F: Field, Inner: Mmcs<F>> Mmcs<F> for GroupedCodewordMmcs<Inner>

type ProverData<M> = <Inner as Mmcs<F>>::ProverData<GroupedCodeword<M>>

type Commitment = <Inner as Mmcs<F>>::Commitment

type Proof = GroupedCodewordProof<F, <Inner as Mmcs<F>>::MultiProof>

type MultiProof = GroupedCodewordProof<F, <Inner as Mmcs<F>>::MultiProof>

Compact proof covering every index of one multi-opening.

type Error = GroupedCodewordError<<Inner as Mmcs<F>>::Error>

fn commit<M: Matrix<F>>( &self, inputs: Vec<M>, ) -> (Self::Commitment, Self::ProverData<M>)

Commits to a batch of matrices at once and returns both the commitment and associated prover data.

fn get_matrices<'a, M: Matrix<F>>( &self, data: &'a Self::ProverData<M>, ) -> Vec<&'a M>

Returns references to all matrices originally committed to in the batch.

fn open_batch<M: Matrix<F>>( &self, index: usize, data: &Self::ProverData<M>, ) -> BatchOpening<F, Self>

Opens a specific row (identified by index) from each matrix in the batch.

fn verify_batch( &self, commitment: &Self::Commitment, dimensions: &[Dimensions], index: usize, opening: BatchOpeningRef<'_, F, Self>, ) -> Result<(), Self::Error>

Verifies a batch opening at a specific row index against the original commitment.

fn open_multi_batch<M: Matrix<F>>( &self, indices: &[usize], data: &Self::ProverData<M>, ) -> (Vec<Vec<Vec<F>>>, Self::MultiProof)

Opens the given row indices from each committed matrix at once.

fn verify_multi_batch<R: AsRef<[F]> + PartialEq>( &self, commitment: &Self::Commitment, dimensions: &[Dimensions], indices: &[usize], opened_values: &[Vec<R>], proof: &Self::MultiProof, ) -> Result<(), Self::Error>

Verifies a multi-opening at the given indices.

fn commit_matrix<M>(&self, input: M) -> (Self::Commitment, Self::ProverData<M>)

where M: Matrix<T>,

Convenience method to commit to a single matrix.

fn commit_vec( &self, input: Vec<T>, ) -> (Self::Commitment, Self::ProverData<DenseMatrix<T>>)

where T: Clone + Send + Sync,

Convenience method to commit to a single column vector, treated as a column matrix.

fn get_matrix_heights<M>(&self, prover_data: &Self::ProverData<M>) -> Vec<usize>

where M: Matrix<T>,

Returns the height (number of rows) of each matrix in the batch.

fn get_max_height<M>(&self, prover_data: &Self::ProverData<M>) -> usize

where M: Matrix<T>,

Get the largest height of any committed matrix.