Aztec.nr library

[LHerskind]

This is a tracking issue for the collection of improvements we think should be applied to the Aztec.nr library. When new issues for aztec.nr is crated should be added to this list to easily have a list of noir to fix.

State Variables

Beta Give feedback

1. refactor(StateVariables): replace SlowUpdates with SharedMutable #4760
   +0
   
2. refactor(StateVariables): Use SharedImmutableState more consistently #4756
   C-aztec.nr +1
   
3. feat(StateVariables): Implement array and dynamic array state variable types #2211
   C-aztec.nr +1
   
4. feat(StateVariables): Ensure that immutable state vars can only be initialized at deployment #4738
   +0
   
5. feat(StateVariables): SharedMutable storage #4761
   6 of 11
   +0
   
6. refactor(StateVariables): Migrate Storage<T> to Storage<N> #5736
   +0
7. refactor(StateVariables): Come up with a better name for storage_read(...) and do the changes #5590
   S-needs-discussion +1
8. bug(StateVariables): incorrect map syntax gives weird error #5801
   +0

Misc

Beta Give feedback

1. refactor(AztecNr): rand is not provably random #3746
   T-feedback +1
   
2. refactor(AztecNr): Proper way to fetch portal addresses #902
   S-needs-discussion +1
3. refactor(AztecNr): Always use serialize function to get hash preimage in noir circuits or when comparing structs etc. #3595
   C-aztec.nr +1
   
4. refactor(AztecNr): Unify isEmpty/isZero and empty/zero API and Empty trait #4638
   C-aztec.nr +1
   
5. refactor(AztecNr): Make context.timestamp() a u64 instead of Field #5446
   +0
   
6. refactor(AztecNr): Inconsistent snake_case and CamelCase #3171
   +0
   
7. refactor(AztecNr): Clean up TransparentNote #5656
   +0
8. test(AztecNr): Write tests for the Noir-Lib, in .nr. #1642
   C-aztec.nr T-testing +2
   
9. Proving that a user transmitted a given note to a given address using historic access library #4683
   +0
10. feat(Misc): Add natspec to aztec nr #5803
    +0
    
11. refactor(Misc): Update the lookup validity for authwit
12. The _public_ kernel circuit should inject a nonce into new note hashes #1386
    T-fix +1
    
13. bug(TXE): Error messages in nested calls don't bubble up #7362
    +0
    

Features

Beta Give feedback

1. feat(AztecNr): Hidden prelude #2837
   A-internal-devex C-aztec.nr T-feedback +3
2. feat(AztecNr): Implement Serialize/Deserialize traits for u64 #4990
   C-aztec.nr +1
   

Notes

Beta Give feedback

1. refactor(Notes): Make get_notes return all notes at the beginning of the array #4991
   C-aztec.nr S-needs-discussion +2
   
2. refactor(Notes): Make set.get_notes fail if it returns no notes #4988
   C-aztec.nr +1
   
3. feat(Notes): Add pagination to noir get/view-notes #4262
   +0
4. feat(Notes): Allow getNotes to only return nullified notes. #4217
   C-aztec.nr +1
   
5. Implement PrivateSet.pop_notes #4989
   +0
   
6. refactor(Notes): Redesign Note and NoteHeader constallation #4419
   S-needs-discussion +1
7. refactor(Notes): Split get_note into get_note and get_note_unsafe #4346
   S-needs-discussion +1
8. refactor(Notes): Rename Singleton.getNote to convey "update" #3123
   S-needs-discussion +1
9. Nuke NoteIntreface::compute_note_hash_and_nullifier_without_context(...) #7127
   +0

---

For note discovery at some point, take a look at #4567

For note discovery at some point

Beta Give feedback

1. Constrain data encryption. #1139
   A-security C-aztec.nr +2
2. Migrate aztec-nr state variables to use context traits #5886
   +0
   

Optimisations

Beta Give feedback

1. triage(AztecNr): Investigate gate usage for the library #7071
   +0
   

Events

Beta Give feedback

1. feat(Event_Logs): Constrain event encryption #6952
   +0
   
2. feat(Event_Logs): Adopt similar api to encrypted notes #7160
   +0
   
3. feat(Event_Logs): Remove unencrypted emit in private #7161
   +0
   
4. feat(Event_Logs): Update unencrypted emit in public #7162
   +0
   
5. feat(Event_Logs): How should we learn about unencrypted logs? #6626
   +0
   
6. feat(Event_Logs): The getEvent should also support outgoing viewing key #7233
   +0
   
7. fix(Event_Logs): Remove event selector from L2UnencryptedLog #7198
   +0
   
8. feat(Event_Logs): Add recipient to outgoing logs #7314
   +0
   

[iAmMichaelConnor]

There's also these labelled issues: https://github.com/AztecProtocol/aztec-packages/issues?q=is%3Aopen+is%3Aissue+label%3Aaztec.nr