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