diff --git a/proof_of_leadership/circom/circomlib b/proof_of_leadership/circom/circomlib
new file mode 160000
index 0000000..cff5ab6
--- /dev/null
+++ b/proof_of_leadership/circom/circomlib
@@ -0,0 +1 @@
+Subproject commit cff5ab6288b55ef23602221694a6a38a0239dcc0