From 72e9341a47d6839d6d6bbf3053520008ee781b7a Mon Sep 17 00:00:00 2001
From: zkronos73 <zkronos73@gmail.com>
Date: Mon, 11 Nov 2024 17:09:15 +0000
Subject: [PATCH] update verifier v9.0.0-rc.2-fork.13 generated by buildsetup

---
 contracts/verifiers/FflonkVerifier_13.sol | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contracts/verifiers/FflonkVerifier_13.sol b/contracts/verifiers/FflonkVerifier_13.sol
index 86dbbb51..0dd76994 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  = 10793324393126476763858780718994931264993935348103979811910338345857941494038;
-    uint256 constant C0y  = 1099776137079994826569742857011833181846347682252276756226396703533397623501;
+    uint256 constant C0x  = 10017108551489647455026268659805907430436388176713498637882582623924087064641;
+    uint256 constant C0y  = 18228367011972627132170393158522411727175026267101233013731878210191697552477;
 
     // Verifier preprocessed input x·[1]_2
     uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;