Merge pull request #318 from 0xPolygonHermez/buildsetup-v7.0.0-rc30

buildsetup-v7.0.0-rc30 verifiers for forks 10 and 11
0xPolygonHermez · Sep 4, 2024 · a5f5c39 · a5f5c39
2 parents a5eacc6 + 1f2b2fa
commit a5f5c39
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/contracts/verifiers/FflonkVerifier_10.sol b/contracts/verifiers/FflonkVerifier_10.sol
@@ -48,8 +48,8 @@ contract FflonkVerifier_10 {
     uint256 constant w8_7 = 8613538655231327379234925296132678673308827349856085326283699237864372525723;
 
     // Verifier preprocessed input C_0(x)·[1]_1
-    uint256 constant C0x  = 1994511655043659082795852683195380325378879257059488547998206007926469246776;
-    uint256 constant C0y  = 21654483303940956161215913593419782322836269247276039101149437960660654437463;
+    uint256 constant C0x  = 11210367295020917257703235313889457022168952188583021305208665558514331769248;
+    uint256 constant C0y  = 17059301660817115093380673187280876999008701101209472326054844504600568092098;
 
     // Verifier preprocessed input x·[1]_2
     uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;
@@ -1241,4 +1241,4 @@ contract FflonkVerifier_10 {
             return(0, 0x20)
         }
     }
-}
+}
diff --git a/contracts/verifiers/FflonkVerifier_11.sol b/contracts/verifiers/FflonkVerifier_11.sol
@@ -48,8 +48,8 @@ contract FflonkVerifier_11 {
     uint256 constant w8_7 = 8613538655231327379234925296132678673308827349856085326283699237864372525723;
 
     // Verifier preprocessed input C_0(x)·[1]_1
-    uint256 constant C0x  = 11553294103217785023516748419184161960688215767988858039368256322332861589771;
-    uint256 constant C0y  = 10092895974211559972859178879634538990964607545177723538837209775275130760109;
+    uint256 constant C0x  = 5025437015266224703663153706990323429998172899911094409768560315505934222779;
+    uint256 constant C0y  = 16237221832599777269427415426993243095357146403844115525422788241385670511064;
 
     // Verifier preprocessed input x·[1]_2
     uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;
@@ -1241,4 +1241,4 @@ contract FflonkVerifier_11 {
             return(0, 0x20)
         }
     }
-}
+}