diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 935e74b..8d3c9fd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -83,4 +83,5 @@ jobs:
         rule:
           - verify:marketplace
           - verify:state_changes
+          - verify:vault
 
diff --git a/package.json b/package.json
index c2948fc..2bb9535 100644
--- a/package.json
+++ b/package.json
@@ -11,7 +11,8 @@
     "deploy": "hardhat deploy",
     "verify": "npm run verify:marketplace && npm run verify:state_changes",
     "verify:marketplace": "certoraRun certora/confs/Marketplace.conf",
-    "verify:state_changes": "certoraRun certora/confs/StateChanges.conf"
+    "verify:state_changes": "certoraRun certora/confs/StateChanges.conf",
+    "verify:vault": "certoraRun certora/confs/Vault.conf"
   },
   "devDependencies": {
     "@nomiclabs/hardhat-ethers": "^2.2.1",