Merge branch 'main' into fix-167

cspr-rad · Jul 26, 2024 · c215ead · c215ead
2 parents c6d4709 + c274bd9
commit c215ead
Show file tree

Hide file tree

Showing 8 changed files with 24 additions and 24 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/flake.lock b/flake.lock
diff --git a/kairos-contracts/Cargo.lock b/kairos-contracts/Cargo.lock
diff --git a/kairos-prover/Cargo.lock b/kairos-prover/Cargo.lock
diff --git a/kairos-prover/kairos-prover-risc0-server/Cargo.toml b/kairos-prover/kairos-prover-risc0-server/Cargo.toml
@@ -14,7 +14,7 @@ metal = [ "risc0-zkvm/metal", "disable-dev-mode" ]
 
 [dependencies]
 methods = { path = "../methods" }
-risc0-zkvm = { version="=1.0.2", default-features=false }
+risc0-zkvm = { version="=1.0.3", default-features=false }
 
 tracing = "0.1"
 tracing-subscriber = { version = "0.3", features = ["env-filter"] }

diff --git a/kairos-prover/kairos-verifier-risc0-lib/Cargo.toml b/kairos-prover/kairos-verifier-risc0-lib/Cargo.toml
@@ -11,6 +11,6 @@ disable-dev-mode = [ "risc0-zkvm/disable-dev-mode" ]
 
 
 [dependencies]
-risc0-zkvm = { version = "=1.0.2", default-features = false, optional = true }
+risc0-zkvm = { version = "=1.0.3", default-features = false, optional = true }
 kairos-circuit-logic = { path = "../kairos-circuit-logic", features = ["serde", "borsh"], default-features = false, optional = true }
 borsh = { version = "1", default-features = false, optional = true }
diff --git a/kairos-prover/methods/Cargo.toml b/kairos-prover/methods/Cargo.toml
@@ -5,5 +5,5 @@ edition.workspace = true
 license.workspace = true
 
 [build-dependencies]
-risc0-binfmt = "=1.0.2"
+risc0-binfmt = "=1.0.3"
 kairos-verifier-risc0-lib = { path = "../kairos-verifier-risc0-lib", default-features = false }
diff --git a/kairos-prover/profiling/Cargo.toml b/kairos-prover/profiling/Cargo.toml
@@ -6,7 +6,7 @@ license.workspace = true
 
 [dependencies]
 methods = { path = "../methods" }
-risc0-zkvm = "=1.0.2"
+risc0-zkvm = "=1.0.3"
 
 tracing = "0.1"
 tracing-subscriber = { version = "0.3", features = ["env-filter"] }