Module witness

Structs

TableWitnessIndex

Holds witness column data for a table, indexed by column index.

TableWitnessSegment

A vertical segment of a table witness index.

WitnessIndex

Holds witness column data for all tables in a constraint system, indexed by column ID.

WitnessIndexColumn

Traits

TableFiller

A struct that can populate segments of a table witness using row descriptors.

WitnessColView

Type erased interface for viewing witness columns. Note that F will be an extension field of the underlying column’s field.

WitnessColViewMut

Similar to WitnessColView, for mutating witness columns.