Update verifier

zkemail · Sep 5, 2024 · 0d43327 · 0d43327
1 parent bb30ba8
commit 0d43327
Showing 1 changed file with 74 additions and 74 deletions.
diff --git a/packages/contracts/src/utils/Groth16Verifier.sol b/packages/contracts/src/utils/Groth16Verifier.sol
@@ -37,116 +37,116 @@ contract Groth16Verifier {
     uint256 constant gammax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
     uint256 constant gammay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
     uint256 constant gammay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
-    uint256 constant deltax1 = 5983171936290598320468573252325674101461843419080005031855669286227012752780;
-    uint256 constant deltax2 = 1616455936629881600780635131538431340402214347410274036558904480101243863530;
-    uint256 constant deltay1 = 9037252648222713797878892810594666985531718121194247950539166049921289703377;
-    uint256 constant deltay2 = 4699310388290815395355402566889302076410660474117673026312898239630925876457;
+    uint256 constant deltax1 = 15319578088144148433870292454392579210531397678084258888038350512286180645447;
+    uint256 constant deltax2 = 1086199161593118582719091177042876064789126336461297231728792628701689859806;
+    uint256 constant deltay1 = 4446519589909698948619442693220675737896467901545229603388595770900353019149;
+    uint256 constant deltay2 = 8139820593384559533426709059696820531467462438480254791000622464992960199684;
 
 
-    uint256 constant IC0x = 9407504511932189814268448314538774648371854112366535174254096666136289432606;
-    uint256 constant IC0y = 15773065854173729956819269320998414222835809639884295417478172220201303820957;
+    uint256 constant IC0x = 13986287304781811629818135937460078168318260622373795543277096066372223143543;
+    uint256 constant IC0y = 15894331243762149015069486145475096510770522826153695662065578862511865498937;
 
-    uint256 constant IC1x = 6985539070039880864246447255250706177458015106391535312469654198765095854750;
-    uint256 constant IC1y = 17062998596362777191471256370674214039456402764096613453821944763125567045775;
+    uint256 constant IC1x = 6657352747838160193290269178909503517423918732593479650799343149184802404227;
+    uint256 constant IC1y = 17531545371284544846757265261390554928852673143570772606416106283932089249579;
 
-    uint256 constant IC2x = 19020341649247103618498582723726196065342309425040135678683839486438658162869;
-    uint256 constant IC2y = 4315741755022855443489090834859807976978244839377166823290334638137245898290;
+    uint256 constant IC2x = 16051798939592501067339450771812211828093389728707303947187369590196641845613;
+    uint256 constant IC2y = 10642771260914469864609917257305668847488863380437098896048772227333105938215;
 
-    uint256 constant IC3x = 17093237132206144833396515187087230091975791842317435926993271691118610931897;
-    uint256 constant IC3y = 15750868566432120528685776084735309574202881351791740624529812527349619577725;
+    uint256 constant IC3x = 11516771157572865390427149046363199727462471754207638386939698647160647244244;
+    uint256 constant IC3y = 17750959699385211687017966515706019664346563638845176389048062816482362876919;
 
-    uint256 constant IC4x = 13668963192470578576893999990888590086737214834397482256848383643618317807541;
-    uint256 constant IC4y = 18005559521174791727165408444506070799039973406207142791359679570694524477841;
+    uint256 constant IC4x = 16585945905928734303656632207622552215825428661762022954125060983592130784974;
+    uint256 constant IC4y = 3229598948329671362480222913836846699152815669479715539731783730018250763823;
 
-    uint256 constant IC5x = 5372919185721494222388657070416026378032695128310922361022445359206235598170;
-    uint256 constant IC5y = 2621530188035105869739299798482359146115888177636651060143465580802716123502;
+    uint256 constant IC5x = 2735854243292750270201823836486550894787960439689214123103674588113028210303;
+    uint256 constant IC5y = 10229313779238541038726274141671860314069645438049912809508167509745776241686;
 
-    uint256 constant IC6x = 11084751343646584076081209232796849106159754893156044955363754389038482370019;
-    uint256 constant IC6y = 15106591532334690338930673204458049555832780313087710096547138551652894762223;
+    uint256 constant IC6x = 14190416281134666159920819160995974222908686549823480648732091214431137294963;
+    uint256 constant IC6y = 9029501137578433593499338927272434967030906660585173877815017333537018567602;
 
-    uint256 constant IC7x = 4920990801447236411260429556114409053740494616743188966151205621295542264384;
-    uint256 constant IC7y = 10430426520261658880825064851011990770541996474881180398173457205006121878768;
+    uint256 constant IC7x = 12170260117675309582350267080302912575028682087359352382893089877455951772473;
+    uint256 constant IC7y = 20464605792252479349840655650760617496046593314952148684746613675335058350942;
 
-    uint256 constant IC8x = 6532583611084152671582069082486887867948037254640192025039838146654454351802;
-    uint256 constant IC8y = 14360599294939330509564714784538832788999443205609015454262244797169105371846;
+    uint256 constant IC8x = 4668263935738216597600035713072363446560555431149535779407481594748353348299;
+    uint256 constant IC8y = 6761669100053229151181201776369124528384949481913373501345799877551671442490;
 
-    uint256 constant IC9x = 16810796098722337783070594152585185309602060412375702111575489536339763727947;
-    uint256 constant IC9y = 764752627817036381554363702242750170958302724638141684584122805043909079907;
+    uint256 constant IC9x = 17613426733350227864491099426537059832375604576663256857363196285633689216670;
+    uint256 constant IC9y = 5805908718695762877817749042508472227770796644334990955096436485320700026010;
 
-    uint256 constant IC10x = 10125177737575906747569338002538395576751535972057983834301861779766066148208;
-    uint256 constant IC10y = 6970008661333487824408933663000294551796839621756485854614195324297219018333;
+    uint256 constant IC10x = 1007270225032823010989311002543641079754257589690234134844035082768426542620;
+    uint256 constant IC10y = 21475642872129196888302396594264201358769263783216674834698667474324214197953;
 
-    uint256 constant IC11x = 19658809891319388234378562226105486873494574154843706893665526511064587042474;
-    uint256 constant IC11y = 20968647530567748674495897824421172870574908231334862366874825075706370276339;
+    uint256 constant IC11x = 15081923087373370787973554347749696256252721214961183946262805192094431665288;
+    uint256 constant IC11y = 16680069154888020053830495566095733479743182649643804408659380808462437769348;
 
-    uint256 constant IC12x = 4409184799956051733665030855133957850434483822694049144490254953358642705573;
-    uint256 constant IC12y = 12984929852881639975968371452038094393021146464589745536931791154801821657929;
+    uint256 constant IC12x = 7353920573820203673864179902327357836943865465363806932276427158533966054007;
+    uint256 constant IC12y = 4906960257966631805968560571985842137400392165080887614941226783003180438368;
 
-    uint256 constant IC13x = 1530996942878614229833837858834208473626185990312513083718837420564320331048;
-    uint256 constant IC13y = 2081180266350822119793835565469642153947751193989583639847436982962899104884;
+    uint256 constant IC13x = 4533862304475638755375693106780349782380565190034231050848543922795764879802;
+    uint256 constant IC13y = 598446044155555715891219562107384479652732465225600288479065093170075495657;
 
-    uint256 constant IC14x = 8364003527206749118437448779069048122896344675136993259752501562699118058279;
-    uint256 constant IC14y = 889246113077499076683468805314145360746122376001415305068171390325583955798;
+    uint256 constant IC14x = 7122480915086391928930945426177923412929688778313549168236076125436940484112;
+    uint256 constant IC14y = 9038961138446510912414783948801197218570794393245280448178371602457294281632;
 
-    uint256 constant IC15x = 13394915715595966016181547936414818788900373961165217401226601581522665920080;
-    uint256 constant IC15y = 8155855328775561868098331039900661809411090888150286180245492962403401570075;
+    uint256 constant IC15x = 6714101981980268884481533101476229027015190942378292707659542820827021193397;
+    uint256 constant IC15y = 11272887771609959733703167827323622301549783063678829277178890525700670890129;
 
-    uint256 constant IC16x = 13986741634841226592604722229438306344508205750311472339079406564221067411184;
-    uint256 constant IC16y = 14432183430290861462669881121377256640018983245707556385641539098991289205295;
+    uint256 constant IC16x = 20437112715761765707147148391773769986470432308919910067302657232573395960162;
+    uint256 constant IC16y = 15321179474484971518132512130588191553678751040283340303685576790320739150657;
 
-    uint256 constant IC17x = 13146649516994383500873381949823458282972644352101461944896694441697516885870;
-    uint256 constant IC17y = 6626556591517742590136340049533891686997215967473542285624397424514993884917;
+    uint256 constant IC17x = 19219092435091423465633523463253249487338506702794487406401643619518191650129;
+    uint256 constant IC17y = 17282626638553680622130806938296519057489422178618812871701640691501519771672;
 
-    uint256 constant IC18x = 3863138173864432435976379779421085725061616541196745642101738469088392364103;
-    uint256 constant IC18y = 19186864428059916687999476093633579831727653436686864583005396291346224080208;
+    uint256 constant IC18x = 16606183112206685785600995921349860405026995817135601022134279364752803469536;
+    uint256 constant IC18y = 16043499772242927375270363061004003839285471350971879635887182974533742603287;
 
-    uint256 constant IC19x = 712213179972584343362585715180921483147732100883413869792840054323870436018;
-    uint256 constant IC19y = 1998151291173062593380872077086944911517247994732787684215653144496747692408;
+    uint256 constant IC19x = 1210707359308302969770163002263119043614552129675869248158635495219906105852;
+    uint256 constant IC19y = 12680511356057658336130187063160473463083334743891046286452211277763548137276;
 
-    uint256 constant IC20x = 7035676731473059138146830721491837995229065590984636598649648413125488540644;
-    uint256 constant IC20y = 9464215783670923114240566797484730597125750559246700741484092524063997513881;
+    uint256 constant IC20x = 11086125674217491500739269827053901222271696690174050254374133368712953243088;
+    uint256 constant IC20y = 6053103800204978405773186514845086084032005357588363656542377416178871564775;
 
-    uint256 constant IC21x = 17278690783927308033883199376692416619045708474390534000294909803708405422302;
-    uint256 constant IC21y = 19543241150022232866193773300982021765625228509861777460835515512598305611998;
+    uint256 constant IC21x = 14748494146527412772741859783064786419256684299339014876234608950795174044510;
+    uint256 constant IC21y = 8712883247211066789641782294202642212131980591356063435892043611448376329402;
 
-    uint256 constant IC22x = 15786210896375988202763217348071534238372755088047066502855666225257589822775;
-    uint256 constant IC22y = 18021507217646811109975974440698447811368843902333494011685710348607650964012;
+    uint256 constant IC22x = 11839379700336717343079420809622942111687375327897345508451774961872673770316;
+    uint256 constant IC22y = 8895701596719783222411291561512126156358240424160295697039536555088618180915;
 
-    uint256 constant IC23x = 8557880797427037022056358139198673284704041903009130353923388385146496678271;
-    uint256 constant IC23y = 11943025907855342792898508809354841282637550314033311771803029634222808962978;
+    uint256 constant IC23x = 18344723580640218566078573334781871542714315793755378650476142891258578517167;
+    uint256 constant IC23y = 6037447496975377303076282689670453476478799098316334507779292520966118416141;
 
-    uint256 constant IC24x = 434882956880457764462677095218714094969599412028432170547289944011015680455;
-    uint256 constant IC24y = 787545158484566995483677268758656557702723403276059228870072845558119269108;
+    uint256 constant IC24x = 1219018687863146079804927794790349811713233524506071692145203043151155579912;
+    uint256 constant IC24y = 12259329329644691804803466046583012104373647543094116751541858451574329049339;
 
-    uint256 constant IC25x = 2494274568955424825630467655615375789297054114686569238313563663939307904691;
-    uint256 constant IC25y = 19300290802955582425474220578591907903066069982997784732901215454321720906331;
+    uint256 constant IC25x = 18616266469772173270024938497854580018451184027620595567381348061717260755876;
+    uint256 constant IC25y = 13657793433977158706390923089623450140219483127718023788044217038622204508743;
 
-    uint256 constant IC26x = 1476038310343413043339540643991768672806157153114615508738409005113798096478;
-    uint256 constant IC26y = 2075947439218796741698866713361228759666422793692929168726821750697833998880;
+    uint256 constant IC26x = 12727423626475319557504848343871689884624000795573098126755145386839939527511;
+    uint256 constant IC26y = 2938262592563768549228983305699572862280081061292424052023446347112367143549;
 
-    uint256 constant IC27x = 15794457602857488456935142363815672782662839841923267551462958755635180231972;
-    uint256 constant IC27y = 1567502763877787532310264574291113969732693029877591200365742671407799354853;
+    uint256 constant IC27x = 21487591408762398705234938070547673395123973173141617628201773263097079121694;
+    uint256 constant IC27y = 12720246748523909661755448585533297402316709697570936404470276522191359637563;
 
-    uint256 constant IC28x = 14711627135954781418604332967780226668688460785666695455298730232883272177580;
-    uint256 constant IC28y = 688902860735296308663596375112540818814309326395007407984677575420629699703;
+    uint256 constant IC28x = 16467178226026300059831605377943086050334723191464668213518101445484504783848;
+    uint256 constant IC28y = 9139131916495414634537516523354727831542697092324217153640571950935058484467;
 
-    uint256 constant IC29x = 7223889022157530761083478401371329501760565191049304117077613704780275104536;
-    uint256 constant IC29y = 10157259099538833030261513540120019273828239497189095920344350575555105836584;
+    uint256 constant IC29x = 11813394657812788297263465566473337219295871229603907247462957762987163286727;
+    uint256 constant IC29y = 2333466569019313289053951330259295038552214976343543633683510156531235807982;
 
-    uint256 constant IC30x = 18014245771005768845623951034410388449578384470998220842310150507763998995893;
-    uint256 constant IC30y = 10423622140666649935345315459661097470993026550474050027341780643486155112518;
+    uint256 constant IC30x = 5758319522107086585563855735449863655068464994393372981823525634565012585161;
+    uint256 constant IC30y = 281303738559625778766939028867621386494750433481191839742375920626126152406;
 
-    uint256 constant IC31x = 14946096144418870058320487212838090411464028758454780589109788312257399810391;
-    uint256 constant IC31y = 4666275353277632194000550402547989557329747163582665370216713082841506033936;
+    uint256 constant IC31x = 10766255441893413771043297335573055973288564739850120191905483233382630740246;
+    uint256 constant IC31y = 8012588191039935342856190453376510257080197619321852273994553617995812833773;
 
-    uint256 constant IC32x = 1804129427254056203909122496898053698386098862729667781976473346837405943014;
-    uint256 constant IC32y = 19912375498638074504909777192983016019550747330596839707484220699476152388906;
+    uint256 constant IC32x = 13740647652203492799542105246627141268848155986372129145815588390071245063824;
+    uint256 constant IC32y = 12989805147963975539185412669782613149167981050611353053030652178298637898321;
 
-    uint256 constant IC33x = 12838150863887638696349596324441663677651806288505222170588608554290627468407;
-    uint256 constant IC33y = 16507526718683075963409619093261884923363313028093855606861396493362871554478;
+    uint256 constant IC33x = 11678473503165871308190682100052535955722167524502187482920769926720343167599;
+    uint256 constant IC33y = 13548393914151182724283386224251830133662331816742832947222699249802146353834;
 
-    uint256 constant IC34x = 20691563457521124502857354111416251576408742472370192178956592971354402750050;
-    uint256 constant IC34y = 15320993618891202294653203554865594152589201242404032415709481693089534118338;
+    uint256 constant IC34x = 20746424191835410865488887203537015077703505567964632145891041247460534632431;
+    uint256 constant IC34y = 14888985375914925013094608784755252069956164909406628467775584250729953169513;
 
 
     // Memory data