Expand description
Execution traces: 2D tables of field elements.
A Trace<F> is the witness for an AIR. It has a fixed
number of columns (the AIR’s shape) and a variable number
of rows (the computation length). Stored in row-major
flat layout for cache locality.