Epic: Upgradeable Aztec Smart Contracts

[iAmMichaelConnor]

First thing's first: decide on how we want to enable contract upgrades. Decide based on dev ease of use and a reduction in critical bugs.

Reading material:

@nventuro @spalladino is there anything you'd add, with an extra 6 months of knowledge since you wrote these docs, and in advance of discussing this topic next week?

Overview: https://forum.aztec.network/t/how-to-do-contract-upgrades-feb-2024-edition/4583

https://forum.aztec.network/t/deep-dive-into-delegatecall-proxy-upgrades/4581
https://forum.aztec.network/t/contract-upgrades-via-shared-mutable-state-slowjoe/4582
https://hackmd.io/wVLDGk5gRJaTQfFQ3YmEDA?both

old? https://forum.aztec.network/t/implementing-contract-upgrades/2570

This task list will be clearer once we decide on an approach.

Tasks

Beta Give feedback

1. Decide on the approach.
2. Kernel circuit changes.
3. AVM changes.
4. Example proxy contracts and e2e tests.