How does gate count affect ZK programs?

The gate count (circuit size) is the primary factor determining proving time. Reducing the gate count directly translates to faster and more efficient proof generation.

Which tools are needed to use this skill?

The skill primarily utilizes the 'nargo' CLI for compilation and the 'bb' (Barretenberg) CLI for measuring backend gate counts.

What is ACIR in the context of Noir?

ACIR (Abstract Circuit Intermediate Representation) is the intermediate format Noir uses to represent ZK circuits before they are compiled into specific backend constraints.

What is the 'hint and verify' pattern?

It is a ZK optimization where expensive computations are performed outside the circuit (unconstrained) and only the results are verified inside the circuit, significantly reducing gates.

Can this skill optimize unconstrained Noir functions?

No, this skill focuses on constrained circuits. Unconstrained (Brillig) functions run on a VM where standard profiling applies and do not contribute to the ACIR gate count.

Noir ACIR Optimization Loop

Name: Noir ACIR Optimization Loop
Author: critesjosh

bycritesjosh

0•

보안 및 테스팅

Measures and reduces the ACIR circuit size and gate count of Noir zero-knowledge programs through a structured, iterative optimization workflow.

This skill provides a systematic methodology for optimizing Noir ZK circuits by targeting Abstract Circuit Intermediate Representation (ACIR) opcodes and final backend gate counts. It guides Claude through a rigorous process of baseline measurement, iterative application of ZK-specific patterns—such as 'hint and verify' and assertion hoisting—and performance verification using tools like nargo and Barretenberg (bb). This ensures developers can effectively minimize proving times and resource usage in their zero-knowledge applications by making data-driven code changes.

주요 기능

01Best practices for avoiding common pitfalls in Noir circuit development

02Structured iterative loop for applying, measuring, and verifying optimizations

030 GitHub stars

04Analysis of ACIR opcodes versus final circuit size to prioritize proving performance

05Automated gate count measurement for both Noir binary and library projects

06Guidance on high-impact ZK patterns like unconstrained hints and constrained verification

사용 사례

01Optimizing complex Noir circuits that exceed gate limits of specific ZK backends

02Refactoring expensive in-circuit logic into efficient hint-based architectures

03Reducing proving time and cost for production zero-knowledge applications

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add critesjosh/noir-claude-plugin noir-optimize-acir

For use in Claude.ai and ChatGPT

Download Skill