# Security and Agility of Aave Smart Contracts via Continuous Formal Verification **URL:** \ **Category:** Governance\ **Created:** [October 5, 2022, 2:19pm UTC](https://governance.aave.com/t/security-and-agility-of-aave-smart-contracts-via-continuous-formal-verification/10181 "2022-10-05T14:19:47Z")\ **Posts on this page:** 1\ **Showing post:** 12
**Author:** ![MCERFSR](https://avatars.discourse-cdn.com/v4/letter/m/8edcca/32.png) [@MCERFSR](https://governance.aave.com/u/MCERFSR)\ **Post date:** [January 16, 2023, 9:12am UTC](https://governance.aave.com/t/security-and-agility-of-aave-smart-contracts-via-continuous-formal-verification/10181/12 "2023-01-16T09:12:35Z")
# 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](https://github.com/aave/aave-v3-core/tree/feat/3.0.1) named V3.0.1. In our verification, we found and reported two issues; you can read about our findings in our official report [here](https://www.certora.com/wp-content/uploads/2023/01/Aave_V3.0.1_Formal_Verification_Report.pdf). - The verification report of [Price sync for stable coins](https://governance.aave.com/t/arc-provide-better-oracle-mechanism-for-correlated-assets/4720/1) was released. We found and reported two issues which were promptly fixed; the report can be found [here](https://www.certora.com/wp-content/uploads/2023/01/CL-Price-Adapter-Review.pdf). - The verification report of [Aave’s Proof Of Reserve](https://governance.aave.com/t/bgd-aave-chainlink-proof-of-reserve-phase-1/9168) is was released and is available [here](https://www.certora.com/wp-content/uploads/2023/01/Aave-Proof-of-Reserve-Formal-Verification-Report.pdf). Additionally, we are currently working on the following: - [GHO](https://governance.aave.com/t/introducing-gho/8730) - [veToken](https://governance.aave.com/t/arc-staked-atokens-a-new-aave-primitive-exploring-vote-escrow-economies/10406) 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](https://docs.google.com/forms/d/e/1FAIpQLSc_cFHv0BP9B3B5Ri1cBqho-6y4bsPhMpAAypUZazsHINgbfQ/viewform) 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](https://twitter.com/CertoraInc?s=20&t=xbUyIWD6lOuvrmEef0xy-Q) Join our Aave dedicated discord channel: [Discord](https://discord.com/channels/795999272293236746/967783163386536007) Talk to us LIVE every Wednesday at 14:30GMT: [Zoom](https://us06web.zoom.us/j/86149526783?pwd=VUJ1N1pHWDZnVFFKRld1ODV5V1NKQT09) --- _[View the full topic](https://governance.aave.com/t/security-and-agility-of-aave-smart-contracts-via-continuous-formal-verification/10181)._