Update cargo, fix small circuit var name

README.md

@@ -34,11 +34,11 @@ To go back to running with CPU, the previous environment variable must be **unse
 unset ENABLE_ICICLE_GPU
 ```
 
->**NOTE:** Even with the above environment variable set, for circuits where k <= 8, icicle is only enabled in certain areas where batching MSMs will help; all other places will fallback to using CPU MSM. To change the value of `k` where icicle is enabled, you can set the environment variable `ICICLE_IS_SMALL_CIRCUIT`.
+>**NOTE:** Even with the above environment variable set, for circuits where k <= 8, icicle is only enabled in certain areas where batching MSMs will help; all other places will fallback to using CPU MSM. To change the value of `k` where icicle is enabled, you can set the environment variable `ICICLE_SMALL_CIRCUIT`.
 > 
 > Example: The following will cause icicle single MSM to be used throughout when k > 10 and CPU single MSM with certain locations using icicle batched MSM when k <= 10
 >```sh
->export ICICLE_IS_SMALL_CIRCUIT=10
+>export ICICLE_SMALL_CIRCUIT=10
 >```
 >
 

halo2_proofs/Cargo.toml

@@ -67,8 +67,7 @@ tabbycat = { version = "0.1", features = ["attributes"], optional = true }
 halo2_legacy_pdqsort = { version = "0.1.0", optional = true }
 
 # GPU Icicle integration
-# icicle = { git = "https://github.com/ingonyama-zk/icicle.git", branch = "rust/large-bucket-factor-msm", optional = true }
-icicle = { path = "../../../../icicle", optional = true }
+icicle = { git = "https://github.com/ingonyama-zk/icicle.git", tag = "v0.1.0", optional = true }
 rustacuda = { version = "0.1", optional = true }
 
 [dev-dependencies]

halo2_proofs/src/icicle.rs

@@ -16,7 +16,7 @@ static mut GPU_G_LAGRANGE: Option<DeviceBuffer<PointAffineNoInfinity_BN254>> = N
 static GPU_INIT: Once = Once::new();
 
 pub fn is_small_circuit(size: usize) -> bool {
-    size <= (1 << u8::from_str_radix(&env::var("ICICLE_SMALL_K").unwrap_or("8".to_string()), 10).unwrap())
+    size <= (1 << u8::from_str_radix(&env::var("ICICLE_SMALL_CIRCUIT").unwrap_or("8".to_string()), 10).unwrap())
 }
 
 pub fn init_gpu<C: CurveAffine>(g: &[C], g_lagrange: &[C]) {