diff --git a/contracts/verifiers/FflonkVerifier.sol b/contracts/verifiers/FflonkVerifier.sol index c765b8971..99f49dff1 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 = 21160666715172434637225720476256763871501363117729999199262494595796582644427; - uint256 constant C0y = 15161784655278302587190494591488856640885304569426835678458555890947087546457; + uint256 constant C0x = 19531210301294568511992648735135291982401633864004026433715722115099857739632; + uint256 constant C0y = 16913517370715546973488219367119174715262034757907912789481968159710930517904; // Verifier preprocessed input x·[1]_2 uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;