N
noir-idioms
Guidelines for writing idiomatic, efficient Noir programs. Use when writing or reviewing Noir code.
Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Guidelines for writing idiomatic, efficient Noir programs. Use when writing or reviewing Noir code.
How to use
- Zainstaluj skill noir-idioms w swoim środowisku Claude lub Copilot, wskazując repozytorium https://github.com/noir-lang/noir/tree/master/.claude/skills/noir-idioms. 2. Gdy piszesz lub przeglądasz kod Noir, aktywuj skill, aby otrzymać wytyczne dotyczące idiomatic i efektywności. 3. Zapamiętaj kluczową zasadę: zamiast wykonywać skomplikowane obliczenia w obwodzie (np. sortowanie tablicy), użyj funkcji
unconstraineddo obliczenia wyniku poza obwodem, a następnie zweryfikuj go za pomocą tanich ograniczeń. 4. Przy hintowaniu skupiaj się na wynikach końcowych, a nie na wartościach pośrednich — mniej hintowanych wartości oznacza mniej ograniczeń. 5. Do każdego blokuunsafedodaj komentarz// Safety:, który wyjaśnia, dlaczego weryfikacja czyni hint bezpiecznym — opisz, jaką właściwość egzekwuje kod ograniczający. 6. Rozważ cel kompilacji (ACIR dla łańcuchów, Brillig dla obliczeń) i dostosuj strategie optymalizacji do kontekstu, w którym będzie uruchamiany kod.