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 to February 5th 2024.

The following contract list is included in our scope:

src/strategy/LMPStrategy.sol

However, as that contract does not stand on its own and is only a part of a larger system, it was necessary to also partially look at some other contracts (namely LMPVault.sol and LMPDebt.sol). Any issues found on these contracts are also mentioned in this report.