openvm_stark_backend

Module prover

Source
Expand description

Prover implementation for partitioned multi-matrix AIRs.

Modules§

  • helper
  • metrics
    Metrics about trace and other statistics related to prover performance
  • opener
    Polynomial opening proofs
  • quotient
    Computation of DEEP quotient polynomial and commitment
  • types

Structs§

  • MultiTraceStarkProver
    Proves multiple chips with interactions together. This prover implementation is specialized for Interactive AIRs.
  • PairTraceView
    A view of just the preprocessed AIR, without any after challenge columns.

Constants§