Module sub

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.