Certora Continuous Formal Verification Report December 2022
Hi, Aave Friends!
Here’s a peek at what we have been up to in the past month.
Summary
We are happy to share our progress for some of the projects that we’ve been working on over the last couple of months:
-
We released the report of Aave’s PR of fixes to the live V3 core contracts named V3.0.1.
In our verification, we found and reported two issues; you can read about our findings in our official report here. -
The verification report of Price sync for stable coins was released. We found and reported two issues which were promptly fixed; the report can be found here.
-
The verification report of Aave’s Proof Of Reserve is was released and is available here.
Additionally, we are currently working on the following:
In each of these projects, we found and reported issues to the developing entity. We will share the reports
General Note
Do you want to write some rules and help secure contracts for Aave? We are still open to licensing applications. If you’re interested, fill out this form to apply for a key.
We encourage every community member to join us on our mission to formally verify Aave contracts. Who knows, you could even earn some money along the way. 
.
You can follow us on Twitter to hear about our latest grant announcements: Twitter
Join our Aave dedicated discord channel: Discord
Talk to us LIVE every Wednesday at 14:30GMT: Zoom