From 0a36695df01ab94dde7737812ab156cdbbec700a Mon Sep 17 00:00:00 2001
From: luffykai <lunkai@intrinsictech.xyz>
Date: Tue, 7 Jan 2025 03:34:04 +0800
Subject: [PATCH] fix

---
 benchmarks/programs/ecrecover/src/main.rs   | 2 +-
 examples/ecc/src/main.rs                    | 2 +-
 extensions/ecc/tests/programs/Cargo.toml    | 4 ++++
 extensions/snark-verifier/src/bin/verify.rs | 4 ++--
 4 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/benchmarks/programs/ecrecover/src/main.rs b/benchmarks/programs/ecrecover/src/main.rs
index 816f59a957..2235b68d62 100644
--- a/benchmarks/programs/ecrecover/src/main.rs
+++ b/benchmarks/programs/ecrecover/src/main.rs
@@ -26,7 +26,7 @@ openvm_algebra_guest::moduli_setup::moduli_init! {
     "0xFFFFFFFF FFFFFFFF FFFFFFFF FFFFFFFE BAAEDCE6 AF48A03B BFD25E8C D0364141"
 }
 openvm_ecc_guest::sw_setup::sw_init! {
-    Secp256k1Coord,
+    Secp256k1Point,
 }
 
 pub fn main() {
diff --git a/examples/ecc/src/main.rs b/examples/ecc/src/main.rs
index 0b44a45ec6..1fd384db58 100644
--- a/examples/ecc/src/main.rs
+++ b/examples/ecc/src/main.rs
@@ -17,7 +17,7 @@ openvm_algebra_guest::moduli_setup::moduli_init! {
 }
 
 openvm_ecc_guest::sw_setup::sw_init! {
-    Secp256k1Coord,
+    Secp256k1Point,
 }
 // ANCHOR_END: init
 
diff --git a/extensions/ecc/tests/programs/Cargo.toml b/extensions/ecc/tests/programs/Cargo.toml
index d748edadfa..3d238bf03c 100644
--- a/extensions/ecc/tests/programs/Cargo.toml
+++ b/extensions/ecc/tests/programs/Cargo.toml
@@ -40,6 +40,10 @@ lto = "thin"    # turn on lto = fat to decrease binary size, but this optimizes
 name = "ec"
 required-features = ["k256"]
 
+[[example]]
+name = "ec_nonzero_a"
+required-features = ["p256"]
+
 [[example]]
 name = "decompress"
 required-features = ["k256"]
diff --git a/extensions/snark-verifier/src/bin/verify.rs b/extensions/snark-verifier/src/bin/verify.rs
index 1ec6b2f126..77d3a46280 100644
--- a/extensions/snark-verifier/src/bin/verify.rs
+++ b/extensions/snark-verifier/src/bin/verify.rs
@@ -1,7 +1,7 @@
 use openvm_algebra_guest::{complex_macros::complex_init, moduli_setup::moduli_init};
 use openvm_ecc_guest::sw_setup::sw_init;
 #[allow(unused_imports)]
-use openvm_pairing_guest::bn254::Bn254Fp;
+use openvm_pairing_guest::bn254::Bn254G1Affine;
 use openvm_snark_verifier::PlonkVerifierContext;
 
 moduli_init! {
@@ -14,7 +14,7 @@ complex_init! {
 }
 
 sw_init! {
-    Bn254Fp
+    Bn254G1Affine
 }
 
 fn main() {