contracts: update verifier

zkemail · Jul 15, 2024 · 003a0e3 · 003a0e3
1 parent 7fe3a92
commit 003a0e3
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 20 deletions.
diff --git a/packages/contracts/src/Verifier.sol b/packages/contracts/src/Verifier.sol
@@ -195,31 +195,31 @@ contract Verifier {
              8495653923123431417604973247489272438418190587263600148770280649306958101930]
         );
         vk.delta2 = Pairing.G2Point(
-            [12801844173314737712855075724751226269170276774110494903994492033916678579591,
-             19602074550353136165668843143964109928251244869837760452861906555740700809088],
-            [14899992366828264401977223993348832601835468762571329154470248133908699649869,
-             3726062273236029455734853209407743845226441760859831333115946800581153925879]
+            [21130802517650493837556601119717873290293522594709681355040765979027122599637,
+             17230161825435877830564363164193591424887211499837345257708258062660554857691],
+            [425264893407294420298463742599478455116250808169306368406237337940535665938,
+             16653749341127206046895108027093313840543422187379667108090563003248696762314]
         );
         vk.IC = new Pairing.G1Point[](4);
 
         vk.IC[0] = Pairing.G1Point( 
-            13455031991578888733674312423967185601946065645222957382145186994616611244362,
-            14050030878011228297368009518321338442347619972518515173925378569459442994011
+            464672216472717123175377621582035874032903571141497045787672358740099702636,
+            20700013873146247057744585053994320915957604504495190567552889970740327423450
         );                                      
 
         vk.IC[1] = Pairing.G1Point( 
-            17413305859812487897886068173955193240718176224001852027948255829721305653639,
-            20501940977432443854287668104189155029974249999233988371475203832572003103923
+            13824374510819511408860558084354215108767589941171681109671363643434597826875,
+            15893411466783354082371940868796318103641892426261514820087952808965898692618
         );                                      
 
         vk.IC[2] = Pairing.G1Point( 
-            16478835329297149904466221463850128581969676144765895448709484660840830338291,
-            18378280162143562209519402347714766029351163075742403485652069083748853436468
+            10354183383754243095032574416437126834039711592942176439470816356391149733442,
+            8280441816900579725617590923875608072852937903891725502052259255852267454502
         );                                      
 
         vk.IC[3] = Pairing.G1Point( 
-            9167194412515699354423101347633274318437697317154678611069229798965044490452,
-            14219742127910100142812096423691693747338448854474336725819074409505103543838
+            5120551512096972305685873367094652128645340059150503559752829122995980189160,
+            11532774489310909699279135714435020872521488641996532910371632179306654530330
         );                                      
 
     }

diff --git a/packages/contracts/test/TestTwitter.t.sol b/packages/contracts/test/TestTwitter.t.sol
@@ -99,23 +99,23 @@ contract TwitterUtilsTest is Test {
         publicSignals[2] = 1163446621798851219159656704542204983322218017645;
 
         uint256[2] memory proof_a = [
-            5464776703305654599463107750229642425835047262135894679896060436715983430593,
-            5343881914407666365479296855790372892771153099852174555294349066160572667643
+            3640944474395694725997243759485841281957193312051963127476944002118802846846,
+            12944550183026778008163990773063308425923478727963224679176331024763573701239
         ];
         // Note: you need to swap the order of the two elements in each subarray
         uint256[2][2] memory proof_b = [
             [
-                18960817493995505521800864749213846481323862590592368798530939271266086975714,
-                21628029239670996901224636636213044462235179582655242723970707925329820698332
+                10523456350415273945424632760608655383131363971581062129080466479508555080398,
+                331197707211751801275197709958580935302689167865628614323553219143124201916
             ],
             [
-                8932749820597437893017604937113588431911721882651118041430701148376560056288,
-                19292339634583302571593836463470316707768217414155407047898261610632456709480
+                1972650478757937359418230607673029701916211913722571079758270763366511464829,
+                4348920096466422800547725696424734715037604091150017141469126675576995757268
             ]
         ];
         uint256[2] memory proof_c = [
-            8426251610603438167817836406934609251043255562650857438964286976617188901017,
-            11511573212105357239117215177425930654812817647594216065372129399126597471321
+            300422780809443960202464842492214800226895503246789474221004192156031237272,
+            10211818721022453551274836034175178964506392482691605135120369518092025537245
         ];
 
         uint256[8] memory proof = [