Add circomlib dependency

mirror of https://github.com/logos-co/nomos-pocs.git
2024-07-17 11:11:26 +02:00 · 2024-07-17 11:11:26 +02:00 · 15d4581921
parent 221d7102a9
commit 15d4581921
2 changed files with 4 additions and 0 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -0,0 +1,3 @@
+[submodule "Proof of Leadership/circomlib"]
+	path = Proof of Leadership/circomlib
+	url = https://github.com/iden3/circomlib.git
--- a/Leadership/circomlib
+++ b/Leadership/circomlib
@ -0,0 +1 @@
+Subproject commit cff5ab6288b55ef23602221694a6a38a0239dcc0
				`@ -0,0 +1 @@`
				`Subproject commit cff5ab6288b55ef23602221694a6a38a0239dcc0`