openvm_stark_backend::air_builders

Module sub

Source

Structsยง

  • SubAirBuilder
    A builder used to eval a sub-air. This will handle enforcing constraints for a subset of a trace matrix. E.g. if a particular air needs to be enforced for a subset of the columns of the trace, then the SubAirBuilder can be used.
  • SubMatrixRowSlices
    A submatrix of a matrix. The matrix will contain a subset of the columns of self.inner.