M src/mod65537.rs → src/mod65537.rs

@@ -19,8 +19,6 @@ use crate::schnorr::{SchnorrPublicKey, SchnorrSignature};
 
 type GoldF = GoldilocksField;
 
-
-
 #[derive(Debug, Default)]
 pub struct Mod65537Generator {
     a: Target,

M src/schnorr_prover.rs → src/schnorr_prover.rs

@@ -78,8 +78,30 @@ }
 
 pub struct SchnorrBuilder {}
 
-impl SchnorrBuilder {
-    pub fn constrain_sig <
+pub trait SignatureVerifierBuilder {
+    fn constrain_sig <
+        C: GenericConfig<2, F = GoldF>,
+    > (
+        &self,
+        builder: &mut CircuitBuilder::<GoldF, 2>,
+        sig: &SchnorrSignatureTarget,
+        msg: &MessageTarget,
+        pk: &SchnorrPublicKeyTarget,
+    );
+
+    fn verify_sig <
+        C: GenericConfig<2, F = GoldF>,
+    > (
+        &self,
+        builder: &mut CircuitBuilder::<GoldF, 2>,
+        sig: &SchnorrSignatureTarget,
+        msg: &MessageTarget,
+        pk: &SchnorrPublicKeyTarget,
+    ) -> BoolTarget;
+}
+
+impl SignatureVerifierBuilder for SchnorrBuilder {
+    fn constrain_sig <
         C: GenericConfig<2, F = GoldF>,
     > (
         &self,
@@ -93,7 +115,7 @@ let true_target = builder._true();
         builder.connect(verification_output.target, true_target.target);
     }
 
-    pub fn verify_sig <
+    fn verify_sig <
         C: GenericConfig<2, F = GoldF>,
     > (
         &self,