Add decompression hints for ed25519 and rewrite curve config

A bug involving opcode collisions between short Weierstrass and twisted Edwards curves was found.

To fix this, CurveConfig was rewritten and separate opcodes were given to the two types of curves.

Author: Avaneesh-axiom

Cargo.lock

@@ -44,5 +44,6 @@ openvm-ecc-guest = { workspace = true, features = [
     "halo2curves",
     "k256",
     "p256",
+    "ed25519",
 ] }
 openvm-algebra-guest = { workspace = true }

extensions/ecc/circuit/Cargo.toml

@@ -28,18 +28,26 @@ pub struct Rv32EccConfig {
 }
 
 impl Rv32EccConfig {
-    pub fn new(curves: Vec<CurveConfig>) -> Self {
-        let primes: Vec<_> = curves
+    pub fn new(
+        sw_curves: Vec<CurveConfig<SwCurveCoeffs>>,
+        te_curves: Vec<CurveConfig<TeCurveCoeffs>>,
+    ) -> Self {
+        let sw_primes: Vec<_> = sw_curves
             .iter()
             .flat_map(|c| [c.modulus.clone(), c.scalar.clone()])
             .collect();
+        let te_primes: Vec<_> = te_curves
+            .iter()
+            .flat_map(|c| [c.modulus.clone(), c.scalar.clone()])
+            .collect();
+        let primes = sw_primes.into_iter().chain(te_primes).collect();
         Self {
             system: SystemConfig::default().with_continuations(),
             base: Default::default(),
             mul: Default::default(),
             io: Default::default(),
             modular: ModularExtension::new(primes),
-            ecc: EccExtension::new(curves),
+            ecc: EccExtension::new(sw_curves, te_curves),
         }
     }
 }