Expand description
Types for tracking matrix in system with multiple commitments, each to multiple matrices.
Structsยง
- The PCS commits to multiple matrices at once, so this struct stores references to get PCS data relevant to a single matrix (e.g., LDE matrix, openings).
- In a multi-matrix system, we record a pointer from each matrix to the commitment its stored in as well as the index of the matrix within that commitment. The intended use case is to track the list of pointers for all main trace matrix parts in a single STARK.
- When a single matrix belong to a multi-matrix commitment in some list of commitments, this pointer identifies the index of the commitment in the list, and then the index of the matrix within that commitment.