diff --git a/.gitignore b/.gitignore
index 0a62cf0b3..c60c5d945 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,3 +57,8 @@ allFiredEvents
 # hardhat
 cache
 artifacts
+
+# Certora
+.certora*
+.last_confs
+certora_*