Module capabilities Copy item path Source ColAccessCap Environment capability for accessing and reading columns. This is necessary for
building constraints. ColWriteCap Environment capability similar to ColAccessCap but for /also
writing/ columns. Used on the witness side. DirectWitnessCap A direct field access capability modelling an abstract witness
builder. Not for constraint building. HybridCopyCap Capability for computing arithmetic functions and enforcing
constraints simultaneously. LookupCap Capability for invoking table lookups. MultiRowReadCap Capability for reading and moving forward in a multirow fashion.
Holds a “current” row that can be moved forward with next_row.
The ColWriteCap and ColAccessCap reason in terms of current
row. The two other methods can be used to read/write previous. read_column_array Write an array of values simultaneously. write_column_array Write an array of values simultaneously. write_column_array_const Write an array of /field/ values simultaneously. write_column_const Write a field element directly as a constant.