diff --git a/contracts/verifiers/FflonkVerifier_13.sol b/contracts/verifiers/FflonkVerifier_13.sol index 0dd76994..e28041ef 100644 --- a/contracts/verifiers/FflonkVerifier_13.sol +++ b/contracts/verifiers/FflonkVerifier_13.sol @@ -48,8 +48,8 @@ contract FflonkVerifier_13 { uint256 constant w8_7 = 8613538655231327379234925296132678673308827349856085326283699237864372525723; // Verifier preprocessed input C_0(x)·[1]_1 - uint256 constant C0x = 10017108551489647455026268659805907430436388176713498637882582623924087064641; - uint256 constant C0y = 18228367011972627132170393158522411727175026267101233013731878210191697552477; + uint256 constant C0x = 13979175079588675506680419163737534969820328203352260322294459421414714595611; + uint256 constant C0y = 18009742543832671334106659031569207850149449016303412599494859844148229216194; // Verifier preprocessed input x·[1]_2 uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;