[Tracking issue] Noir syntax/lib usage examples

[jzaki]

An overarching issue to track circuit/contract snippets/examples to showcase specific use.

SW Language translations:

• Translating Solidity into Aztec.nr #403
• Rust program -> Noir program
  • Rust / Noir syntax examples side-by-side #406
  • Touched upon here
• Create a comparison of the EVM vs Aztec aztec-packages#2006
• External repo of zk comparisons (needs updating)

Security considerations:

• Trust assumptions (Who is proving? On what hardware?)
• Common vulnerabilities to NOT put in your next zk application - Document use of params for sound proof generation, with counter-examples.  #375
• Privacy leaking examples aztec-packages#3100
• Docs: best practices: timestamp in private aztec-packages#3769

Noir language features:

• Review metaprogramming macros docs #405
• Docs: Better examples for the usage of Traits #106
• Create refined example showcasing latest+interesting noir-lang features #132
• Dynamic loop magically working noir-lang/noir#5011
• ...
• Related - Explain unexpected behaviour/concepts for new devs learning noir #130

Noir libs:

• Make type/dep discovery, and use, easier #209
• Tracking examples with Noir libs noir-lang/noir-examples#21 (see sub-issues)
• ...

Performance:

• Make benchmarking Noir functions easier #131