From cae9715a8e1986269023501d0a638f1014500275 Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Fri, 27 Jul 2018 10:37:26 -0600
Subject: [PATCH] Change signature verification equation to permit batch
 verification.

---
 src/redjubjub.rs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/redjubjub.rs b/src/redjubjub.rs
index d6604e9..82eeee5 100644
--- a/src/redjubjub.rs
+++ b/src/redjubjub.rs
@@ -145,8 +145,11 @@ impl<E: JubjubEngine> PublicKey<E> {
             Ok(s) => s,
             Err(_) => return false,
         };
-        // S . P_G = R + c . vk
-        self.0.mul(c, params).add(&r, params) == params.generator(p_g).mul(s, params).into()
+        // 0 = 8(-S . P_G + R + c . vk)
+        self.0.mul(c, params).add(&r, params).add(
+            &params.generator(p_g).mul(s, params).negate().into(),
+            params
+        ).mul_by_cofactor(params).eq(&Point::zero())
     }
 }