π Context
For prior context on recoverable app funds, see #485.
After the application is foreclosed, the application owner can still change the application's outputs Merkle root validators, and therefore, steal user funds.
βοΈ Solution
Make migrateToOutputsMerkleRootValidator revert if isForeclosed returns true.
π Subtasks
π Context
After the application is foreclosed, the application owner can still change the application's outputs Merkle root validators, and therefore, steal user funds.
βοΈ Solution
Make
migrateToOutputsMerkleRootValidatorrevert ifisForeclosedreturns true.π Subtasks