Instadapp/aave-protocol-v2
1
0
Fork 0
mirror of https://github.com/Instadapp/aave-protocol-v2.git synced 2024-07-29 21:47:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

- Added Certora report

Browse Source
This commit is contained in:
eboado 2020-12-03 18:23:26 +01:00
parent 279206814b
commit eea6d38f24
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -31,8 +31,9 @@ A more detailed and technical description of the protocol can be found in this r
- MixBytes (16/09/2020 - 03/12/2020): [report](./audits/Mixbytes-aave-v2-03-12-2020.pdf)
- PeckShield (29/09/2020 - 03/12/2020) : [report](./audits/Peckshield-aave-v2-03-12-2020-EN.pdf) (Also available in Chinese in the same folder)
- CertiK (28/09/2020 - 02-12-2020): [report](./audits/Certik-aave-v2-03-12-2020.pdf)
- Consensys Diligence (09-09-2020 - 09-10-2020): [report](https://consensys.net/diligence/audits/2020/09/aave-protocol-v2/)
- CertiK (28/09/2020 - 02/12/2020): [report](./audits/Certik-aave-v2-03-12-2020.pdf)
- Consensys Diligence (09/09/2020 - 09/10/2020): [report](https://consensys.net/diligence/audits/2020/09/aave-protocol-v2/)
- Certora, formal verification (02/08/2020 - 29/10/2020): [report](./audits/Certora-FV-aave-v2-03-12-2020.pdf)
## Connect with the community

BIN
audits/Certora-FV-aave-v2-03-12-2020.pdf Normal file
View File

Binary file not shown.