Module types

Structs

• MultiStarkProvingKey
  Common proving key for multiple AIRs.
• MultiStarkVerifyingKey
  Common verifying key for multiple AIRs.
• ProverOnlySinglePreprocessedData
  Prover only data for preprocessed trace for a single AIR. Currently assumes each AIR has it’s own preprocessed commitment
• StarkProvingKey
  Proving key for a single STARK (corresponding to single AIR matrix)
• StarkVerifyingKey
  Verifying key for a single STARK (corresponding to single AIR matrix)
• StarkVerifyingParams
• TraceWidth
  Widths of different parts of trace matrix
• VerifierSinglePreprocessedData
  Verifier data for preprocessed trace for a single AIR.