noir-lang
@noir-lang Organization
Public Skills
reduce-ssa-repro
by noir-lang
Minimize an SSA file that triggers a bug in the noir-ssa pipeline, producing the smallest possible reproduction case. Use after bisecting to identify which SSA passes cause the issue.
noir-frontend-tests
by noir-lang
Guide for writing noirc_frontend unit tests. Use when adding, writing, or reviewing frontend tests — regression tests, reproduction tests, error-checking tests, or should_panic tests in the compiler frontend.
bisect-ssa-pass
by noir-lang
Workflow for debugging SSA pass semantic preservation using the noir-ssa CLI. Use when a program's behavior changes incorrectly during the SSA pipeline - bisects passes to identify which one breaks semantics. The pass_vs_prev fuzzer finds such issues automatically.
debug-fuzzer-failure
by noir-lang
End-to-end workflow for debugging SSA fuzzer failures from CI. Extracts a reproduction case from GitHub Actions logs, then bisects SSA passes to identify the bug. Use when a pass_vs_prev or similar fuzzer test fails in CI.
extract-fuzzer-repro
by noir-lang
Extract a Noir reproduction project from fuzzer failure logs in GitHub Actions. Use when a CI fuzzer test fails and you need to create a local reproduction.
noir-idioms
by noir-lang
Guidelines for writing idiomatic, efficient Noir programs. Use when writing or reviewing Noir code.
noir-optimize-acir
by noir-lang
Workflow for measuring and optimizing the ACIR circuit size of a constrained Noir program. Use when asked to optimize a Noir program's gate count or circuit size.