Boundary constraint
A polynomial equation that must hold at one specific row of the trace — typically the first, the last, or (less commonly) every row when the verifier already knows the correct value there.
In this repo: used unusually heavily — nine values are boundary-asserted on every row, not just the first/last, because there's no secret witness to hide them behind. See why this zkVM's soundness doesn't need a lookup argument.