chore: fix Cargo.toml

snark-verifier/Cargo.toml

@@ -17,7 +17,7 @@ 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/axiom-crypto/halo2-lib.git", tag = "v0.2.2", default-features = false }
 # 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/faster-witness-generation", package = "poseidon", optional = true }
+poseidon-axiom = { git = "https://github.com/axiom-crypto/halo2.git", tag = "v2023_01_17", package = "poseidon", optional = true }
 poseidon= { git = "https://github.com/privacy-scaling-explorations/poseidon", optional = true }
 
 # parallel
@@ -63,4 +63,4 @@ required-features = ["loader_halo2", "loader_evm"]
 
 [[example]]
 name = "recursion"
-required-features = ["loader_halo2"]
+required-features = ["loader_halo2"]