Certora: LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024
This report describes the specification and verification of the Tokemak v2 LMPStrategy contract using the Certora Prover and manual code review findings. The work was undertaken from January 2nd 2023
PreviousHexens: Tokemak Autopilot May 2024NextHats.Finance, Crowd Competition Smart Contract Audit, February - March 2024
Was this helpful?