From f2d77c4e0b116d0bcf58bc7ec471327a2ebaac04 Mon Sep 17 00:00:00 2001
From: Zhang Junyu <junyu92@gmail.com>
Date: Thu, 20 Jun 2024 04:10:30 +0000
Subject: [PATCH] bump halo2_proofs to support range checking col

---
 Cargo.lock | 30 +++++++++---------------------
 Cargo.toml |  2 +-
 2 files changed, 10 insertions(+), 22 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index d72d078..0479180 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -558,7 +558,7 @@ dependencies = [
 [[package]]
 name = "circuits-batcher"
 version = "0.1.0"
-source = "git+https://github.com/DelphinusLab/continuation-batcher.git#f0fa663edfbca638687b614b3b86610132d1d217"
+source = "git+https://github.com/DelphinusLab/continuation-batcher.git#12cefe8364f44c89afeb1f28fae701aeb90d06a0"
 dependencies = [
  "anyhow",
  "ark-std",
@@ -906,7 +906,7 @@ source = "git+https://github.com/lanbones/ec-gpu#36b9abf8611347e2fe44f21a2f3607e
 [[package]]
 name = "ec-gpu-gen"
 version = "0.4.0"
-source = "git+https://github.com/lanbones/ec-gpu?branch=halo2-opt-v2#e03cdef1dd41bcc251fd46839c41711b0ae2099e"
+source = "git+https://github.com/lanbones/ec-gpu?branch=halo2-opt-v2#aedc591657644f047f25a2e089f0b489eba0bf38"
 dependencies = [
  "ark-std",
  "bitvec",
@@ -1337,7 +1337,7 @@ dependencies = [
 [[package]]
 name = "halo2_proofs"
 version = "0.1.0-beta.1"
-source = "git+https://github.com/DelphinusLab/halo2-gpu-specific.git#9a81f601607bdc3ff3360a9ad66885c9796f487b"
+source = "git+https://github.com/DelphinusLab/halo2-gpu-specific.git#fe464bd14d7d1155964d39a029c9903b453aeac8"
 dependencies = [
  "ark-std",
  "blake2b_simd",
@@ -1365,13 +1365,13 @@ dependencies = [
 
 [[package]]
 name = "halo2aggregator-s"
-version = "0.1.0"
-source = "git+https://github.com/DelphinusLab/halo2aggregator-s.git?tag=1.0.0#35026092b90743d0e37689bd21444c250e64a9d4"
+version = "1.0.2"
+source = "git+https://github.com/DelphinusLab/halo2aggregator-s.git?tag=1.0.3#79bb1d5c491af63052c292713aa27e54a9432203"
 dependencies = [
  "ark-std",
  "blake2b_simd",
  "halo2_proofs",
- "halo2ecc-s 0.3.2 (git+https://github.com/lanbones/halo2ecc-s.git?tag=bisect-lookup-0.5.6#3b8b424f)",
+ "halo2ecc-s",
  "lazy_static",
  "num-bigint",
  "num-integer",
@@ -1384,19 +1384,7 @@ dependencies = [
 [[package]]
 name = "halo2ecc-s"
 version = "0.3.2"
-source = "git+https://github.com/DelphinusLab/halo2ecc-s.git?tag=bisect-lookup-0.5.6#deba857a9f31dbf34d38a306b590fba96b0e9c1a"
-dependencies = [
- "ark-std",
- "halo2_proofs",
- "num-bigint",
- "num-integer",
- "rayon",
-]
-
-[[package]]
-name = "halo2ecc-s"
-version = "0.3.2"
-source = "git+https://github.com/lanbones/halo2ecc-s.git?tag=bisect-lookup-0.5.6#3b8b424f#3b8b424f009fd945fc982f530ed29b555f8002e6"
+source = "git+https://github.com/DelphinusLab/halo2ecc-s.git?tag=bisect-lookup-0.5.8#ddad2af04c28c33c2aa1192f4529d59abdf624b8"
 dependencies = [
  "ark-std",
  "halo2_proofs",
@@ -3703,7 +3691,7 @@ dependencies = [
  "clap",
  "ff",
  "halo2_proofs",
- "halo2ecc-s 0.3.2 (git+https://github.com/DelphinusLab/halo2ecc-s.git?tag=bisect-lookup-0.5.6)",
+ "halo2ecc-s",
  "hex",
  "itertools",
  "lazy_static",
@@ -3724,7 +3712,7 @@ dependencies = [
 [[package]]
 name = "zkwasm-prover"
 version = "0.1.0"
-source = "git+https://github.com/DelphinusLab/zkWasm-prover.git#a9dfc9bfe16ccb71b2fbfa44d540a3cf58363827"
+source = "git+https://github.com/DelphinusLab/zkWasm-prover.git#d7244c637ca7d64afee4e66caea6f0cf4ccc6cc5"
 dependencies = [
  "ark-std",
  "cc",
diff --git a/Cargo.toml b/Cargo.toml
index 548eb28..1ebb637 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -20,7 +20,7 @@ strum_macros = "0.24.1"
 ff = "0.12"
 cfg-if = "1.0.0"
 halo2_proofs = { git = "https://github.com/DelphinusLab/halo2-gpu-specific.git", default-features = true }
-halo2ecc-s = { git = "https://github.com/DelphinusLab/halo2ecc-s.git", tag = "bisect-lookup-0.5.6"}
+halo2ecc-s = { git = "https://github.com/DelphinusLab/halo2ecc-s.git", tag = "bisect-lookup-0.5.8"}
 itertools = "0.10.0"
 num-bigint = { version = "0.4", features = ["rand"] }
 poseidon = { git = "https://github.com/DelphinusLab/poseidon" }