From 278e6a82b25819ed3fed491805f35aebe47da8d7 Mon Sep 17 00:00:00 2001 From: zkronos73 Date: Mon, 22 Jan 2024 12:05:12 +0000 Subject: [PATCH] update veriified generated with v.4.0.0-rc.5-fork.7 --- contracts/verifiers/FflonkVerifier.sol | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contracts/verifiers/FflonkVerifier.sol b/contracts/verifiers/FflonkVerifier.sol index 10ee75667..adf4e8f0b 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 = 13740223412188786024382620276207902995170246026576302003212539499946277391680; - uint256 constant C0y = 5215376971112980485769354596643131749394956291061945857226755788999033966865; + uint256 constant C0x = 1399458405278693375564157845951119219674216315698518301618391005223961674672; + uint256 constant C0y = 4753339552187781629812877887300152778714353139514388879046795575382068591682; // Verifier preprocessed input x·[1]_2 uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;