Fix benchmarks

Author: dkaidalov

prover/benches/atms.rs

@@ -72,17 +72,16 @@ impl Circuit<Base> for BenchCircuitAtmsSignature {
                     .iter()
                     .map(|&signature| {
                         if let Some(sig) = signature {
-                            Some(
-                                atms_gate
-                                    .schnorr_gate
-                                    .assign_sig(&mut ctx, &Value::known(sig))
-                                    .ok()?,
-                            )
+                            atms_gate
+                                .schnorr_gate
+                                .assign_sig(&mut ctx, &Value::known(sig))
                         } else {
-                            None
+                            atms_gate
+                                .schnorr_gate
+                                .assign_dummy_sig(&mut ctx)
                         }
                     })
-                    .collect::<Vec<_>>();
+                    .collect::<Result<Vec<_>, Error>>()?;
                 let assigned_pks = self
                     .pks
                     .iter()

prover/src/signatures/schnorr.rs

@@ -138,8 +138,6 @@ impl SchnorrVerifierGate {
 
         let lhs = self.combined_mul(ctx, &signature.1.0, &challenge, &assigned_generator, pk)?;
 
-        //self.ecc_gate.constrain_equal(ctx, &lhs, &signature.0)?;
-
         Ok(self.ecc_gate.is_equal(ctx, &lhs, &signature.0)?)
     }