From 471db6ab27cca71ba372f579fc3f8046e07e8343 Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Sun, 12 Nov 2017 16:19:08 -0700
Subject: [PATCH] Enforce that Fr of Engine is the scalar for curve points, for
 simpler downstream abstractions.

---
 src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index c6d5536..18cc288 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -97,7 +97,7 @@ pub trait CurveProjective: PartialEq +
                            rand::Rand +
                            'static
 {
-    type Engine: Engine;
+    type Engine: Engine<Fr=Self::Scalar>;
     type Scalar: PrimeField;
     type Base: SqrtField;
     type Affine: CurveAffine<Projective=Self, Scalar=Self::Scalar>;
@@ -166,7 +166,7 @@ pub trait CurveAffine: Copy +
                        Eq +
                        'static
 {
-    type Engine: Engine;
+    type Engine: Engine<Fr=Self::Scalar>;
     type Scalar: PrimeField;
     type Base: SqrtField;
     type Projective: CurveProjective<Affine=Self, Scalar=Self::Scalar>;