From bcaeb3d785fa3aa6e3921d85e006ef6cae858df3 Mon Sep 17 00:00:00 2001
From: Charles Edward Gagnon <charlesedgagnon@gmail.com>
Date: Fri, 20 Jun 2025 15:53:46 -0400
Subject: [PATCH] require `Field` instead of `PrimeField` for `Group`

---
 CHANGELOG.md | 4 ++++
 src/lib.rs   | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index aec3f6d..2e89b27 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,10 @@ and this library adheres to Rust's notion of
 
 ## [Unreleased]
 
+### Changed
+
+- `Group::Scalar` is now bound by `ff::Field` instead of `ff::PrimeField`.
+
 ## [0.13.0] - 2022-12-06
 ### Changed
 - Bumped `ff` to `0.13`
diff --git a/src/lib.rs b/src/lib.rs
index 27ed5c9..66bc3a4 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -70,7 +70,7 @@ pub trait Group:
     + ScalarMulOwned<<Self as Group>::Scalar>
 {
     /// Scalars modulo the order of this group's scalar field.
-    type Scalar: PrimeField;
+    type Scalar: Field;
 
     /// Returns an element chosen uniformly at random from the non-identity elements of
     /// this group.