Merge pull request #44 from reilabs/provenzk_tag

chore: fixed ProvenZK tag
worldcoin · Oct 16, 2023 · 6d903f2 · 6d903f2
2 parents 2aca389 + 6be50e0
commit 6d903f2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/formal-verification/lake-manifest.json b/formal-verification/lake-manifest.json
@@ -16,9 +16,9 @@
   {"git":
    {"url": "https://github.com/reilabs/proven-zk.git",
     "subDir?": null,
-    "rev": "4901484155bdc733b62ac22a024d77ddb5ff9d6f",
+    "rev": "18e62cc54899ee6e3c06cbeb42c94c8773b48e98",
     "name": "ProvenZK",
-    "inputRev?": "4901484155bdc733b62ac22a024d77ddb5ff9d6f"}},
+    "inputRev?": "v1.1.0"}},
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4.git",
     "subDir?": null,

diff --git a/formal-verification/lakefile.lean b/formal-verification/lakefile.lean
@@ -9,7 +9,7 @@ require mathlib from git
   "https://github.com/leanprover-community/mathlib4.git"@"26d0eab43f05db777d1cf31abd31d3a57954b2a9"
 
 require ProvenZK from git
-  "https://github.com/reilabs/proven-zk.git"@"4901484155bdc733b62ac22a024d77ddb5ff9d6f"
+  "https://github.com/reilabs/proven-zk.git"@"v1.1.0"
 
 lean_lib FormalVerification {
   moreLeanArgs := #["--tstack=65520", "-DmaxRecDepth=10000", "-DmaxHeartbeats=200000000"]