Struct ExtensionMmcs 

pub struct ExtensionMmcs<F, EF, InnerMmcs> { /* private fields */ }

A wrapper to lift an MMCS from a base field F to an extension field EF.

ExtensionMmcs allows committing to and opening matrices over an extension field by internally using an MMCS defined on the base field. It works by flattening each extension field element into its base field coordinates for commitment, and then reconstructing them on opening.

Implementations

impl<F, EF, InnerMmcs> ExtensionMmcs<F, EF, InnerMmcs>

pub const fn new(inner: InnerMmcs) -> Self

Trait Implementations

impl<F: Clone, EF: Clone, InnerMmcs: Clone> Clone for ExtensionMmcs<F, EF, InnerMmcs>

fn clone(&self) -> ExtensionMmcs<F, EF, InnerMmcs>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, EF: Debug, InnerMmcs: Debug> Debug for ExtensionMmcs<F, EF, InnerMmcs>

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

Formats the value using the given formatter.

impl<F, EF, InnerMmcs> Mmcs<EF> for ExtensionMmcs<F, EF, InnerMmcs>

where F: Field, EF: ExtensionField<F>, InnerMmcs: Mmcs<F>,

type ProverData<M> = <InnerMmcs as Mmcs<F>>::ProverData<FlatMatrixView<F, EF, M>>

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

type Proof = <InnerMmcs as Mmcs<F>>::Proof

type Error = <InnerMmcs as Mmcs<F>>::Error

fn commit<M: Matrix<EF>>( &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 open_batch<M: Matrix<EF>>( &self, index: usize, prover_data: &Self::ProverData<M>, ) -> BatchOpening<EF, Self>

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

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

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

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

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

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

Convenience method to commit to a single matrix.

fn commit_vec( &self, input: Vec<T>, ) -> (Self::Commitment, Self::ProverData<RowMajorMatrix<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: Matrix<T>>( &self, prover_data: &Self::ProverData<M>, ) -> Vec<usize>

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

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

Get the largest height of any committed matrix.