A visualizer which fetches your the ACIR and Brillig opcodes from your Compiled Noir circuits, and illustrates how they're translated to R1CS-ish and PLONK-ish constraints.
- Compiled bytecode to Opcodes
- Visualising ACIR constraints through Directed Acyclic Graphs
- Illustration of translation of DAG nodes to R1CS-ish and PLONK-ish constraints used by different backends.