Epic: Protocol Circuits #13782

Activity

1. LeilaWang

   added

   C-protocol-circuitsComponent: Protocol circuits (kernel & rollup)Component: Protocol circuits (kernel & rollup)

   T-trackingType: Tracking Issue. This contains tasklists.Type: Tracking Issue. This contains tasklists.

   team-turingLeila's teamLeila's team

   on Apr 24, 2025
2. iAmMichaelConnor

   added a sub-issue on Apr 24, 2025

   • feat: pad side effects to hide the actual amounts from private #13798
3. LeilaWang

   added sub-issues on Apr 24, 2025

   • feat: use user specified length to trim emitted log #13806
   • feat: dynamic side effects #13807
   • bug: block header not being verified on L1 #12928
   • bug: constrain avm vs tube public inputs #13808
   • feat: Add prover_id to remaining circuits: AVM #13809
   • Blobs #13731
   • optimization: separate main file for simulating circuits #13810
   • optimization: reverse the order of public call requests #13811
   • optimization: spike: combine the Reset & Inner circuits #13812
   • optimization: private inner circuit for static call #13813
   • optimization: random gate golfing #13814
4. 43 remaining items

   Load more
5. iAmMichaelConnor

   added sub-issues on Sep 15, 2025

   • Q: should we get rid of the public setup phase? #17000
   • Consider hashing the public keys within the keys_hash, within the address #15382
   • Make msg_sender an Option<AztecAddress> instead of AztecAddress #14025
   • feat: Hash the current block timestamp into every new note that's created #17001
   • feat: read requests for the archive tree, processed by the reset circuit #17003
   • Refactor: replace the inefficient sqrt impl from protocol circuits with the better one #16967
   • optimisation: enable many private functions to append args to a single private fn call (similar to reset circuit) #17032
6. LeilaWang

   added a sub-issue on Sep 19, 2025

   • Add avm vk to vk tree #17162
7. iAmMichaelConnor

   added sub-issues on Oct 2, 2025

   • Introduce a max fee into the protocol #17298
   • Consider whether the protocol can support withdrawal of feejuice balances #17454
   • Consider whether a contract init nullifier should contain the salt #17128
8. LeilaWang

   removed sub-issues on Oct 2, 2025

   • Make reset circuit variant variables UPPER_CASE #15161
   • refactor: replace ScopedStruct with Scoped<Struct> #15517
   • Use assert_not_empty if you are absolutely sure it's safe to do so. #15172
9. iAmMichaelConnor

   removed a sub-issue on Nov 10, 2025

   • Consider whether a contract init nullifier should contain the salt #17128