diff --git a/README.md b/README.md index edcd32a3..6f86d711 100644 --- 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/audits/15-09-2024_Modular_Gho_Steward_Certora.pdf b/audits/2024-09-15_ModularGhoStewards_Certora.pdf similarity index 97% rename from audits/15-09-2024_Modular_Gho_Steward_Certora.pdf rename to audits/2024-09-15_ModularGhoStewards_Certora.pdf index 45e8dd2e..4c7c6691 100644 Binary files a/audits/15-09-2024_Modular_Gho_Steward_Certora.pdf and b/audits/2024-09-15_ModularGhoStewards_Certora.pdf differ