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.
Impersonators are one of the worst thing in crypto.
So we built Aave Verify: confirm an account is a legit Aave Labs contact before you share a single detail.
@aave will win.
https://t.co/UKBU33efmN
Join the Aave Labs team to discuss the newly launched Stable Vaults and how they let fintechs embed stablecoin yield into any financial product. https://t.co/QiRFAYOR1H
The digitalization of the Italian consulate needs to be studied:
- Log in to things that you've never signed up for, somehow magically registered.
- Request an obscure document, get 3x failed request notifications. Write 10 emails that go unanswered.
- Log in 3 weeks later, click weird new "download" button, pray for your laptop -> obscure document is now with you.
If you have an iPhone, are based in US, and want to user test @aave app, follow us on IG and comment a 👻 here (we’ll be choosing a few folks to get beta access):
@katalunia030 yes - all falls in the same category -> send something, never get an answer, forget about it, log in much later, find your things there after some UX hurdles
We're kicking off a beginner series that'll make it easier than ever to explain @aave to your friends and family.
First explainer out now: https://t.co/dwZjGP2sAl