← all publishers

noir-lang

@noir-lang source repo

Report this profile Claim this profile

• 9 skills
• 0 followers
• 13 hours ago last updated

1. ▌
   Design Docs · noir-lang

   How to write and maintain entries in the `design/` directory. Use when adding, editing, or reviewing a `design/*.md` decision record for the Noir language, compiler, or tooling.
   0
   installs
2. ▌
   Noir Idioms · noir-lang

   Guidelines for writing idiomatic, efficient Noir programs. Use when writing or reviewing Noir code.
   0
   installs
3. ▌
   Noir Ssa Tests · noir-lang

   Guide for writing SSA pass unit tests in noirc_evaluator. Use when adding, writing, or reviewing tests for an SSA optimization pass — regression tests for miscompilations, no-op tests, snapshot tests of pass output, or tests that must prove a pass preserves execution semantics.
   0
   installs
4. ▌
   Bisect Ssa Pass · noir-lang bundle

   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.
   0
   installs
5. ▌
   Reduce Ssa Repro · noir-lang bundle

   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.
   0
   installs
6. ▌
   Noir Optimize Acir · 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.
   0
   installs
7. ▌
   Noir Frontend Tests · 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.
   0
   installs
8. ▌
   Debug Fuzzer Failure · noir-lang

   End-to-end workflow for debugging SSA fuzzer failures from CI. Regenerates a reproduction from the CI seed with `just fuzz-repro`, then bisects SSA passes to identify the bug. Use when a `pass_vs_prev` or similar fuzzer test fails in CI.
   0
   installs
9. ▌
   Extract Fuzzer Repro · noir-lang

   Reproduce an AST-fuzzer failure locally from its CI seed. Use when a CI fuzzer test (e.g. `pass_vs_prev`) fails and you need a local Noir project to debug. Prefer `just fuzz-repro <seed>` over hand-copying the AST out of the logs.
   0
   installs