maria paula
@MPtherealmvp
brand partnerships at @aave / formerly co-founder @______jpg______ and @dod_berlin @ethberlin. Opinions my own.
参加 March 2018
3.6K フォロー中 16.9K ファン
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.
もっと見る
