Expand description
Standalone tape-replay implementations of Halo2Opcodes.
[run_op] drives a [ReplayTape]: [CalculateOffsetsTape] (build-time)
records values + offsets and yields [OpcodeMeta]; [WitnessTape]
(runtime) streams values into caller buffers. Runtime replay is stateless —
constant_skip_inds precomputed at build time lists which load_constant
calls materialize a cell, so nodes replay in parallel.