fix

openvm-org · Jan 6, 2025 · 0a36695 · 0a36695
1 parent 3f86b6b
commit 0a36695
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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() {