Feat/update aggregator snark verifier

Cargo.toml

@@ -12,7 +12,8 @@ members = [
     "mock",
     "testool",
     "aggregator",
-    "prover"
+    "prover",
+    "compression",
 ]
 resolver = "2"
 
@@ -32,7 +33,7 @@ ethers-core = { git = "https://github.com/scroll-tech/ethers-rs.git", branch = "
 ethers-providers = "=2.0.7"
 ethers-signers = "=2.0.7"
 ff = "0.13"
-halo2_proofs = { git = "https://github.com/scroll-tech/halo2.git", branch = "v1.1" }
+halo2_proofs = { git = "https://github.com/scroll-tech/halo2.git", branch = "v1.1", features = ["circuit-params"] }
 halo2curves = { version = "0.1.0", features = [ "derive_serde" ] }
 poseidon-base = { package = "poseidon-base", git = "https://github.com/scroll-tech/poseidon-circuit.git", branch = "main" }
 hash-circuit = { package = "poseidon-circuit", git = "https://github.com/scroll-tech/poseidon-circuit.git", branch = "main" }
@@ -56,8 +57,11 @@ serde = {version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 serde_stacker = "0.1"
 sha3 = "0.10"
-snark-verifier = { git = "https://github.com/scroll-tech/snark-verifier", branch = "develop" }
-snark-verifier-sdk = { git = "https://github.com/scroll-tech/snark-verifier", branch = "develop", default-features = false, features = ["loader_halo2", "loader_evm", "halo2-pse"] }
+snark-verifier = { git = "https://github.com/scroll-tech/snark-verifier", branch = "feat/circuit_params" }
+snark-verifier-sdk = { git = "https://github.com/scroll-tech/snark-verifier", branch = "feat/circuit_params", default-features = false, features = ["loader_halo2", "loader_evm", "halo2-pse"] }
+aggregator-snark-verifier = { git = "https://github.com/scroll-tech/snark-verifier", branch = "axiom-community-edition", package = "snark-verifier", default-features = false, features = ["loader_halo2", "halo2-pse", "loader_evm", "revm"] }
+aggregator-snark-verifier-sdk = { git = "https://github.com/scroll-tech/snark-verifier", branch = "axiom-community-edition", default-features = false, features = ["loader_halo2", "halo2-pse", "loader_evm", "revm"], package = "snark-verifier-sdk" }
+
 strum = "0.25"
 strum_macros = "0.25"
 subtle = "2.4"
@@ -74,17 +78,17 @@ ethers = { git = "https://github.com/scroll-tech/ethers-rs.git", branch = "v2.0.
 ethers-etherscan = { git = "https://github.com/scroll-tech/ethers-rs.git", branch = "v2.0.7" }
 ethers-signers  = { git = "https://github.com/scroll-tech/ethers-rs.git", branch = "v2.0.7" }
 gobuild = { git = "https://github.com/scroll-tech/gobuild.git" }
-halo2curves = { git = "https://github.com/scroll-tech/halo2curves", branch = "v0.1.0" }
+halo2curves = { git = "https://github.com/scroll-tech/halo2curves", branch = "use_pairing" }
 
 [patch."https://github.com/privacy-scaling-explorations/halo2.git"]
 halo2_proofs = { git = "https://github.com/scroll-tech/halo2.git", branch = "v1.1" }
+
 [patch."https://github.com/privacy-scaling-explorations/poseidon.git"]
 poseidon = { git = "https://github.com/scroll-tech/poseidon.git", branch = "main" }
 
 [patch."https://github.com/privacy-scaling-explorations/bls12_381"]
 bls12_381 = { git = "https://github.com/scroll-tech/bls12_381", branch = "feat/impl_scalar_field" }
 
-
 # Definition of benchmarks profile to use.
 [profile.bench]
 opt-level = 3

aggregator/Cargo.toml

@@ -14,18 +14,20 @@ ark-std.workspace = true
 ctor.workspace = true
 env_logger.workspace = true
 ethers-core.workspace = true
+halo2_proofs.workspace = true
 hex.workspace = true
 log.workspace = true
 itertools.workspace = true
 once_cell.workspace = true
 serde.workspace = true
 serde_json.workspace = true
 rand.workspace = true
-halo2-base.workspace = true
-halo2-ecc.workspace = true
-halo2_proofs.workspace = true
-snark-verifier.workspace = true
-snark-verifier-sdk.workspace = true
+# halo2-base.workspace = true
+# halo2-ecc.workspace = true
+# halo2_proofs.workspace = true
+halo2curves.workspace = true
+aggregator-snark-verifier.workspace = true
+aggregator-snark-verifier-sdk.workspace = true
 strum.workspace = true
 strum_macros.workspace = true