Module types 

Structs

LinearConstraint

MultiStarkProvingKey

Common proving key for multiple AIRs.

MultiStarkVerifyingKey

Common verifying key for multiple AIRs.

MultiStarkVerifyingKey0

Everything in MultiStarkVerifyingKey except the pre_hash used to initialize the Fiat-Shamir transcript.

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.