Detailed Plan
Smart contract upgradability is a key piece of functionality that all serious DeFi dApps require. The EUTXO model poses novel problems for contract upgradability which do not exist in the account-based model.
These issues have as of yet been unaddressed in the Plutus ecosystem, and as such new smart contract developers are currently left with no solution available to them. With something as risky as upgrading contracts, using well known design patterns is vital to ensure that developers do not make any obvious mistakes that will end up becoming major security holes.
dcSpark will spend time researching and developing the required design patterns to safely implement dApp smart contract upgrading. We will produce an example smart contract that show off how to implement upgrading, and also surrounding material to explain how the process works and how other devs can go about implementing it in their own dApps. This will be all released publicly open source on github for everyone to benefit from in Q1 2022
