metamorpho
metamorpho copied to clipboard
morpho-org
MetaMorpho
In addition to the [existing specs](https://github.com/morpho-org/metamorpho/tree/398c553b06769fc3a84d044c4d1f097de77a8548/certora), the following specs could also be considered. If the prover is incapable of verifying them, fuzzing could be considered as an alternative. 1. **[Share...
Here is a list of properties that we can try to verify using Certora: - [x] there is a tree of roles: owner > curator > allocator, and owner >...
Two scenarios we could document: 1. the guardian suspects bad behavior from the curator/owner -> revoke everything continuously, explain the situation, and can advocate for removing funds if no solution...
> we can't prepare bundles because they are specific to MM addresses and configuration? (I had default Safe bundle skeletons in mind) After discussion with Romain the best would be...
_Originally posted by @adhusson in https://github.com/morpho-org/metamorpho/pull/437#discussion_r1967394900_ Ideally we would only have to do `forge t`