Expand description
Definition of the STARK proof struct.
Structs§
- Adjacent
Opened Values - AirProof
Data - Commitments
- All commitments to a multi-matrix STARK that are not preprocessed.
- Opened
Values - Opening
Proof - PCS opening proof with opened values for multi-matrix AIR.
- Proof
- The full proof for multiple RAPs where trace matrices are committed into multiple commitments, where each commitment is multi-matrix.