Struct ExtensionMmcs

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

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.