openvm_stark_backend::prover

Module types

Source

Structsยง

  • AirProofData
  • AirProofInput
    Necessary input for proving a single AIR.
  • AirProofRawInput
    Raw input for proving a single AIR.
  • Commitments
    All commitments to a multi-matrix STARK that are not preprocessed.
  • CommittedTraceData
  • Proof
    The full proof for multiple RAPs where trace matrices are committed into multiple commitments, where each commitment is multi-matrix.
  • ProofInput
    Proof input
  • ProverTraceData
    Prover data for multi-matrix trace commitments. The data is for the traces committed into a single commitment.
  • TraceCommitter
    Prover that commits to a batch of trace matrices, possibly of different heights.