Expand description
This module contains the implementation of the matrix multiplication layer
Structs§
- MatMult
- Used to represent a matrix multiplication layer.
- MatMult
Layer Description - The circuit description counterpart of a MatMult layer.
- Matrix
- Used to represent a matrix; basically an MLE which is the
flattened version of this matrix along with the log2
num_rows (
rows_num_vars) and the log2 num_colscols_num_vars. - Matrix
Description - The circuit description counterpart of a Matrix.
- Verifier
MatMult Layer - The verifier’s counterpart of a MatMult layer.
- Verifier
Matrix - The verifier’s counterpart of a Matrix.
Functions§
- product_
two_ matrices_ from_ flattened_ vectors - Compute the product of two matrices given flattened vectors rather than matrices.