Merge branch 'master' into chore/groth16-mpc

Consensys · Dec 20, 2024 · 725db38 · 725db38
2 parents 560d5f0 + 3729f22
commit 725db38
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/std/algebra/emulated/sw_bn254/pairing.go b/std/algebra/emulated/sw_bn254/pairing.go
@@ -753,8 +753,8 @@ func (pr Pairing) millerLoopAndFinalExpResult(P *G1Affine, Q *G2Affine, previous
 	t2 := pr.Ext12.Mul(&cubicNonResiduePower, res)
 
 	t1 := pr.FrobeniusCube(residueWitnessInv)
-	t0 := pr.FrobeniusSquare(residueWitnessInv)
-	t1 = pr.Ext12.DivUnchecked(t1, t0)
+	t0 := pr.FrobeniusSquare(residueWitness)
+	t1 = pr.Ext12.Mul(t1, t0)
 	t0 = pr.Frobenius(residueWitnessInv)
 	t1 = pr.Ext12.Mul(t1, t0)