From dcfd5928e9b757ae9a76fd8b5fa92e8ea9dfaa7e Mon Sep 17 00:00:00 2001
From: zhenfei <zhenfei.zhang@hotmail.com>
Date: Thu, 9 Nov 2023 10:32:26 -0500
Subject: [PATCH] finished

---
 Cargo.lock                          | 18 +++++++++++++++---
 snark-verifier-sdk/Cargo.toml       |  1 +
 snark-verifier-sdk/src/halo2_api.rs |  2 +-
 3 files changed, 17 insertions(+), 4 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 269a0a38..ca58b465 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -670,7 +670,7 @@ checksum = "eabb4a44450da02c90444cf74558da904edde8fb4e9035a9a6a4e15445af0bd7"
 [[package]]
 name = "halo2-base"
 version = "0.2.2"
-source = "git+https://github.com/scroll-tech/halo2-lib?branch=sync-ff-0.13#17318039da63711d307fac5013a4ada227b456fe"
+source = "git+https://github.com/scroll-tech/halo2-lib.git?branch=sync-ff-0.13#17318039da63711d307fac5013a4ada227b456fe"
 dependencies = [
  "ff 0.13.0",
  "halo2_proofs 0.2.0 (git+https://github.com/axiom-crypto/halo2.git?tag=v2023_01_17)",
@@ -687,7 +687,7 @@ dependencies = [
 [[package]]
 name = "halo2-ecc"
 version = "0.2.2"
-source = "git+https://github.com/scroll-tech/halo2-lib?branch=sync-ff-0.13#17318039da63711d307fac5013a4ada227b456fe"
+source = "git+https://github.com/scroll-tech/halo2-lib.git?branch=sync-ff-0.13#17318039da63711d307fac5013a4ada227b456fe"
 dependencies = [
  "ff 0.13.0",
  "group 0.13.0",
@@ -721,7 +721,7 @@ dependencies = [
 [[package]]
 name = "halo2_proofs"
 version = "0.2.0"
-source = "git+https://github.com/scroll-tech/halo2.git?branch=sync-ff-0.13#85bccd30d232672e11cbbe982786b7bef758407e"
+source = "git+https://github.com/scroll-tech/halo2.git?branch=sync-ff-0.13#2f80720db08d4354ad9e76e6b273b17f3d6e6fb1"
 dependencies = [
  "ark-std",
  "blake2b_simd",
@@ -758,6 +758,8 @@ dependencies = [
  "paste",
  "rand",
  "rand_core",
+ "serde",
+ "serde_arrays",
  "static_assertions",
  "subtle",
 ]
@@ -1690,6 +1692,15 @@ dependencies = [
  "serde_derive",
 ]
 
+[[package]]
+name = "serde_arrays"
+version = "0.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "38636132857f68ec3d5f3eb121166d2af33cb55174c4d5ff645db6165cbef0fd"
+dependencies = [
+ "serde",
+]
+
 [[package]]
 name = "serde_derive"
 version = "1.0.192"
@@ -1827,6 +1838,7 @@ dependencies = [
  "hex",
  "itertools",
  "lazy_static",
+ "log",
  "num-bigint",
  "num-integer",
  "num-traits",
diff --git a/snark-verifier-sdk/Cargo.toml b/snark-verifier-sdk/Cargo.toml
index 8c7006ac..274d7db8 100644
--- a/snark-verifier-sdk/Cargo.toml
+++ b/snark-verifier-sdk/Cargo.toml
@@ -4,6 +4,7 @@ version = "0.0.1"
 edition = "2021"
 
 [dependencies]
+log = "0.4"
 itertools = "0.10.3"
 lazy_static = "1.4.0"
 num-bigint = "0.4.3"
diff --git a/snark-verifier-sdk/src/halo2_api.rs b/snark-verifier-sdk/src/halo2_api.rs
index f295c655..bf1fc12b 100644
--- a/snark-verifier-sdk/src/halo2_api.rs
+++ b/snark-verifier-sdk/src/halo2_api.rs
@@ -30,7 +30,7 @@ use halo2_base::halo2_proofs::{
         VerificationStrategy,
     },
     transcript::TranscriptReadBuffer,
-    SerdeFormat, {self},
+    SerdeFormat,
 };
 use itertools::Itertools;
 use rand::Rng;