Module proof

Definition of the STARK proof struct.

Structs

• AdjacentOpenedValues
• AirProofData
• Commitments
  All commitments to a multi-matrix STARK that are not preprocessed.
• OpenedValues
• OpeningProof
  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.