noir-idioms

Skill zawierający wytyczne do pisania idiomatycznego kodu w języku Noir. Nauczy Cię, jak konstruować programy, które są zarówno czytelne, jak i efektywne w generowaniu obwodów. Kluczowa zasada: obliczaj wyniki poza obwodem za pomocą funkcji unconstrained, a następnie weryfikuj je tanimi ograniczeniami. Dowiesz się, co warto hintować (wyniki końcowe, nie wartości pośrednie), jak pisać bezpieczne komentarze do bloków unsafe, oraz jak dostosować kod do różnych celów kompilacji (ACIR vs Brillig). Idealne do recenzji i tworzenia kodu Noir.

1. 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 unconstrained do 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 bloku unsafe dodaj 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.