From cb3370268ebd211cfa06f46d1e40420ece64d8d2 Mon Sep 17 00:00:00 2001 From: invocamanman Date: Fri, 20 Oct 2023 11:25:04 +0200 Subject: [PATCH] f.6 verifier --- contracts/verifiers/FflonkVerifier.sol | 4 ++-- hardhat.config.js | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/contracts/verifiers/FflonkVerifier.sol b/contracts/verifiers/FflonkVerifier.sol index 60b467526..6945c6475 100644 --- 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 index 141102b1e..a7fe4b458 100644 --- a/hardhat.config.js +++ b/hardhat.config.js @@ -34,6 +34,7 @@ module.exports = { enabled: true, runs: 999999, }, + evmVersion: "shanghai", }, }, {