Padded fixed-width raw-circuit semantics -- definitions #
The ordinary Description.toRawCircuit keeps only active slots. Sequential
encoded evaluation computes every bounded slot, including canonical inactive
slots. This module names the corresponding full-length raw circuit.
def
Complexity.CircuitCode.FixedWidth.Description.toPaddedRawCircuit
{inputWidth gateBound : ℕ}
(description : Description inputWidth gateBound)
:
Raw gates for every fixed slot, including canonical inactive padding.