Module witness

Structs

Witness

The type that represents the execution trace. It represents a table of [COLUMNS] columns, with n rows. n being the maximum size of the circuit, and the size of the domain.