Merge pull request #153 from 0xPolygonHermez/feature/F6Verifier

f.6 verifier
0xPolygonHermez · Oct 26, 2023 · ec3cf14 · ec3cf14
2 parents 0d0e69a + cb33702
commit ec3cf14
Show file tree

Hide file tree

Showing 2 changed files with 3 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  = 10330861150616913541207360924312278787207684679419670167996002791305440821704;
-    uint256 constant C0y  = 14244524222232642134204580826860575549922689127759263461569792153452315036880;
+    uint256 constant C0x  = 7436841426934271843999872946312645822871802402068881571108027575346498207286;
+    uint256 constant C0y  = 18448034242258174646222819724328439025708531082946938915005051387020977719791;
 
     // Verifier preprocessed input x·[1]_2
     uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;

diff --git a/hardhat.config.js b/hardhat.config.js
@@ -34,6 +34,7 @@ module.exports = {
                         enabled: true,
                         runs: 999999,
                     },
+                    evmVersion: "shanghai",
                 },
             },
             {