From 910bebeeaf7a8cfbf42c8ff2cd79700aa0c827ce Mon Sep 17 00:00:00 2001
From: Brian Lawrence <tideofwords@gmail.com>
Date: Mon, 30 Sep 2024 11:44:28 -0700
Subject: [PATCH] constrain_sig() implemented, still have to test

---
 src/schnorr_prover.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/schnorr_prover.rs b/src/schnorr_prover.rs
index 8178415..64e6493 100644
--- a/src/schnorr_prover.rs
+++ b/src/schnorr_prover.rs
@@ -182,10 +182,12 @@ impl SchnorrBuilder {
         let hash_input: Vec<Target> = std::iter::once(r)
             .chain(msg.msg.iter().cloned()) 
             .collect();
-        let e: Target = builder.hash_n_to_hash_no_pad::<PoseidonHash>(
+        let hash_output: Target = builder.hash_n_to_hash_no_pad::<PoseidonHash>(
             hash_input,
         ).elements[0]; // whoops have to take mod group order;
 
+        let e: Target = Self::mod_65537(builder, hash_output);
+
         // enforce equality
         builder.connect(e, sig.e);
     }