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.
顯示更多
