diff --git a/contracts/verifiers/FflonkVerifier.sol b/contracts/verifiers/FflonkVerifier.sol index e051af52..5e69dc10 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 = 2779588112786492848374829425994764330294277713929131112634166343147133717055; - uint256 constant C0y = 2244158127153384935780249538724435798754235951762177235322137028555535138109; + uint256 constant C0x = 14108481345212921148996352149587402371241828412155926312706521103747833870705; + uint256 constant C0y = 5431364720504262011685673568202437040741271312846880378221091213893853645141; // Verifier preprocessed input x·[1]_2 uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;