fix: use branch of halo2curves without nostack (#2252)

Co-authored-by: Jonathan Wang <[email protected]>

Author: yi-sun

Cargo.lock

@@ -194,7 +194,7 @@ snark-verifier-sdk = { version = "0.2.0", default-features = false, features = [
     "halo2-axiom",
 ] }
 snark-verifier = { version = "0.2.0", default-features = false }
-halo2curves-axiom = "0.7.0"
+halo2curves-axiom = "^0.7.2"
 
 forge-fmt = "0.2.0"
 cargo_metadata = "0.18"

Cargo.toml

@@ -33,12 +33,8 @@ serde_with = { workspace = true }
 eyre = { workspace = true }
 cfg-if = { workspace = true }
 
-[target.'cfg(not(target_arch = "x86_64"))'.dependencies]
 halo2curves-axiom = { workspace = true }
 
-[target.'cfg(target_arch = "x86_64")'.dependencies]
-halo2curves-axiom = { workspace = true, features = ["asm"]}
-
 [dev-dependencies]
 openvm-mod-circuit-builder = { workspace = true, features = ["test-utils"] }
 openvm-circuit = { workspace = true, features = ["test-utils"] }
@@ -52,7 +48,7 @@ openvm-cuda-builder = { workspace = true, optional = true }
 [features]
 default = []
 tco = ["openvm-rv32im-circuit/tco"]
-aot = ["openvm-circuit/aot", "openvm-rv32im-circuit/aot"]
+aot = ["openvm-circuit/aot", "openvm-rv32im-circuit/aot", "halo2curves-axiom/asm"]
 cuda = [
     "dep:openvm-cuda-common",
     "dep:openvm-cuda-backend",

extensions/algebra/circuit/Cargo.toml

@@ -34,12 +34,8 @@ lazy_static = { workspace = true }
 hex-literal = { workspace = true }
 cfg-if = { workspace = true }
 
-[target.'cfg(not(target_arch = "x86_64"))'.dependencies]
 halo2curves-axiom = { workspace = true }
 
-[target.'cfg(target_arch = "x86_64")'.dependencies]
-halo2curves-axiom = { workspace = true, features = ["asm"]}
-
 [dev-dependencies]
 openvm-pairing-guest = { workspace = true, features = ["halo2curves"] }
 openvm-stark-sdk = { workspace = true }
@@ -51,7 +47,7 @@ lazy_static = { workspace = true }
 [features]
 default = []
 tco = ["openvm-algebra-circuit/tco"]
-aot = ["openvm-circuit/aot", "openvm-algebra-circuit/aot"]
+aot = ["openvm-circuit/aot", "openvm-algebra-circuit/aot", "halo2curves-axiom/asm"]
 cuda = [
     "dep:openvm-cuda-common",
     "dep:openvm-cuda-backend",

extensions/ecc/circuit/Cargo.toml

@@ -38,12 +38,8 @@ eyre = { workspace = true }
 serde = { workspace = true, features = ["derive", "std"] }
 cfg-if = { workspace = true }
 
-[target.'cfg(not(target_arch = "x86_64"))'.dependencies]
 halo2curves-axiom = { workspace = true }
 
-[target.'cfg(target_arch = "x86_64")'.dependencies]
-halo2curves-axiom = { workspace = true, features = ["asm"]}
-
 [target.'cfg(not(target_os = "zkvm"))'.dependencies]
 openvm-pairing-guest = { workspace = true }
 
@@ -62,7 +58,7 @@ openvm-pairing-guest = { workspace = true, features = [
 [features]
 default = []
 tco = ["openvm-rv32im-circuit/tco", "openvm-ecc-circuit/tco"]
-aot = ["openvm-circuit/aot", "openvm-rv32im-circuit/aot", "openvm-ecc-circuit/aot"]
+aot = ["openvm-circuit/aot", "openvm-rv32im-circuit/aot", "openvm-ecc-circuit/aot", "halo2curves-axiom/asm"]
 cuda = [
     "dep:openvm-cuda-backend",
     "dep:openvm-stark-sdk",