Dedupe "Circuit Flags" "Op Flags"
Closed this issue · 0 comments
sragss commented
Between the Jolt paper, the wiki, the tracer, the prover, the circuit and Spartan we use different naming for "Circuit Flags" and "Op Flags".
We should dedupe these to simplify