How to make a constraint apply to only a specific row or rows of trace execution?

Hi, I see the example bitwise_and_proofs.rs

It looks like the constraint built there is applied to every line of the execution.

How would one apply boundary and transition constraints to specific parts of execution trace?

Thank you

Assignee Loading
Time tracking Loading