use halo2-lib v0.1.1; auto format

snark-verifier-sdk/Cargo.toml

@@ -17,7 +17,7 @@ serde_json = "1.0"
 bincode = "1.3.3"
 ark-std = { version = "0.4.0", features = ["print-trace"], optional = true }
 
-halo2-base = { git = "https://github.com/scroll-tech/halo2-lib.git", tag = "v0.1.0", default-features=false, features=["halo2-pse","display"] }
+halo2-base = { git = "https://github.com/scroll-tech/halo2-lib.git", tag = "v0.1.1", default-features=false, features=["halo2-pse","display"] }
 snark-verifier = { path = "../snark-verifier", default-features = false }
 
 # loader_evm

snark-verifier/Cargo.toml

@@ -15,7 +15,7 @@ rustc-hash = "1.1.0"
 serde = { version = "1.0", features = ["derive"] }
 
 # Use halo2-base as non-optional dependency because it re-exports halo2_proofs, halo2curves, and poseidon, using different repos based on feature flag "halo2-axiom" or "halo2-pse"
-halo2-base = { git = "https://github.com/scroll-tech/halo2-lib", tag = "v0.1.0", default-features=false, features=["halo2-pse","display"] }
+halo2-base = { git = "https://github.com/scroll-tech/halo2-lib", tag = "v0.1.1", default-features=false, features=["halo2-pse","display"] }
 # This poseidon is identical to PSE (for now) but uses axiom's halo2curves; otherwise would require patching
 poseidon-axiom = { git = "https://github.com/axiom-crypto/halo2.git", branch = "axiom/dev", package = "poseidon", optional = true }
 poseidon= { git = "https://github.com/privacy-scaling-explorations/poseidon", optional = true }
@@ -31,7 +31,7 @@ bytes = { version = "1.2", optional = true }
 rlp = { version = "0.5", default-features = false, features = ["std"], optional = true }
 
 # loader_halo2
-halo2-ecc = { git = "https://github.com/scroll-tech/halo2-lib", tag = "v0.1.0", optional = true, default-features=false, features=["halo2-pse","display"] }
+halo2-ecc = { git = "https://github.com/scroll-tech/halo2-lib", tag = "v0.1.1", optional = true, default-features=false, features=["halo2-pse","display"] }
 
 [dev-dependencies]
 ark-std = { version = "0.3.0", features = ["print-trace"] }

snark-verifier/src/pcs/kzg/decider.rs

@@ -56,11 +56,7 @@ mod native {
             accumulators: Vec<KzgAccumulator<M::G1Affine, NativeLoader>>,
         ) -> bool {
             assert!(!accumulators.is_empty());
-            !accumulators
-                .into_iter()
-                .any(|accumulator| {
-                    !Self::decide(dk, accumulator)
-                })
+            !accumulators.into_iter().any(|accumulator| !Self::decide(dk, accumulator))
         }
     }
 }