Last updated 9 months ago
https://github.com/solidproof/projects/blob/main/2024/Ripmex/SmartContract_Audit_Solidproof_Ripmex.pdf