Module witness

Structs

ImmutableWitnessIndexColumn

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.