ACIR Optimization Loop

This workflow targets ACIR circuit size for constrained Noir programs. It does not apply to unconstrained (Brillig) functions — Brillig runs on a conventional VM where standard profiling and algorithmic improvements apply instead, and bb gates won't reflect Brillig performance.

Measuring Circuit Size

Binary projects

Compile the program and measure gate count with:

nargo compile && bb gates -b ./target/<package>.json

Library projects

Libraries cannot be compiled with nargo compile. Instead, mark the functions you want to measure with #[export] and use nargo export: