diff --git a/.gitmodules b/.gitmodules
index f2b84783c40..d840d81986c 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -26,3 +26,6 @@
 [submodule "packages/contracts-bedrock/lib/automate"]
 	path = packages/contracts-bedrock/lib/automate
 	url = https://github.com/gelatodigital/automate
+[submodule "packages/contracts-bedrock/lib/properties"]
+	path = packages/contracts-bedrock/lib/properties
+	url = https://github.com/crytic/properties
diff --git a/packages/contracts-bedrock/lib/properties b/packages/contracts-bedrock/lib/properties
new file mode 160000
index 00000000000..f1ff61b8e90
--- /dev/null
+++ b/packages/contracts-bedrock/lib/properties
@@ -0,0 +1 @@
+Subproject commit f1ff61b8e90ce0c9ab138dfe23e80a8afa7f5e37