update verifier for v8.0.0-rc.1-fork.12

0xPolygonHermez · Aug 8, 2024 · a9b4f74 · a9b4f74
1 parent 1eeaff6
commit a9b4f74
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/contracts/verifiers/FflonkVerifier.sol b/contracts/verifiers/FflonkVerifier.sol
@@ -48,8 +48,8 @@ contract FflonkVerifier {
     uint256 constant w8_7 = 8613538655231327379234925296132678673308827349856085326283699237864372525723;
 
     // Verifier preprocessed input C_0(x)·[1]_1
-    uint256 constant C0x  = 19531210301294568511992648735135291982401633864004026433715722115099857739632;
-    uint256 constant C0y  = 16913517370715546973488219367119174715262034757907912789481968159710930517904;
+    uint256 constant C0x  = 2779588112786492848374829425994764330294277713929131112634166343147133717055;
+    uint256 constant C0y  = 2244158127153384935780249538724435798754235951762177235322137028555535138109;
 
     // Verifier preprocessed input x·[1]_2
     uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;