update veriified generated with v.4.0.0-rc.5-fork.7

0xPolygonHermez · Jan 25, 2024 · 278e6a8 · 278e6a8
1 parent dec03cc
commit 278e6a8
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  = 13740223412188786024382620276207902995170246026576302003212539499946277391680;
-    uint256 constant C0y  = 5215376971112980485769354596643131749394956291061945857226755788999033966865;
+    uint256 constant C0x  = 1399458405278693375564157845951119219674216315698518301618391005223961674672;
+    uint256 constant C0y  = 4753339552187781629812877887300152778714353139514388879046795575382068591682;
 
     // Verifier preprocessed input x·[1]_2
     uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;