Implement IntrinsicCurve trivially for ed25519

Author: Avaneesh-axiom

extensions/ecc/guest/src/ed25519.rs

@@ -79,3 +79,13 @@ impl CyclicGroup for Ed25519Point {
         )),
     };
 }
+
+impl IntrinsicCurve for Ed25519Point {
+    type Scalar = Ed25519Scalar;
+    type Point = Ed25519Point;
+
+    fn msm(coeffs: &[Self::Scalar], bases: &[Self::Point]) -> Self::Point {
+        // TODO: idk if this can be optimized
+        openvm_ecc_guest::msm(coeffs, bases)
+    }
+}

extensions/pairing/guest/src/bn254/mod.rs

@@ -7,10 +7,7 @@ use lazy_static::lazy_static;
 use num_bigint::BigUint;
 use openvm_algebra_guest::{Field, IntMod};
 use openvm_algebra_moduli_setup::moduli_declare;
-use openvm_ecc_guest::{
-    weierstrass::{CachedMulTable, IntrinsicCurve},
-    CyclicGroup, Group,
-};
+use openvm_ecc_guest::{weierstrass::CachedMulTable, CyclicGroup, Group, IntrinsicCurve};
 use openvm_ecc_sw_setup::sw_declare;
 
 use crate::pairing::PairingIntrinsics;