diff --git a/.gitmodules b/.gitmodules
index 950fc53a..7633cd5f 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "ext/ssbd-tools"]
-	path = ext/ssbd-tools
+	path = submodules/ssbd-tools
 	url = https://github.com/tyhicks/ssbd-tools.git
+[submodule "submodules/crypto-specs"]
+	path = submodules/crypto-specs
+	url = git@github.com:formosa-crypto/crypto-specs.git
diff --git a/proof/crypto-specs b/proof/crypto-specs
new file mode 120000
index 00000000..b76fc4f2
--- /dev/null
+++ b/proof/crypto-specs
@@ -0,0 +1 @@
+../submodules/crypto-specs/
\ No newline at end of file
diff --git a/submodules/crypto-specs b/submodules/crypto-specs
new file mode 160000
index 00000000..c07ff650
--- /dev/null
+++ b/submodules/crypto-specs
@@ -0,0 +1 @@
+Subproject commit c07ff6501d73e2e2ed64e8017ace31b637b5b2f2
diff --git a/ext/ssbd-tools b/submodules/ssbd-tools
similarity index 100%
rename from ext/ssbd-tools
rename to submodules/ssbd-tools