Spending pending commitments [tracking ticket]

[dbanks12]

Discussed here "Spending notes which haven't-yet been inserted"

Blocked by #513

SubTasks

Beta Give feedback

1. [C++] Caller of private kernel can flag read_requests to have membership checks skipped (flagged as read of "pending" commitment) #833
   C-protocol-circuits +1
   
2. [C++] Caller of private kernel can submit "transient" read_requests for "pending" commitments #834
   C-protocol-circuits +1
   
3. [TS] RPC Client (or unconstrained C++ helper) should detect which readRequests read "pending" commitments & flag transient #835
   2 of 2
   C-protocol-circuits +1
   
4. [TS] Aztec Noir functions should be able to read pending commitments from new list maintained in ACIR Simulator #919
   +0
   
5. [C++, TS] Accumulate read requests over the private kernel iterations #906
   0 of 1
   C-protocol-circuits T-feature-request +2
   
6. [C++] Kernel matches read requests to pending commitments #1063
   C-protocol-circuits +1
   
7. [TS] Re-enable e2e tests of pending commitments #839
   T-testing +1
   
8. Noir contracts shouldn't get notes that were nullified earlier in TX #940
   +0
   
9. Aztec Noir functions should be able to nullify pending commitments from list maintained in ACIR Simulator #920
   +0
   
10. [Noir, TS, C++] App circuit should output the commitment that a nullifier corresponds to #863
    C-protocol-circuits +1
    
11. Private ordering circuit should delete nullifier and pending commitment when match is found #836
    C-protocol-circuits +1
    
12. Ordering circuit should not chop commitments matched to read-requests #1073
    C-protocol-circuits +1
    
13. [TS / Simulator] Enforce sorting/filtering for pendingNotes #1030
    +0
    
14. Remove hack to force oracle-ordering in Noir / ACVM #1098
    +0
    
15. e2e test on getNotes filtering of persistent notes with pending nullifiers #1242
    T-testing +1
    
16. Fix nonces and unique note hashes #1216
    +0
    

Followup Tasks

Beta Give feedback

1. Enforce ordering of private state transitions & accesses [tracking ticket] #838
   9 of 9
   C-protocol-circuits +1
   

   
2. Kernel **efficiently** matches reads/nullifiers to commitments [tracking ticket] #1064
   3 of 3
   C-protocol-circuits +1
   

   
3. getCommitment should be able to work with pending commitments #1029
   +0
   

[dbanks12]

Done!