noir-lang
Official@noir-lang
Offers specialized diagnostic and optimization primitives for zero-knowledge circuit development, focusing on SSA pass analysis and ACIR circuit size reduction.
Agent Skills by noir-lang
Showing 9 vetted skills indexed across 1 GitHub repositories.
noir-langreduce-ssa-repro
Minimizes SSA files that trigger noir-ssa pipeline bugs into smallest reproduction cases.
noir-langdesign-docs
Guides writing and maintaining design decision records for the Noir language and compiler.
noir-langnoir-ssa-tests
Write unit tests for SSA optimization passes in the Noir compiler's noirc_evaluator.
noir-langnoir-frontend-tests
Guides writing unit tests for the noirc_frontend compiler crate in Rust.
noir-langdebug-fuzzer-failure
Extract SSA fuzzer reproductions from GitHub Actions logs and bisect passes.
noir-langbisect-ssa-pass
Bisect SSA optimization passes in Noir projects to locate semantic regressions.
noir-langnoir-idioms
Evaluates TypeScript code for common syntax and semantics errors.
noir-langnoir-optimize-acir
Optimize ACIR circuit size for Noir programs using nargo and bb.
noir-langextract-fuzzer-repro
Convert GitHub Actions fuzzer failure logs into a minimal Noir reproduction project.
Frequently Asked Questions About noir-lang
FAQPage SchemaWhat specific tasks can developers perform using these capabilities?▼
Developers can perform automated bisection of compiler optimization passes, extract minimal reproduction cases from CI/CD logs, and optimize ACIR circuit sizes. These capabilities enable precise debugging of zero-knowledge programs and ensure efficient constraint generation for cryptographic deployments.
Which technical personas benefit from these diagnostic utilities?▼
These utilities are designed for zero-knowledge engineers, compiler developers, and cryptographic researchers working within the Noir ecosystem. They are specifically intended for those managing complex circuit logic, performing regression testing, or optimizing performance for resource-constrained proof systems.
What are the prerequisites for running these diagnostic and optimization tasks?▼
Execution requires a local environment configured with the Noir compiler, nargo, and the bb backend. Users must have access to existing Noir project source code and relevant GitHub Actions logs to utilize the fuzzer extraction and bisection functionality effectively.