Hats Finance (https://hats.finance/).
The audit competition was performed on commit 9a18245f546bf2a8ed9bdc2b04aae44f949ec7a0.
There were three low severity findings that were found as part of the competition, with fixes acknowledged by the submitters:
-
L-01: Does not emit event after writing into storage
Fixed in #456
-
L-02: low level staticcall return value is not checked
Fixed in #457
-
L-03: Usage of floating pragma
Fixed in #458
Certora (https://www.certora.com/).
The final audit was performed on commit c3a4d0671099c5e17fda7287b764b93f6b9801df.
No new issues were discovered during this audit.