Optimize ACIR circuit size for Noir programs using nargo and bb.
npx skills add https://github.com/noir-lang/noir --skill noir-optimize-acir
Please help me install this Agent Skill. Skill: noir-optimize-acir Source: https://github.com/noir-lang/noir/tree/main/.claude/skills/noir-optimize-acir Command: npx skills add https://github.com/noir-lang/noir --skill noir-optimize-acir
This skill provides a structured workflow to measure and minimize the ACIR circuit size of constrained Noir programs, reducing prover time and resource usage.
Baseline the circuit by compiling the Noir project and measuring gates with nargo and bb, then iteratively apply a single optimization change, re-measure, and compare circuit_size and acir_opcodes.
High-intent search queries and answers about installing and using this skill.
You reduce ACIR circuit size by baselining the current circuit_size with the Noir toolchain, applying a single optimization change, re-compiling, and comparing the resulting acir_opcodes to evaluate the improvement.
Measuring circuit gates in a Noir project requires compiling the code with nargo and measuring the output with bb to record baseline metrics like circuit_size and acir_opcodes for optimization comparison.
Yes, optimizing Noir circuit size requires the nargo and bb toolchain components to compile the constrained program and accurately measure circuit_size and acir_opcodes across optimization iterations.
A high ACIR gate count in Noir programs often indicates unoptimized constrained logic, which you can minimize by applying iterative single optimizations and measuring the impact on acir_opcodes to reduce proving time.
Yes, you can iteratively compare ACIR opcodes by applying a single optimization change at a time to your Noir program, recompiling with nargo, and recording the new acir_opcodes against the previous baseline.
Optimizing ACIR size for SNARK-backed computation requires a strict iterative approach, limiting changes to a single optimization per iteration to accurately attribute reductions in circuit_size and acir_opcodes.
HabibTorjmenRegenerate ACIR artifacts and run formal proof tests with time and memory caps.
devrelaicomAnalyze Compact circuit costs across proving, gas, and state dimensions.
noir-langEvaluates TypeScript code for common syntax and semantics errors.
aaronbassettExplain zero-knowledge proof concepts and workflows in Midnight.
