maria paula
@MPtherealmvp
brand partnerships at @aave / formerly co-founder @______jpg______ and @dod_berlin @ethberlin. Opinions my own.
Joined March 2018
3.6K Following 16.9K Followers
Stable Vaults are now formally verified. Because the future backend of all finance can't run on trust alone.
Certora has formally verified Stable Vaults.
This process covered the StableVault, Funds Handler, Asset Registry, Allocator, and IOU token contracts.
The verification confirmed that the Solidity implementations are correct according to @Certora's formal rules.
Show more
