Aztec Macros

[LHerskind]

Tracking issue for Aztec Macros.

Most of these issues are low priority or blocked by noir and will be replaced when meta programming is supported.

This might change quite a lot depending on what the priorities look like for Noir Macros.

Tasks

Beta Give feedback

1. bug(AztecMacro): Should fail if a return value is defined but not given #2247
   C-aztec.nr +1
2. feat(AztecMacro): Autogenerate Note Type IDs #4519
   +0
   
3. feat(AztecMacro): abstract serialize and deserialize on user defined structs #3129
   C-aztec.nr S-needs-discussion T-feedback +3
   
4. feat(AztecMacro): Autogenerate constants for struct field slots for better note-getter options #3011
   C-aztec.nr T-feedback +2
   
5. feat(AztecMacro): Correct serialized size computation for shared state #5078
   +0
6. feat(AztecMacro): Calling Functions #5081
   +0
   
7. feat(AztecMacro): Extend artifact with storage layout #5079
   +0
   
8. feat(AztecMacro): Function types and visibility #5057
   +0
9. refactor(AztecMacro): generate aztec call depth macro errors from constant.in.ts #4129
   C-aztec.nr +1
10. refactor(AztecMacro): Refactor the macros to improve stability and readability #5080
    +0
    
11. refactor(AztecMacro): Remove all usages of Span::default() #4373
    C-aztec.nr +1
12. refactor(AztecMacro): Improve warnings #3119
    C-aztec.nr T-feedback +2
13. refactor(AztecMacro): Improve detection of compute_note_hash_and_nullifier #4647
    +0
14. refactor(AztecMacro): Correctly determine the maximum serialized note length #4649
    +0
15. refactor(AztecMacro): Error out when computing hash for unknown notes #4520
    +0
    
16. refactor(AztecMacro): Optimize DA usage of note ids #5427
    +0
17. refactor(AztecMacro): Make max note len error a compile time error #5670
    +0
18. compute_note_hash_and_nullifier errors and other note processing errors come up as warnings #5669
    +0
    
19. feat(AztecMacro): Let function convey mutability #6078
    +0
20. feat(AztecMacro): Event Interface #6951
    +0
    

To Triage

Beta Give feedback

1. bug(AztecMacro): Error resolving ValueNote in empty contract #5131
   T-bug +1
   
2. bug(AztecMacro): Error resolving AztecAddress on empty contract #5130
   T-bug +1
   
3. bug(AztecMacro): Oddly sized return values with packed structs #5821
   T-bug +1
4. bug(AztecMacro): Missing warning/error when structs used as return-values #5944
   +0
5. chore(AztecMacro): Remove aes slice #6547
   +0
   
6. chore(AztecMacro): separate entrypoint calls and kernel FunctionData #6548
   +0
   
7. feat: Batch simulate #6549
   +0
   
8. bug(AztecMacro): Obscure error when macros not used #6709
   T-bug T-feedback +2
9. bug(AztecMacro): Deserialize individual elements in an array of things for contract interfaces #6919
   T-bug T-feedback +2
   
10. Expand macros into flattened code

[Savio-Sou]

Might be a good idea to also add tests for the macros.