From 12646a40752204898c02c0c35b04fac9852b0fb9 Mon Sep 17 00:00:00 2001 From: Dmitry Zakharov <80588907+DZahar0v@users.noreply.github.com> Date: Thu, 2 May 2024 17:13:16 +0300 Subject: [PATCH] Update README.md Co-authored-by: Ernesto Boado --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a32937ce..e65d6c9b 100644 --- a/README.md +++ b/README.md @@ -81,7 +81,7 @@ The following are the security procedures historically applied to Aave v3.X vers **-> Aave v3.1 - April 2024** - [Certora](./audits/30-04-2024_Certora_AaveV3.1.pdf) -- [MixBytes](./audits/02-05-2024_MixBytes_AaveV3.1.pdf) TBA +- [MixBytes](./audits/02-05-2024_MixBytes_AaveV3.1.pdf) - An internal review by [SterMi](https://twitter.com/stermi) on the virtual accounting feature was conducted on an initial phase of the codebase. - Additionally, Certora properties have been improved over time since the Aave v3 release. More details [HERE](./certora/README.md).