Skip to content

Commit

Permalink
A typo fixed
Browse files Browse the repository at this point in the history
  • Loading branch information
swasilyev committed Feb 3, 2020
1 parent 5837f9c commit 0338019
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/groth16/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -662,9 +662,9 @@ impl<E: Engine> ExtendedParameters<E> {

// 5
// z (aka t in Groth16/bellman) is the vanishing polynomial of the domain. In our case z = x^m - 1
let mut z = self.gm.into_projective();
let p = self.taus_g1[0].into_projective();
z.sub_assign(&p);
let mut z = self.taum_g1.into_projective();
let g1 = self.taus_g1[0].into_projective();
z.sub_assign(&g1);
for (hi, tau_i_g2) in self.params.h.iter().zip(self.taus_g2.iter()) {
if E::pairing(hi.clone(), self.params.vk.delta_g2) != E::pairing(z, tau_i_g2.clone()) {
return Err(SynthesisError::MalformedCrs);
Expand Down

0 comments on commit 0338019

Please sign in to comment.