diff --git a/certora/confs/ConsistentState.conf b/certora/confs/ConsistentState.conf
index ca757519..c5e827bf 100644
--- a/certora/confs/ConsistentState.conf
+++ b/certora/confs/ConsistentState.conf
@@ -4,6 +4,7 @@
         "certora/helpers/Util.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "parametric_contracts": [
         "MetaMorphoHarness",
     ],
diff --git a/certora/confs/DistinctIdentifiers.conf b/certora/confs/DistinctIdentifiers.conf
index f1056270..778ed3ac 100644
--- a/certora/confs/DistinctIdentifiers.conf
+++ b/certora/confs/DistinctIdentifiers.conf
@@ -3,6 +3,7 @@
         "certora/helpers/MetaMorphoHarness.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/DistinctIdentifiers.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Enabled.conf b/certora/confs/Enabled.conf
index 4f33ce1a..2b97089f 100644
--- a/certora/confs/Enabled.conf
+++ b/certora/confs/Enabled.conf
@@ -3,6 +3,7 @@
         "certora/helpers/MetaMorphoHarness.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Enabled.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Immutability.conf b/certora/confs/Immutability.conf
index d84752e5..694c0e6c 100644
--- a/certora/confs/Immutability.conf
+++ b/certora/confs/Immutability.conf
@@ -3,6 +3,7 @@
         "certora/helpers/MetaMorphoHarness.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Immutability.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/LastUpdated.conf b/certora/confs/LastUpdated.conf
index 47ba8574..a0e600a6 100644
--- a/certora/confs/LastUpdated.conf
+++ b/certora/confs/LastUpdated.conf
@@ -9,6 +9,7 @@
         "MetaMorphoHarness": "solc-0.8.24",
         "Util": "solc-0.8.24",
     },
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/LastUpdated.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Liveness.conf b/certora/confs/Liveness.conf
index 3d1cde1d..3aca3b07 100644
--- a/certora/confs/Liveness.conf
+++ b/certora/confs/Liveness.conf
@@ -12,6 +12,7 @@
         "MetaMorphoHarness": "solc-0.8.24",
         "Util": "solc-0.8.24",
     },
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Liveness.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/LostAssetsLink.conf b/certora/confs/LostAssetsLink.conf
index 4fe2e9f5..94b9b1c0 100644
--- a/certora/confs/LostAssetsLink.conf
+++ b/certora/confs/LostAssetsLink.conf
@@ -9,6 +9,7 @@
         "MorphoHarness": "solc-0.8.19",
         "Util": "solc-0.8.24"
     },
+    "solc_evm_version": "cancun",
     "link": [
         "MetaMorphoHarness:MORPHO=MorphoHarness",
     ],
diff --git a/certora/confs/LostAssetsNoLink.conf b/certora/confs/LostAssetsNoLink.conf
index b64a8cba..a680ff26 100644
--- a/certora/confs/LostAssetsNoLink.conf
+++ b/certora/confs/LostAssetsNoLink.conf
@@ -3,6 +3,7 @@
         "certora/helpers/MetaMorphoHarness.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/LostAssetsNoLink.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/MarketInteractions.conf b/certora/confs/MarketInteractions.conf
index b29c9aff..d6361d25 100644
--- a/certora/confs/MarketInteractions.conf
+++ b/certora/confs/MarketInteractions.conf
@@ -4,6 +4,7 @@
         "certora/helpers/Util.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "parametric_contracts": [
         "MetaMorphoHarness",
     ],
diff --git a/certora/confs/PendingValues.conf b/certora/confs/PendingValues.conf
index e53e20ad..157bfe2e 100644
--- a/certora/confs/PendingValues.conf
+++ b/certora/confs/PendingValues.conf
@@ -3,6 +3,7 @@
         "certora/helpers/MetaMorphoHarness.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/PendingValues.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Range.conf b/certora/confs/Range.conf
index e14a0db9..81e8c9e6 100644
--- a/certora/confs/Range.conf
+++ b/certora/confs/Range.conf
@@ -3,6 +3,7 @@
         "certora/helpers/MetaMorphoHarness.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Range.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Reentrancy.conf b/certora/confs/Reentrancy.conf
index ede79cc3..966afb99 100644
--- a/certora/confs/Reentrancy.conf
+++ b/certora/confs/Reentrancy.conf
@@ -3,6 +3,7 @@
         "certora/helpers/MetaMorphoHarness.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Reentrancy.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Reverts.conf b/certora/confs/Reverts.conf
index 2d9b2842..bfd11ecd 100644
--- a/certora/confs/Reverts.conf
+++ b/certora/confs/Reverts.conf
@@ -14,6 +14,7 @@
         "Util": "solc-0.8.24",
         "ERC20Standard": "solc-0.8.24",
     },
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Reverts.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Roles.conf b/certora/confs/Roles.conf
index 249fc934..a86fdd8e 100644
--- a/certora/confs/Roles.conf
+++ b/certora/confs/Roles.conf
@@ -3,6 +3,7 @@
         "certora/helpers/MetaMorphoHarness.sol",
     ],
     "solc": "solc-0.8.24",
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Roles.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Timelock.conf b/certora/confs/Timelock.conf
index e6cd1c45..04d609c9 100644
--- a/certora/confs/Timelock.conf
+++ b/certora/confs/Timelock.conf
@@ -10,6 +10,7 @@
         "MorphoHarness": "solc-0.8.19",
         "MetaMorphoHarness": "solc-0.8.24",
     },
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Timelock.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/certora/confs/Tokens.conf b/certora/confs/Tokens.conf
index cd7bd973..7fcabb6d 100644
--- a/certora/confs/Tokens.conf
+++ b/certora/confs/Tokens.conf
@@ -18,6 +18,7 @@
         "ERC20Standard": "solc-0.8.24",
         "ERC20USDT": "solc-0.8.24",
     },
+    "solc_evm_version": "cancun",
     "verify": "MetaMorphoHarness:certora/specs/Tokens.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
diff --git a/hardhat.config.ts b/hardhat.config.ts
index a86d47c3..23ce9f59 100644
--- a/hardhat.config.ts
+++ b/hardhat.config.ts
@@ -86,7 +86,7 @@ const config: HardhatUserConfig = {
             runs: 999999,
           },
           viaIR: true,
-          evmVersion: "paris",
+          evmVersion: "cancun",
         },
       },
     ],