diff --git a/certora/confs/AssetsAccounting.conf b/certora/confs/AssetsAccounting.conf
index cbd659ed7..4b72c46fc 100644
--- a/certora/confs/AssetsAccounting.conf
+++ b/certora/confs/AssetsAccounting.conf
@@ -5,6 +5,7 @@
     "verify": "MorphoHarness:certora/specs/AssetsAccounting.spec",
     "rule_sanity": "basic",
     "prover_args": [
+        "-smt_hashingScheme plaininjectivity",
         "-mediumTimeout 30",
     ],
     "msg": "Morpho Blue Assets Accounting"