Open sragss opened 1 month ago
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
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