From fe109fb354c7ddbc511ff96d27a8d13bf390ff52 Mon Sep 17 00:00:00 2001 From: Conrado Gouvea Date: Fri, 14 Apr 2023 14:28:55 -0300 Subject: [PATCH] fix batch equation --- src/batch.rs | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/batch.rs b/src/batch.rs index 4f56dd3..8b7eeef 100644 --- a/src/batch.rs +++ b/src/batch.rs @@ -92,13 +92,10 @@ impl Verifier { /// /// The batch verification equation is: /// - /// h_G * -[sum(z_i * s_i)]P_G + sum(\[z_i\]R_i + [z_i * c_i]VK_i) = 0_G + /// h_G * ( -[sum(z_i * s_i)]P_G + sum(\[z_i\]R_i) + sum([z_i * c_i]VK_i) ) = 0_G /// - /// which we split out into: - /// - /// h_G * -[sum(z_i * s_i)]P_G + sum(\[z_i\]R_i) + sum([z_i * c_i]VK_i) = 0_G - /// - /// so that we can use multiscalar multiplication speedups. + /// as given in https://zips.z.cash/protocol/protocol.pdf#reddsabatchvalidate + /// (the terms are split out so that we can use multiscalar multiplication speedups). /// /// where for each signature i, /// - VK_i is the verification key;