diff --git a/certora/confs/StakeMath.conf b/certora/confs/StakeMath.conf
new file mode 100644
index 0000000..4698744
--- /dev/null
+++ b/certora/confs/StakeMath.conf
@@ -0,0 +1,22 @@
+{
+  "files": [
+    "contracts/StakeManager.sol",
+    "certora/helpers/ExpiredStakeStorageA.sol",
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
+    "StakeManager:REWARD_TOKEN=ERC20A",
+    "StakeManager:EXPIRED_STAKE_STORAGE=ExpiredStakeStorageA"
+  ],
+  "msg": "StakeManager:StakeMath",
+  "rule_sanity": "basic",
+  "verify": "StakeManager:certora/specs/StakeMath.spec",
+  "optimistic_loop": true,
+  "loop_iter": "3",
+  "packages": [
+    "forge-std=lib/forge-std/src",
+    "@openzeppelin=lib/openzeppelin-contracts"
+  ]
+}
+
+