How does this skill help reduce circuit gate counts?

It provides patterns like using boolean types instead of manual field arithmetic and hoisting assertions out of conditionals, which allow the compiler to generate more efficient constraints.

When should I use ACIR vs Brillig optimization?

ACIR (constrained code) should be optimized for gate/constraint count to ensure faster proving, while Brillig (unconstrained code) should be optimized for execution speed and bytecode size.

Can this skill help with Noir code reviews?

Yes, it provides a comprehensive summary checklist to ensure Noir code follows best practices for efficiency, readability, and security standards.

What is the 'Hint and Verify' pattern in Noir?

It is a performance-saving technique where expensive computations are performed off-circuit in unconstrained functions (hints) and the resulting value is verified with cheaper constraints in-circuit.

Noir Idioms & ZK Circuit Optimization

Name: Noir Idioms & ZK Circuit Optimization
Author: critesjosh

bycritesjosh

0•

Herramientas para Desarrolladores

Provides guidelines and patterns for writing idiomatic, high-performance Noir programs for zero-knowledge circuits.

This skill equips Claude with the expertise needed to write and review Noir code, focusing on the unique constraints of Zero-Knowledge (ZK) development. It guides users through the 'Hint and Verify' pattern using unconstrained functions, optimizes for both ACIR (constrained) and Brillig (unconstrained) targets, and leverages the Noir type system for more efficient circuits. By applying these idiomatic patterns, developers can significantly reduce gate counts and improve the performance of their ZK applications.

Características Principales

01Safety comment guidelines for unconstrained code blocks

02Hint and Verify pattern implementation using unconstrained functions

03Efficient use of Noir's type system to reduce circuit gate count

040 GitHub stars

05Best practices for conditional logic and in-circuit assertions

06Optimization strategies for ACIR (constrained) and Brillig (unconstrained) code

Casos de Uso

01Optimizing existing Noir circuits to reduce constraint count and proving time

02Conducting code reviews for Noir programs to ensure idiomatic usage

03Refactoring complex in-circuit logic to the Hint and Verify pattern

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add critesjosh/noir-claude-plugin noir-idioms

For use in Claude.ai and ChatGPT

Download Skill