[Tracking issue] Noir syntax/lib usage examples

[jzaki]

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

SW Language translations:

• https://github.com/AztecProtocol/dev-rel/issues/403
• Rust program -> Noir program
  • https://github.com/AztecProtocol/dev-rel/issues/406
  • Touched upon here
• https://github.com/AztecProtocol/aztec-packages/issues/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 - https://github.com/AztecProtocol/dev-rel/issues/375
• https://github.com/AztecProtocol/aztec-packages/issues/3100
• https://github.com/AztecProtocol/aztec-packages/issues/3769

Noir language features:

• https://github.com/AztecProtocol/dev-rel/issues/405
• https://github.com/AztecProtocol/dev-rel/issues/106
• https://github.com/AztecProtocol/dev-rel/issues/132
• https://github.com/noir-lang/noir/issues/5011
• ...
• Related - https://github.com/AztecProtocol/dev-rel/issues/130

Noir libs:

• https://github.com/AztecProtocol/dev-rel/issues/209
• https://github.com/noir-lang/noir-examples/issues/21
• ...

Performance:

• https://github.com/AztecProtocol/dev-rel/issues/131