From 373b2583f4022f19e44e34a11e0545c98c38b22f Mon Sep 17 00:00:00 2001
From: devopsbo3 <69951731+devopsbo3@users.noreply.github.com>
Date: Fri, 10 Nov 2023 12:27:53 -0600
Subject: [PATCH] Revert "tests/fuzzers/bn256: add PairingCheck fuzzer
 (#27252)"

This reverts commit 625cbea86bef532a9471b606e7c1b2727669e6a5.
---
 tests/fuzzers/bn256/bn256_fuzz.go | 21 ++-------------------
 1 file changed, 2 insertions(+), 19 deletions(-)

diff --git a/tests/fuzzers/bn256/bn256_fuzz.go b/tests/fuzzers/bn256/bn256_fuzz.go
index abf1b88615..1ce20571fc 100644
--- a/tests/fuzzers/bn256/bn256_fuzz.go
+++ b/tests/fuzzers/bn256/bn256_fuzz.go
@@ -156,29 +156,12 @@ func FuzzPair(data []byte) int {
 	if !bytes.Equal(clPair, gPair) {
 		panic("pairing mismatch: cloudflare/google")
 	}
+
 	cPair, err := bn254.Pair([]bn254.G1Affine{*ps}, []bn254.G2Affine{*ts})
 	if err != nil {
 		panic(fmt.Sprintf("gnark/bn254 encountered error: %v", err))
 	}
-
-	// gnark uses a different pairing algorithm which might produce
-	// different but also correct outputs, we need to scale the output by s
-
-	u, _ := new(big.Int).SetString("0x44e992b44a6909f1", 0)
-	u_exp2 := new(big.Int).Exp(u, big.NewInt(2), nil)   // u^2
-	u_6_exp2 := new(big.Int).Mul(big.NewInt(6), u_exp2) // 6*u^2
-	u_3 := new(big.Int).Mul(big.NewInt(3), u)           // 3*u
-	inner := u_6_exp2.Add(u_6_exp2, u_3)                // 6*u^2 + 3*u
-	inner.Add(inner, big.NewInt(1))                     // 6*u^2 + 3*u + 1
-	u_2 := new(big.Int).Mul(big.NewInt(2), u)           // 2*u
-	s := u_2.Mul(u_2, inner)                            // 2*u(6*u^2 + 3*u + 1)
-
-	gRes := new(bn254.GT)
-	if err := gRes.SetBytes(clPair); err != nil {
-		panic(err)
-	}
-	gRes = gRes.Exp(*gRes, s)
-	if !bytes.Equal(cPair.Marshal(), gRes.Marshal()) {
+	if !bytes.Equal(clPair, cPair.Marshal()) {
 		panic("pairing mismatch: cloudflare/gnark")
 	}