search

morpho-org / morpho-utils

Repository gathering useful libraries and contracts.
GNU Affero General Public License v3.0
64 stars 1 forks source link

Formally prove `functionDelegateCall` #91

Open MathisGD opened 1 year ago

MerlinEgalite commented 1 year ago

@QGarchery how complex is it?

QGarchery commented 1 year ago

@QGarchery how complex is it?

I believe it's almost impossible in the current state of Certora. I asked them if they plan to add the needed feature (compare storage changes), I'll report back here when I get an answer

MerlinEgalite commented 1 year ago

Ok too bad 😢