noir-optimize-acir
OfficialOptimize ACIR size for constrained Noir programs.
Authornoir-lang
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill provides a structured workflow to measure and minimize the ACIR circuit size of constrained Noir programs, reducing prover time and resource usage.
Core Features & Use Cases
- ACIR size measurement: Baseline the circuit size for constrained Noir programs and compare with subsequent optimizations.
- Iterative optimization: Apply single changes at a time and evaluate impact on circuit_size and acir_opcodes.
- Real-world use: When optimizing for large circuits in privacy-preserving apps, e.g., reduce gate count in SNARK-backed computation.
Quick Start
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.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: noir-optimize-acir Download link: https://github.com/noir-lang/noir/archive/main.zip#noir-optimize-acir Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.