From 9eaddf53d5940b5c8d200e2354d6dd33a6b69aa9 Mon Sep 17 00:00:00 2001
From: lopeetall <joshuabfitzgerald@gmail.com>
Date: Tue, 17 Dec 2024 10:43:22 -0500
Subject: [PATCH] fixed kimchi at rev 5b4ac14

---
 Cargo.lock | 16 ++++++++--------
 Cargo.toml |  2 +-
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 713cf705c..cf57e1b33 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1085,7 +1085,7 @@ dependencies = [
 [[package]]
 name = "groupmap"
 version = "0.1.0"
-source = "git+https://github.com/o1-labs/proof-systems#6c674bdda34ab6db2b74984b0eb12f7fa1733e8c"
+source = "git+https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac1437e7912237be88d97b4b4891b22e3e61f"
 dependencies = [
  "ark-ec",
  "ark-ff",
@@ -1294,7 +1294,7 @@ dependencies = [
 [[package]]
 name = "internal-tracing"
 version = "0.1.0"
-source = "git+https://github.com/o1-labs/proof-systems#6c674bdda34ab6db2b74984b0eb12f7fa1733e8c"
+source = "git+https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac1437e7912237be88d97b4b4891b22e3e61f"
 
 [[package]]
 name = "is-terminal"
@@ -1361,7 +1361,7 @@ checksum = "078e285eafdfb6c4b434e0d31e8cfcb5115b651496faca5749b88fafd4f23bfd"
 [[package]]
 name = "kimchi"
 version = "0.1.0"
-source = "git+https://github.com/o1-labs/proof-systems#6c674bdda34ab6db2b74984b0eb12f7fa1733e8c"
+source = "git+https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac1437e7912237be88d97b4b4891b22e3e61f"
 dependencies = [
  "ark-ec",
  "ark-ff",
@@ -1536,7 +1536,7 @@ dependencies = [
 [[package]]
 name = "mina-curves"
 version = "0.1.0"
-source = "git+https://github.com/o1-labs/proof-systems#6c674bdda34ab6db2b74984b0eb12f7fa1733e8c"
+source = "git+https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac1437e7912237be88d97b4b4891b22e3e61f"
 dependencies = [
  "ark-ec",
  "ark-ff",
@@ -1546,7 +1546,7 @@ dependencies = [
 [[package]]
 name = "mina-poseidon"
 version = "0.1.0"
-source = "git+https://github.com/o1-labs/proof-systems#6c674bdda34ab6db2b74984b0eb12f7fa1733e8c"
+source = "git+https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac1437e7912237be88d97b4b4891b22e3e61f"
 dependencies = [
  "ark-ec",
  "ark-ff",
@@ -1728,7 +1728,7 @@ dependencies = [
 [[package]]
 name = "o1-utils"
 version = "0.1.0"
-source = "git+https://github.com/o1-labs/proof-systems#6c674bdda34ab6db2b74984b0eb12f7fa1733e8c"
+source = "git+https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac1437e7912237be88d97b4b4891b22e3e61f"
 dependencies = [
  "ark-ec",
  "ark-ff",
@@ -1827,7 +1827,7 @@ checksum = "8b870d8c151b6f2fb93e84a13146138f05d02ed11c7e7c54f8826aaaf7c9f184"
 [[package]]
 name = "poly-commitment"
 version = "0.1.0"
-source = "git+https://github.com/o1-labs/proof-systems#6c674bdda34ab6db2b74984b0eb12f7fa1733e8c"
+source = "git+https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac1437e7912237be88d97b4b4891b22e3e61f"
 dependencies = [
  "ark-ec",
  "ark-ff",
@@ -2694,7 +2694,7 @@ dependencies = [
 [[package]]
 name = "turshi"
 version = "0.1.0"
-source = "git+https://github.com/o1-labs/proof-systems#6c674bdda34ab6db2b74984b0eb12f7fa1733e8c"
+source = "git+https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac1437e7912237be88d97b4b4891b22e3e61f"
 dependencies = [
  "ark-ff",
  "hex",
diff --git a/Cargo.toml b/Cargo.toml
index bdf43b0e9..dc8a9ea9e 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -32,7 +32,7 @@ camino = "1.1.1" # to replace Path and PathBuf
 clap = { version = "4.0.5", features = ["derive"] } # CLI library
 dirs = "4.0.0" # helper functions (e.g. getting the home directory)
 itertools = "0.10.3" # useful iter traits
-kimchi = { git = "https://github.com/o1-labs/proof-systems"} # ZKP
+kimchi = { git = "https://github.com/o1-labs/proof-systems", rev = "5b4ac1437e7912237be88d97b4b4891b22e3e61f" } # ZKP
 miette = { version = "5.0.0", features = ["fancy"] }                                 # nice errors
 num-traits = "0.2.15"                                                                # useful traits on big ints
 once_cell = "1.15.0"                                                                 # for lazy statics