Expand description
Types used by the prover
Structs§
- AirProof
Input - Necessary input for proving a single AIR.
- AirProof
RawInput - Raw input for proving a single AIR.
- AirProving
Context - Necessary context for proving a single AIR. Consists of the trace and public values (witness and instance data) as well as cached prover data from cached traces (already committed traces).
- Committed
Trace Data - Device
Multi Stark Proving Key - A view of the proving key after it has been transferred to device.
- Device
Stark Proving Key - HalProof
- The full proof for multiple RAPs where trace matrices are committed into multiple commitments, where each commitment is multi-matrix.
- Pair
View - A view of just the preprocessed AIR (PAIR), without any after challenge columns. The PAIR trace consists of horizontal concatenation of multiple matrices of the same height:
- Proof
Input - Prover
Data After RapPhases - Proving
Context - RapSingle
Phase View - RapView
- The full RAP trace consists of horizontal concatenation of multiple matrices of the same height:
- Single
Commit Preimage - A view of an already committed trace, together with a reference to the preimage of the commitment.