docs: Add updated audit report for Modular Gho Stewards

aave · Sep 17, 2024 · 4010b04 · 4010b04
1 parent 3684128
commit 4010b04
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -47,6 +47,7 @@ You can find all audit reports under the [audits](./audits/) folder
 - [2023-12-07 - Certora Formal Verification (GHO Stability Module)](./certora/reports/Formal_Verification_Report_of_GHO_Stability_Module.pdf)
 - [2024-03-14 - Certora Formal Verification (GhoStewardV2)](./audits/2024-03-14_GhoStewardV2_Certora.pdf)
 - [2024-06-11 - Certora Formal Verification (UpgradeableGHO)](./audits/2024-06-11_UpgradeableGHO_Certora.pdf)
+- [2024-06-11 - Certora Formal Verification (Modular Gho Stewards)](./audits/2024-09-15_ModularGhoStewards_Certora.pdf)
 
 ## Getting Started
 

diff --git a/...5-09-2024_Modular_Gho_Steward_Certora.pdf → ...2024-09-15_ModularGhoStewards_Certora.pdf b/...5-09-2024_Modular_Gho_Steward_Certora.pdf → ...2024-09-15_ModularGhoStewards_Certora.pdf