noirlisted

# noir Domain knowledge for zero-knowledge circuit design with Noir. For Noir language syntax patterns (types, modules, generics), see droo-stack's noir-patterns rule. This skill covers the **why** of ZK: circuit architecture, security pitfalls, Aztec integration, and testing strategy. ## What You Get - Circuit architecture and constraint optimization patterns - ZK-specific security: privacy leaks, oracle safety, nullifier attacks - Systematic circuit audit methodology (spec-to-constraint mapping, completeness, privacy analysis) - Aztec contract integration (notes, storage, account abstraction) - Testing strategy: nargo tests, e2e setup, cross-chain messaging - Constrained vs unconstrained computation guidance ## When to use This skill activates when working on ZK circuit design, proof systems, or Aztec contracts. It complements droo-stack (which covers Noir syntax) with domain knowledge that requires ZK expertise. ## When NOT to use - For Noir language syntax only (types, modules, generics) -- use droo-stack - For Solidity smart contracts -- use solidity-auditor - For general Ethereum tooling -- use ethskills ## See also - `droo-stack` -- for Noir language syntax (types, modules, generics) - `solidity-auditor` -- for Solidity verifier contracts that consume Noir proofs - `zk-x-ray` -- for pre-audit reports on ZK + EVM hybrid protocols (Noir + Solidity) - `ethskills` -- for Ethereum ecosystem tooling and standards ## Reading guide | Working on