Use openvm_init

Author: Avaneesh-axiom

extensions/ecc/tests/programs/examples/edwards_ec.rs

@@ -11,13 +11,7 @@ use openvm_ecc_guest::{
     CyclicGroup, Group,
 };
 
-moduli_init! {
-    "57896044618658097711785492504343953926634992332820282019728792003956564819949",
-}
-
-te_init! {
-    Ed25519Point,
-}
+openvm::init!("openvm_init_edwards_ec_ed25519.rs");
 
 openvm::entry!(main);
 
@@ -48,29 +42,23 @@ pub fn main() {
         "1BCA918096D89C83A15105DF343DC9F7510494407750226DAC0A7620ACE77BEB"
     ));
 
-    // TODO: delete debugging code
-    let p3 = Ed25519Point::from_xy(x3, y3).unwrap();
-    let p4 = Ed25519Point::from_xy(x4, y4).unwrap();
-    let _a = &p1 + &p2;
-    let _b = &p3 + &p4;
-
     // Generic add can handle equal or unequal points.
-    // let p3 = &p1 + &p2;
-    // if p3.x() != &x3 || p3.y() != &y3 {
-    //     panic!();
-    // }
-    // let p4 = &p2 + &p2;
-    // if p4.x() != &x4 || p4.y() != &y4 {
-    //     panic!();
-    // }
+    let p3 = &p1 + &p2;
+    if p3.x() != &x3 || p3.y() != &y3 {
+        panic!();
+    }
+    let p4 = &p2 + &p2;
+    if p4.x() != &x4 || p4.y() != &y4 {
+        panic!();
+    }
 
-    // // Add assign and double assign
-    // p1 += &p2;
-    // if p1.x() != &x3 || p1.y() != &y3 {
-    //     panic!();
-    // }
-    // p2.double_assign();
-    // if p2.x() != &x4 || p2.y() != &y4 {
-    //     panic!();
-    // }
+    // Add assign and double assign
+    p1 += &p2;
+    if p1.x() != &x3 || p1.y() != &y3 {
+        panic!();
+    }
+    p2.double_assign();
+    if p2.x() != &x4 || p2.y() != &y4 {
+        panic!();
+    }
 }