Does it support external Noir libraries?

Yes, it checks Nargo.toml for dependencies and verifies that common external libraries like Poseidon2 or SHA-256 are being used correctly and efficiently.

Why is constraint efficiency important in Noir?

Fewer constraints result in faster proof generation times and significantly lower gas costs when verifying ZK proofs on blockchains like Ethereum.

How does it handle unconstrained functions?

It specifically checks that any value generated in an 'unconstrained' or Brillig block is verified using assertions in the constrained part of the circuit to prevent prover manipulation.

What does a Noir circuit review entail?

It is a systematic analysis of Noir code to ensure all inputs are correctly constrained, assertions are meaningful, and no private data is leaked through public outputs.

Can this skill fix my Noir code automatically?

No, this is a read-only skill that analyzes your files and provides a detailed report with specific recommendations, allowing you to review and apply the fixes manually.

Noir Circuit Reviewer

Name: Noir Circuit Reviewer
Author: critesjosh

bycritesjosh

0•

Security & Testing

Analyzes Noir zero-knowledge circuits to detect security vulnerabilities, optimize constraint efficiency, and ensure proof soundness.

The Noir Circuit Reviewer is a specialized auditing tool designed for developers building zero-knowledge applications with the Noir programming language. It performs a deep, automated analysis of source code to identify critical risks such as under-constrained witnesses, unverified unconstrained outputs, and sensitive information leaks. By providing structured reports categorized by severity, it helps developers optimize their circuits for gas efficiency and ensures that resulting ZK proofs are mathematically sound and ready for production deployment.

Key Features

01Automated Noir version syncing and Nargo dependency checks

02Security auditing for under-constrained witnesses and private data leaks

03Severity-based reporting with actionable code fix recommendations

04Safety verification for unconstrained functions and Brillig blocks

050 GitHub stars

06Constraint efficiency optimization for field arithmetic and hash functions

Use Cases

01Performing pre-deployment security audits on production ZK circuits

02Identifying and fixing non-idiomatic Noir patterns during the development cycle

03Optimizing circuit constraint counts to reduce on-chain verification gas costs

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add critesjosh/noir-claude-plugin review-circuit

For use in Claude.ai and ChatGPT

Download Skill