Structs§
- Linear
Constraint - Multi
Stark Proving Key - Common proving key for multiple AIRs.
- Multi
Stark Verifying Key - Common verifying key for multiple AIRs.
- Multi
Stark Verifying Key0 - Everything in MultiStarkVerifyingKey except the
pre_hashused to initialize the Fiat-Shamir transcript. - Prover
Only Single Preprocessed Data - Prover only data for preprocessed trace for a single AIR. Currently assumes each AIR has it’s own preprocessed commitment
- Stark
Proving Key - Proving key for a single STARK (corresponding to single AIR matrix)
- Stark
Verifying Key - Verifying key for a single STARK (corresponding to single AIR matrix)
- Stark
Verifying Params - Trace
Width - Widths of different parts of trace matrix
- Verifier
Single Preprocessed Data - Verifier data for preprocessed trace for a single AIR.