From f07fc485398a5784b0e352ebe95facde0f5d340c Mon Sep 17 00:00:00 2001
From: Jonathan Wang <31040440+jonathanpwang@users.noreply.github.com>
Date: Mon, 22 Jan 2024 18:26:30 -0500
Subject: [PATCH] chore: update Cargo.lock

---
 Cargo.lock                      | 4 ++++
 snark-verifier-sdk/src/halo2.rs | 1 -
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Cargo.lock b/Cargo.lock
index 8c7db689..a414e8de 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1124,6 +1124,8 @@ checksum = "eabb4a44450da02c90444cf74558da904edde8fb4e9035a9a6a4e15445af0bd7"
 [[package]]
 name = "halo2-axiom"
 version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b1d7b1243109adf85c716fa33dafb3c602694358821a0a1326a62f160d85600d"
 dependencies = [
  "blake2b_simd",
  "crossbeam",
@@ -1143,6 +1145,7 @@ dependencies = [
 [[package]]
 name = "halo2-base"
 version = "0.4.1"
+source = "git+https://github.com/axiom-crypto/halo2-lib.git?tag=v0.4.1-git#2fe813b3ccd4f224da195d61829effb20599dcbd"
 dependencies = [
  "getset",
  "halo2-axiom",
@@ -1164,6 +1167,7 @@ dependencies = [
 [[package]]
 name = "halo2-ecc"
 version = "0.4.1"
+source = "git+https://github.com/axiom-crypto/halo2-lib.git?tag=v0.4.1-git#2fe813b3ccd4f224da195d61829effb20599dcbd"
 dependencies = [
  "halo2-base",
  "itertools 0.11.0",
diff --git a/snark-verifier-sdk/src/halo2.rs b/snark-verifier-sdk/src/halo2.rs
index 6219e6dc..e5602f4e 100644
--- a/snark-verifier-sdk/src/halo2.rs
+++ b/snark-verifier-sdk/src/halo2.rs
@@ -213,7 +213,6 @@ where
 
     let instances = circuit.instances();
     let proof = gen_proof::<ConcreteCircuit, P, V>(params, pk, circuit, instances.clone(), None);
-    // If we can't serialize the entire snark, at least serialize the proof
 
     let snark = Snark::new(protocol, instances, proof);
     if let Some(path) = &path {