Thinking in Circuits (wrapper for Aztec)

[jzaki]

Write a tutorial to educate readers about writing efficient contracts.

Noir's Thinking in Circuits shares intuitions and advice around writing efficient Noir. Fill this knowledge gap for Aztec.

1. Differences between different costs: conventional execution, proving/verifying gate count, execution gas, DA gas (calldata/state/blobs)
2. Flamegraph to identify large functions/operations
3. Tips to reduce gatecount in Noir
4. Case study around reducing gas consumption

See "Circuit Optimisations" drive doc