From ecf5f9e04a0220e63222aad3a9f8bfbcaa68e276 Mon Sep 17 00:00:00 2001
From: Jonathan Wang <31040440+jonathanpwang@users.noreply.github.com>
Date: Thu, 25 Jan 2024 02:07:43 -0500
Subject: [PATCH] chore: implement `ScalarField` for ed25519 fields (#254)

* chore: impl scalar field for ed25519

* chore: remove patch, add feature gate
---
 halo2-base/src/utils/mod.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/halo2-base/src/utils/mod.rs b/halo2-base/src/utils/mod.rs
index 98d80870..4f63caeb 100644
--- a/halo2-base/src/utils/mod.rs
+++ b/halo2-base/src/utils/mod.rs
@@ -451,6 +451,15 @@ mod scalar_field_impls {
     impl_scalar_field!(bn254Fq);
     impl_scalar_field!(secpFp);
     impl_scalar_field!(secpFq);
+
+    #[cfg(feature = "halo2-axiom")]
+    mod ed25519 {
+        use super::*;
+        use crate::halo2_proofs::halo2curves::ed25519::{Fq, Fr};
+
+        impl_scalar_field!(Fq);
+        impl_scalar_field!(Fr);
+    }
 }
 
 /// Module for reading parameters for Halo2 proving system from the file system.