@lfdecentralizedtrust/zeto-contracts 0.2.1 → 0.5.0

package/contracts/verifiers/verifier_anon_enc_nullifier_non_repudiation_batch.sol

@@ -1,1141 +1,36 @@
-// SPDX-License-Identifier: GPL-3.0
-/*
-    Copyright 2021 0KIMS association.
-
-    This file is generated with [snarkJS](https://github.com/iden3/snarkjs).
-
-    snarkJS is a free software: you can redistribute it and/or modify it
-    under the terms of the GNU General Public License as published by
-    the Free Software Foundation, either version 3 of the License, or
-    (at your option) any later version.
-
-    snarkJS is distributed in the hope that it will be useful, but WITHOUT
-    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-    or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
-    License for more details.
-
-    You should have received a copy of the GNU General Public License
-    along with snarkJS. If not, see <https://www.gnu.org/licenses/>.
-*/
+// Copyright © 2025 Kaleido, Inc.
+//
+// SPDX-License-Identifier: Apache-2.0
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
 
 pragma solidity >=0.7.0 <0.9.0;
 
-contract Groth16Verifier_AnonEncNullifierNonRepudiationBatch {
-    // Scalar field size
-    uint256 constant r    = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
-    // Base field size
-    uint256 constant q   = 21888242871839275222246405745257275088696311157297823662689037894645226208583;
-
-    // Verification Key data
-    uint256 constant alphax  = 20491192805390485299153009773594534940189261866228447918068658471970481763042;
-    uint256 constant alphay  = 9383485363053290200918347156157836566562967994039712273449902621266178545958;
-    uint256 constant betax1  = 4252822878758300859123897981450591353533073413197771768651442665752259397132;
-    uint256 constant betax2  = 6375614351688725206403948262868962793625744043794305715222011528459656738731;
-    uint256 constant betay1  = 21847035105528745403288232691147584728191162732299865338377159692350059136679;
-    uint256 constant betay2  = 10505242626370262277552901082094356697409835680220590971873171140371331206856;
-    uint256 constant gammax1 = 11559732032986387107991004021392285783925812861821192530917403151452391805634;
-    uint256 constant gammax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
-    uint256 constant gammay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
-    uint256 constant gammay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
-    uint256 constant deltax1 = 11559732032986387107991004021392285783925812861821192530917403151452391805634;
-    uint256 constant deltax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
-    uint256 constant deltay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
-    uint256 constant deltay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
-
-    
-    uint256 constant IC0x = 17004710998787692895141995007791132837397521043406533491825207254699319516393;
-    uint256 constant IC0y = 19443930068554541278240992992524372163044558446869371355626769348299687283023;
-    
-    uint256 constant IC1x = 12644791823005552312484569676002853121394596480614902005873159773796566913952;
-    uint256 constant IC1y = 16080351311794398930855576364719314167314565159201995754077505896617537733452;
-    
-    uint256 constant IC2x = 9204178974689668034974177112731688914393378444826183609215352420599649463947;
-    uint256 constant IC2y = 13975830875093833859872130522255399444436090376948721388021342187976094499730;
-    
-    uint256 constant IC3x = 14699375122755705490322632556133106933018377509549550177757296462538746985791;
-    uint256 constant IC3y = 18747311648779769609715737555847941183763758869801157300132574588891242597811;
-    
-    uint256 constant IC4x = 3661382345004677211499943503405034934038619275398190938039846082151946866143;
-    uint256 constant IC4y = 14754568768299674034753952495651353882129874910157166178927380221300468227996;
-    
-    uint256 constant IC5x = 18799199101527307264470128742130180258742870137118077921898253948545347428759;
-    uint256 constant IC5y = 13139184403460289660015249360372501273428393962085410358912725805183699568070;
-    
-    uint256 constant IC6x = 18003199774097870701652698062913422309374844639382181020086725411915002177637;
-    uint256 constant IC6y = 4572029171002634785273838157642262942146676853961186777505871231004463336121;
-    
-    uint256 constant IC7x = 16195131183661772986232225725686821520464503546826608211822747391196290252477;
-    uint256 constant IC7y = 21704804964203796861805367487023901515457876175213897636291993929543049136230;
-    
-    uint256 constant IC8x = 5841493948654323602240321945690771590057121871715707671485462787133117082117;
-    uint256 constant IC8y = 9930533150877389879191931764948468023377108782366767529450923341183536225170;
-    
-    uint256 constant IC9x = 3280586909653845433985104911210866104984119362349289132754080829418792256016;
-    uint256 constant IC9y = 6882544290302286752519523731858759910914698829801992919885687164378672268680;
-    
-    uint256 constant IC10x = 1919346777365953081348752440590911932867391616169237784169692782908910893940;
-    uint256 constant IC10y = 18925401648120361653172774150133988298066338499291171432598590525775217314607;
-    
-    uint256 constant IC11x = 9533639839097081135131859694367176973632871263171070553291766638499080282219;
-    uint256 constant IC11y = 5116317517222710773822406487738426011404698506119195085390610092530909375018;
-    
-    uint256 constant IC12x = 12754601945335106330124691823763406350227593530246982805818689872291675700731;
-    uint256 constant IC12y = 4166692748465056440554887507932872559324934660244024569528912916976383095302;
-    
-    uint256 constant IC13x = 5499347962001359320210731599664920681581852467882296791977192959632698070458;
-    uint256 constant IC13y = 7743525801805173771647419841405324558261457987295331708038115034961444820852;
-    
-    uint256 constant IC14x = 6856172316621233297219258171848596767906705855320341401839690751966676600475;
-    uint256 constant IC14y = 17965759961851263177536808056427336706252615595135976027979618271367565845636;
-    
-    uint256 constant IC15x = 9420354103520547768925698762084454876136289655851954355602414680104567815766;
-    uint256 constant IC15y = 16378879634372294000624118585678455387253344239227122981953708476887009709628;
-    
-    uint256 constant IC16x = 8227872461755024741109809138865927533003518374890578513214500489847134359518;
-    uint256 constant IC16y = 17789224606029004356650510532164343965629343288926266506702273378366847197123;
-    
-    uint256 constant IC17x = 11499541812851308232579564591833133453156884086682841692698575154860821094222;
-    uint256 constant IC17y = 20265646733776818249216338268785193093181877185172492156169163490777454080738;
-    
-    uint256 constant IC18x = 16157509718022148588157235149816893978563347275127132149324258419767082259289;
-    uint256 constant IC18y = 9108626779287107397043157951216314026579358161903660804896041551472291353833;
-    
-    uint256 constant IC19x = 9529458114220791613795435803754667781094217989700491166637603138055331360305;
-    uint256 constant IC19y = 18791730642122500027379947955949131082049067831595910181844046864253989852850;
-    
-    uint256 constant IC20x = 3464649547150582251169355675881528866313831967930871809082750471582929295312;
-    uint256 constant IC20y = 16772982890037559912336478307061854685749702368539633231875156309346195054185;
-    
-    uint256 constant IC21x = 16849746108367973182511157841540001731266218109759367740422821952061647420785;
-    uint256 constant IC21y = 10034363433744779268583136065689266303478016588807937559608616046649948232082;
-    
-    uint256 constant IC22x = 5171212517137325205762484572444537315475041888668430484268858033612649206341;
-    uint256 constant IC22y = 21338424479025043453237144030653716166701555210841979863064714608949346569764;
-    
-    uint256 constant IC23x = 17757009025695601729703036499565638624395877834521982899697065023859462113202;
-    uint256 constant IC23y = 15481176002462283563223667822685505002361430061132153841329189059924691729279;
-    
-    uint256 constant IC24x = 16628408331864862689957680812784092048786523721591168965220597146371110758628;
-    uint256 constant IC24y = 5859839116881858068054839639819481693024779537478674691957849563945183971159;
-    
-    uint256 constant IC25x = 8096085339388685569595985907191779746855321867318951712611638386988853386625;
-    uint256 constant IC25y = 16954448077204813061809270723495173760811940435130455096438200016775541284476;
-    
-    uint256 constant IC26x = 13133697484443245765208633135421432634449626917494206955985455651906528546344;
-    uint256 constant IC26y = 7821879285112222143651640316804041429703977652327908397565342835888174013699;
-    
-    uint256 constant IC27x = 1703155640348449943602064575925378391125305011228500774292354571109448096553;
-    uint256 constant IC27y = 7565281134779133897282596275740027420287603982625649296207673228459385924016;
-    
-    uint256 constant IC28x = 10868088498840975403081291051973677578589006238821068983693396223648050784692;
-    uint256 constant IC28y = 20698872866344058555279780862770750925625605641139717244984753636760891293394;
-    
-    uint256 constant IC29x = 12857235282964230634010039261459204653568646443446570768300504446035244667646;
-    uint256 constant IC29y = 6821604888169458755769369532466564169751629173403975016035481361516210372475;
-    
-    uint256 constant IC30x = 12065060227862213850176826074523964002493779379112177939497535983490345217087;
-    uint256 constant IC30y = 9382960778244421090249616987638419714853332807295487963318479775465836219343;
-    
-    uint256 constant IC31x = 6835404923719899074809239068752731658790711070282442203383572742005332382616;
-    uint256 constant IC31y = 6469840624735948327748782468544468321911256537859355699901262809099076557655;
-    
-    uint256 constant IC32x = 1660498325308964591671128727956913544161382367163164818539352069316160957986;
-    uint256 constant IC32y = 15401272854924062989670157053872643697868446741902111515341639254753088719376;
-    
-    uint256 constant IC33x = 12885834127091721785761484363134169583544368174964763323772266263886505634706;
-    uint256 constant IC33y = 8107863501519735416366350576950163874023274200295843769352043344222084584514;
-    
-    uint256 constant IC34x = 7193667623869058445345979644276798397719183806470082147099385620593508102315;
-    uint256 constant IC34y = 8813202531262673455068949863298485017715610058267610670821825425115132420126;
-    
-    uint256 constant IC35x = 21761715976747114532878663721632424412765149233561804552471310414379664762034;
-    uint256 constant IC35y = 18453367649471025427888229551681570747059101038021374987236999098182157768469;
-    
-    uint256 constant IC36x = 19879325251879788881648852917309932980876136240463433778446397718794620540691;
-    uint256 constant IC36y = 2207541373054987130073938030305630284984158674466431894380839263504556009656;
-    
-    uint256 constant IC37x = 2088552796725696691669916509795827766236760274801411740103373896751611429665;
-    uint256 constant IC37y = 13222402822805849237644301289160459591112921588273868159382963955202540348453;
-    
-    uint256 constant IC38x = 12199921497956013566788216787072759421373343287060440113029537464584728128178;
-    uint256 constant IC38y = 13599067646911342352704114782502811463612578507980811598346505502323180823892;
-    
-    uint256 constant IC39x = 18263406944012624641169252023830825494800570914052433828853189171288096143064;
-    uint256 constant IC39y = 3446229818040417300183223800271278004808745832966064436318886859064729349151;
-    
-    uint256 constant IC40x = 9378703356983679612050395977716535408244501977399233470577569256730724824672;
-    uint256 constant IC40y = 16390137425093319022556837861264107254471896599138033799127532878698577930389;
-    
-    uint256 constant IC41x = 13075523473947256157541787905905661591910590402897931747186896826052308724021;
-    uint256 constant IC41y = 5347920294122512982141473974107257675634717938536292359789441448949653088299;
-    
-    uint256 constant IC42x = 9877452265076319604010011553207494579521085551741875327630072831063403314103;
-    uint256 constant IC42y = 752036670047645504276785641741823851600790629602839155163950134774999571784;
-    
-    uint256 constant IC43x = 12029377972625604867128328901606538885067073803591960119894887366930009954163;
-    uint256 constant IC43y = 18805919667207369457374276357624550567677464082148661876502158386463341143349;
-    
-    uint256 constant IC44x = 5080276144448588972264011814017915476635034329555841780753349972439646406270;
-    uint256 constant IC44y = 2390054213005766794416468526630567663057868253315067882705614507446638613279;
-    
-    uint256 constant IC45x = 4837024129369818808452789317797277479930117505329994539806476968312542383393;
-    uint256 constant IC45y = 13610084790753075229346444441828648717484159393906872630024282346204216868406;
-    
-    uint256 constant IC46x = 19800910351015844299389709721130066568774698349141744525984870622632237776888;
-    uint256 constant IC46y = 19284850612812767523817696439793080750525311499272753608566644924786882871553;
-    
-    uint256 constant IC47x = 15623248067062580992126708391381707769483411651503081282513719686078904404582;
-    uint256 constant IC47y = 19949881375577590988479328105903016153633629131303853425298510739832888760655;
-    
-    uint256 constant IC48x = 17315551947303506662045887658329845876846525554151999078798859301614754534480;
-    uint256 constant IC48y = 12635514650685197651795986251908636278331168967749076799619387332004284308574;
-    
-    uint256 constant IC49x = 16052280355623817282251252544298661101744172558244392841204902028441117825228;
-    uint256 constant IC49y = 3042930551993420262234584332814758071281003375739125896503574604852952250633;
-    
-    uint256 constant IC50x = 19921325413412046210121618168872630945913922106945248326243825959121024934676;
-    uint256 constant IC50y = 9598931709322621625637566595133549133221769050669047790505735666073763253475;
-    
-    uint256 constant IC51x = 15378656604463394202196800847105793215715964220370669709860741788291010266458;
-    uint256 constant IC51y = 47958853995641643651903453065830601492500545554761651103580985412076314241;
-    
-    uint256 constant IC52x = 1110291490429041131630442372508609830565768982088189279455220963652846269988;
-    uint256 constant IC52y = 13300207653876223652637075631109279477878071277422450991948844861061015861442;
-    
-    uint256 constant IC53x = 16949192672369286450338596479143270548543897587644072045144114060183802540961;
-    uint256 constant IC53y = 12092965493987764308518960354927282856875280810273642747932599365525858879946;
-    
-    uint256 constant IC54x = 19782149321965902477644957735137072156112985063345677129027403116608490973343;
-    uint256 constant IC54y = 21541799792684777816359471007683948046230155408086635909131236867136451919093;
-    
-    uint256 constant IC55x = 6242011278573169344682158284524441851273064505960152972051533180547036973428;
-    uint256 constant IC55y = 10449005480994888053273564772601372782559748049871973472322437202511503831065;
-    
-    uint256 constant IC56x = 12897778013988561781128216287980759952891339156464264096540285447923620321244;
-    uint256 constant IC56y = 13229214310285642375812627997146674438453288738145381322671274567485173483327;
-    
-    uint256 constant IC57x = 17450427901170218226921789569366137510626325539438622297492770795765340619137;
-    uint256 constant IC57y = 385551387885369724094484022807535742280669923262457831365783555665030742500;
-    
-    uint256 constant IC58x = 10837546839496615991732865799762708966711318626674992050937051354806913452301;
-    uint256 constant IC58y = 2527358787034935965124994184168037562231522835078034668349282842853156758445;
-    
-    uint256 constant IC59x = 4680541877147067087870867576377741695469954956234011690755015285402465530699;
-    uint256 constant IC59y = 15373959828406478995325417695516685196691611281621693928151232731824649344270;
-    
-    uint256 constant IC60x = 21354149461176235605083475650760229063505184729063325863103710893182060350284;
-    uint256 constant IC60y = 10592522140701381719773071135274738336486629758381213522778889317321760751435;
-    
-    uint256 constant IC61x = 9978492052428188527632834995519099255484890477035023619332648320587082957003;
-    uint256 constant IC61y = 11100491690166084660505263993611278070458813258111688169775698686240913552666;
-    
-    uint256 constant IC62x = 13731916709559560573226693591256167268022895402045391479529098701235375457934;
-    uint256 constant IC62y = 950319574239974292999425831748836122314741854182360812088993094206102142284;
-    
-    uint256 constant IC63x = 5068923382173809902539920653448248183331576079535575357552560260055738836778;
-    uint256 constant IC63y = 15363966812562181402438777386205572673348035391188590741549158023208626770209;
-    
-    uint256 constant IC64x = 21395083388801274541552258600615630611941727399668901249595407273728775365821;
-    uint256 constant IC64y = 16538280437955025516754242893472030228045516542071683074607286225324070376950;
-    
-    uint256 constant IC65x = 3079950282300751830138475352446736006813785568327888519348876525699254350813;
-    uint256 constant IC65y = 3751051986764641586202600559368567195934768597670441097488472917932469253030;
-    
-    uint256 constant IC66x = 6767975222777909383619240828733821271917658119388480837589713218221932565531;
-    uint256 constant IC66y = 18494759398490958010863934065345032037736463164581298269679621035591655447708;
-    
-    uint256 constant IC67x = 5473088256988013676333946201456560517458900124365012196893172306448605239922;
-    uint256 constant IC67y = 19422295409974569129469071437580640413454018766973308535088511148920131456259;
-    
-    uint256 constant IC68x = 15065759682584799335021486999191939739049977297508966194104487202267159797388;
-    uint256 constant IC68y = 16020512162350302449651076294603591050357565330704093384765189646607661917716;
-    
-    uint256 constant IC69x = 12086230100000632200320625163034583321799861930412404716094830075476844417799;
-    uint256 constant IC69y = 17437375110774913014284418316174623249256356724006464880187125952875994472451;
-    
-    uint256 constant IC70x = 1411532177508099724534230438647931257326886787262776172062463047608430399388;
-    uint256 constant IC70y = 15604592966825800535608860904548698206325380927069738452072024337080116570232;
-    
-    uint256 constant IC71x = 12089231618997252506277722010829627665245496234132185050480426731913041990777;
-    uint256 constant IC71y = 4706297844409986908566262947043315870774051770777008786132309818902226801271;
-    
-    uint256 constant IC72x = 4297607301510315080481472869994655622645404733061332045837413818087156863835;
-    uint256 constant IC72y = 19741334349858948009807627378882267592479123802995580593388387026465894470896;
-    
-    uint256 constant IC73x = 9609799551379154422344242686247957677711735612903641373648602481960500966841;
-    uint256 constant IC73y = 19498419714502401650671758561392334424398580048583015251917203340246294104474;
-    
-    uint256 constant IC74x = 857604895007042227039959652077435850054921019826723987740997848393850322370;
-    uint256 constant IC74y = 20741943279707921314587049382144442214929271385713671481592492715188595353432;
-    
-    uint256 constant IC75x = 13051611008691320100322918208810802760628376726380278788043942964417677722092;
-    uint256 constant IC75y = 19749449774990460947297990423013220542360362013462895147111935231154449479811;
-    
-    uint256 constant IC76x = 21301914648676221928544762398658685964106527053718256660408127143951919104969;
-    uint256 constant IC76y = 1024596072673440380140617044509028337072193662138603643022160170912628428523;
-    
-    uint256 constant IC77x = 20657729015551191103402287718719711126397726361906160670497138006457451690803;
-    uint256 constant IC77y = 13621491872910114751923111189819309299146522056255680547901173168823907639559;
-    
-    uint256 constant IC78x = 20739047138018548451532714631520651776037640368455708306234085294537956053990;
-    uint256 constant IC78y = 21482229251988263233858504091126447198608001560577007306785649814199085766893;
-    
-    uint256 constant IC79x = 10420272847384204701475760387628323792763832687536038626095630107498349371204;
-    uint256 constant IC79y = 14128358978737225089292163022156783214355371947697361338311598853599298638270;
-    
-    uint256 constant IC80x = 17368673533733208154713302604021995066654720115324322886102667386301962581344;
-    uint256 constant IC80y = 9459223291513175743563036791528025711491166345663341624783416506146908838638;
-    
-    uint256 constant IC81x = 1391291424865741125587254823710901108181986162195145447643089734682082689821;
-    uint256 constant IC81y = 10193909521552039074703083005084548985588332847452397294351320314685856172616;
-    
-    uint256 constant IC82x = 19918786085678332954610611353379262045932393653998024005136605498176059839893;
-    uint256 constant IC82y = 14142957383974103553150219881919284668024507730323378917140307560934752750074;
-    
-    uint256 constant IC83x = 1570029083685592686310234835654951436393340935591378328748555562375719483749;
-    uint256 constant IC83y = 15226158882273809099812559054851243005639488964508406675258260511723589041093;
-    
-    uint256 constant IC84x = 17316047877923704724666794850334231662113979903262096502746923073135967585844;
-    uint256 constant IC84y = 14551601788532250144403750210254697179820893953789324384138622104509667341932;
-    
-    uint256 constant IC85x = 14123605819378363241346534605480430569136046916399350440618403450161823189335;
-    uint256 constant IC85y = 5340083368422398956561206102280181810182902754639434503897989821767072720788;
-    
-    uint256 constant IC86x = 15921077972213501271074105779819159409183136956600961078343302077715693578746;
-    uint256 constant IC86y = 2933550567408681391241338660427988074495541635788148879839481750098956267843;
-    
-    uint256 constant IC87x = 1401720184491367811338519854283791120195301913992602610722293828073349175469;
-    uint256 constant IC87y = 11966556688733954078691049732411128585305476127293077587037005197499216324470;
-    
-    uint256 constant IC88x = 20598666587057420415999229212420929893928679666722018463199768880639392854902;
-    uint256 constant IC88y = 18963878798557713246038075377475088590355627984981575205222665889032068607866;
-    
-    uint256 constant IC89x = 14044957399004140031742492896725133795286878943561175558780160607465662685664;
-    uint256 constant IC89y = 3320806911779881604885131566526845239594179276481372334892512920960531311804;
-    
-    uint256 constant IC90x = 5411884658314472173376895677716454445947337370970824422327182958687414966094;
-    uint256 constant IC90y = 15213420376804503826628389458666528363807031346136841391835052467511759524397;
-    
-    uint256 constant IC91x = 15183889773751549283387281587236700659135474318315881129482941391096135033397;
-    uint256 constant IC91y = 1334659787298794507160780747885285094961500766598674354895673661171208735924;
-    
-    uint256 constant IC92x = 14989336673675528559706636852756924428252703072675438314477780183381704512906;
-    uint256 constant IC92y = 632591240888472984826623492058345873653291042859199489058814953900972268294;
-    
-    uint256 constant IC93x = 12132722795967249465279520043170090893678028870116552562209593423595729506417;
-    uint256 constant IC93y = 10682544781900946793547406334808311910817665569763739325160555293906762045858;
-    
-    uint256 constant IC94x = 11854931353724869974691784657728935149569622493234681079236372509809321282561;
-    uint256 constant IC94y = 13516023214655894850019722375891173020784233485151793796195273397894067373551;
-    
-    uint256 constant IC95x = 17955105816093985495272377827042987392011753857282721962775599514772070032522;
-    uint256 constant IC95y = 5315777106977045732840915053432803512436816471347660229614194549647903560919;
-    
-    uint256 constant IC96x = 21280697983798885637142119713187110624369080705701559372765988157870067465891;
-    uint256 constant IC96y = 5452759137926974037780608736295545534192642906733024880788600761506212446885;
-    
-    uint256 constant IC97x = 3784705338562791851718284981734562612897771485306119414849092177617763833998;
-    uint256 constant IC97y = 7449199769838683142437006267260919162040340629873760741935077490028992712155;
-    
-    uint256 constant IC98x = 11128519974327278251775248458869851491043094896202212458055005458912537503911;
-    uint256 constant IC98y = 18197826787442980785413660300407709344968820113969024954009668875167752269382;
-    
-    uint256 constant IC99x = 20880011838831963202676642507268807787389940255367855446316957814198157270837;
-    uint256 constant IC99y = 995140599167856653071101801002368964738117801429978667228080014989269703045;
-    
-    uint256 constant IC100x = 5270567486490951490796886598104633502443706965519010334864261607610694913348;
-    uint256 constant IC100y = 9422475262503254393663745444981821684525276776945928473737795737382712824125;
-    
-    uint256 constant IC101x = 21265722279024099148523766897892746679894842319697113735019100063478094422873;
-    uint256 constant IC101y = 6620543609391785687489934470186702585776266891747209929387603461842185258699;
-    
-    uint256 constant IC102x = 8356671823869469995710060566119210171556583886108076411388968756752945536931;
-    uint256 constant IC102y = 7861581645170247438970542498978723016898481469721015321549999270761713588004;
-    
-    uint256 constant IC103x = 2219990728591225556213736638260965963780684712317673587835861222016595068616;
-    uint256 constant IC103y = 10269021258403216121862415692939917461877149536269690227014079002753076507361;
-    
-    uint256 constant IC104x = 14580148566631896067770831939653021691545216844790381212089900709380106918453;
-    uint256 constant IC104y = 20501919652511763151981504986608593747923248586668557348411110573220315655616;
-    
-    uint256 constant IC105x = 18729024808424730044351084970685045809826495359892127116460545529849095538227;
-    uint256 constant IC105y = 12968320440729229483198956917616010682663049550910000611391562097154016798471;
-    
-    uint256 constant IC106x = 11633693999390950074358136432544834372417801581246923760019957499340218274747;
-    uint256 constant IC106y = 16924427024437729256942085295095493325410995366481252079741924577348100514895;
-    
-    uint256 constant IC107x = 15651506419857979709906784969880412886522561309603310382432383815555134191990;
-    uint256 constant IC107y = 9319009381981849794603913077074589119230032673113666585354093368483735632910;
-    
-    uint256 constant IC108x = 18097737218798509982229701131079769616116039877099227004175098946637855263867;
-    uint256 constant IC108y = 13310348436211221988917810325982166584533851478176851791098703876762982977111;
-    
-    uint256 constant IC109x = 20263376377722422547596258747762021010890229181759643183394443847122275127111;
-    uint256 constant IC109y = 13385137344972009114628459093755716876191588690333688109147683042694943299699;
-    
-    uint256 constant IC110x = 16963172143668705358882629453770655686813470136346382178514668338616325539769;
-    uint256 constant IC110y = 5636451568897648567513403019792364137696517288193506663254309980527449050956;
-    
-    uint256 constant IC111x = 16510645084152319573290551726917780950618701992535537570251952316192742579460;
-    uint256 constant IC111y = 13506304882837097070117828399221004809604385183950149021633241303328925801198;
-    
-    uint256 constant IC112x = 11313237216859224214530925655514038004254230888064785142029038351334216728122;
-    uint256 constant IC112y = 6657646205652029490541113007584672400680469407395238059721684246547813649134;
-    
-    uint256 constant IC113x = 15127770915708186113651252454372481555207035970801428396271067473490172040148;
-    uint256 constant IC113y = 4093531429466030014718879366518728195225997011746759072595408754593936585723;
-    
-    uint256 constant IC114x = 15140571546500497066764588098745984241259320734890032221755613973256437603767;
-    uint256 constant IC114y = 12801172674218714710722077459207791469726439623336083384301641968408875689352;
-    
-    uint256 constant IC115x = 21142715496921478569975493597535609962988594279524489336991832383951339257856;
-    uint256 constant IC115y = 20258906524505037233591466147456348910388767922250589059543209862933625038535;
-    
-    uint256 constant IC116x = 1810081628450798730640398746102980773904948199494901267187470851438251817985;
-    uint256 constant IC116y = 3792807751484653122046458783913892084541362360879682014708303368227268189207;
-    
-    uint256 constant IC117x = 15928990967177821505599222516847389714295866291424434794036692012745413898200;
-    uint256 constant IC117y = 95097047341450841311486568279612857249022169370748252632922706896323805634;
-    
-    uint256 constant IC118x = 18888273594504610323758429403283822059477438753958920656382310690690276019057;
-    uint256 constant IC118y = 17136596995001699302079185763216130717324024117025331595167613530548077143584;
-    
-    uint256 constant IC119x = 14912069619262905015361101258468851252846849934234999045347338270246951816040;
-    uint256 constant IC119y = 851872911156335696323804565150018322953086666132220844585816674696295972874;
-    
-    uint256 constant IC120x = 416905808465832986318702584784169847246758676455229196153867099970594014850;
-    uint256 constant IC120y = 20350330284501465078103167788671038758678470977058094284718267579108236742879;
-    
-    uint256 constant IC121x = 7290145643762112624326774084837402473079698652556923211838999559508662751963;
-    uint256 constant IC121y = 15187890928845971858277816276333592675212162763795113811004081871927730015840;
-    
-    uint256 constant IC122x = 18342834356053424863684322443393635009655628042775183518033772284556656452763;
-    uint256 constant IC122y = 17293184887758153646256537857817990744812160190568972052340680013613044017611;
-    
-    uint256 constant IC123x = 12429300666946196522834253629521246460140610505589945449195756913907643669628;
-    uint256 constant IC123y = 11847513753414560593374183391275089623067327608306823434797370516984887055602;
-    
-    uint256 constant IC124x = 3009997495953098051074361389663553556038061068398882988993260546405888862450;
-    uint256 constant IC124y = 11839558563482439941239794862610327753017119734775768621461902358661699016187;
-    
-    uint256 constant IC125x = 21168069557452305843540633304752839216153589328942574702460192381582875872176;
-    uint256 constant IC125y = 13303799669066434871022690722518618264526951946844123760115144657138704805620;
-    
-    uint256 constant IC126x = 15701359559135387616147775220604626072130307648840932455969454078319549551774;
-    uint256 constant IC126y = 18881928023694089242372224493413319237815982120639399263703988668472221679441;
-    
-    uint256 constant IC127x = 869462486452016634276733013666297011271081156844397835921213291275489933402;
-    uint256 constant IC127y = 6412103912614147582008051340970599994276376057390487642199212882022308028266;
-    
-    uint256 constant IC128x = 2788705287713367617395518310410371176030258282886745200668365522374509575240;
-    uint256 constant IC128y = 3957091562119830819992975103204027390466784765403740152566367211777147469017;
-    
-    uint256 constant IC129x = 14286184844200284268589869856398355685140125890609834536772185742863928019599;
-    uint256 constant IC129y = 9304939256033032197773841631251271475843563677846178730455260613692121807227;
-    
-    uint256 constant IC130x = 9649404831810282505955143832001602990625612297968284032982830593235918929617;
-    uint256 constant IC130y = 5729762439216031835721884726279381007957543298000395149186665955022027106700;
-    
-    uint256 constant IC131x = 2268012612773732796812844095679502758179479875582533211842659277399385448812;
-    uint256 constant IC131y = 12985427200471515155636681368847755685826337001754052626870068903548101258148;
-    
-    uint256 constant IC132x = 10712224800055936598323772857496135258545300784101081559841051353775848743639;
-    uint256 constant IC132y = 112197861725835733001473658274002582880316644031234409084193503923966976393;
-    
-    uint256 constant IC133x = 8630083373743375076204342310649830992333180188916208224513271048002099560;
-    uint256 constant IC133y = 20043143573646486823507889589559826246817433419442136575344292715031793527527;
-    
-    uint256 constant IC134x = 5916183212170258001735647820422397407382923022560673697573994997047331751794;
-    uint256 constant IC134y = 4702959735461584120134905808554552245434106374057460012014885754156648329335;
-    
-    uint256 constant IC135x = 2290654453840367688894335718085865045933043398608541776318965814930608383182;
-    uint256 constant IC135y = 9717521664305702555739414239799924139073126208324206133543263592775613959825;
-    
-    uint256 constant IC136x = 7223443315870805275305732387580466665422950423354870823875895138273108328728;
-    uint256 constant IC136y = 20847340448601320406303107072407793934154200432163445904780796229314806039648;
-    
-    uint256 constant IC137x = 2312239870156178693511469653710799236225060754018160406270422723347619128960;
-    uint256 constant IC137y = 2540728260668852449884180634282258930431382293294900642122298818160642240271;
-    
-    uint256 constant IC138x = 17806260686896010661717848801949630963735737187752594244759202764625049109714;
-    uint256 constant IC138y = 525961754863518823008987296069011508923356330444249690617741656731872757431;
-    
-    uint256 constant IC139x = 14749156860330514173412621452057023731723634632555130654950323356667939824372;
-    uint256 constant IC139y = 16866715032606557493407715696894454323945809587475485810757745581516840758431;
-    
-    uint256 constant IC140x = 12964818442666347988522657627273268788678679212945711115694527734730009989834;
-    uint256 constant IC140y = 15681529482316108758631876252561185829299082016528726374051282959059076090998;
-    
- 
-    // Memory data
-    uint16 constant pVk = 0;
-    uint16 constant pPairing = 128;
-
-    uint16 constant pLastMem = 896;
-
-    function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[140] calldata _pubSignals) public view returns (bool) {
-        assembly {
-            function checkField(v) {
-                if iszero(lt(v, r)) {
-                    mstore(0, 0)
-                    return(0, 0x20)
-                }
-            }
-            
-            // G1 function to multiply a G1 value(x,y) to value in an address
-            function g1_mulAccC(pR, x, y, s) {
-                let success
-                let mIn := mload(0x40)
-                mstore(mIn, x)
-                mstore(add(mIn, 32), y)
-                mstore(add(mIn, 64), s)
-
-                success := staticcall(sub(gas(), 2000), 7, mIn, 96, mIn, 64)
-
-                if iszero(success) {
-                    mstore(0, 0)
-                    return(0, 0x20)
-                }
-
-                mstore(add(mIn, 64), mload(pR))
-                mstore(add(mIn, 96), mload(add(pR, 32)))
-
-                success := staticcall(sub(gas(), 2000), 6, mIn, 128, pR, 64)
-
-                if iszero(success) {
-                    mstore(0, 0)
-                    return(0, 0x20)
-                }
-            }
-
-            function checkPairing(pA, pB, pC, pubSignals, pMem) -> isOk {
-                let _pPairing := add(pMem, pPairing)
-                let _pVk := add(pMem, pVk)
-
-                mstore(_pVk, IC0x)
-                mstore(add(_pVk, 32), IC0y)
-
-                // Compute the linear combination vk_x
-                
-                g1_mulAccC(_pVk, IC1x, IC1y, calldataload(add(pubSignals, 0)))
-                
-                g1_mulAccC(_pVk, IC2x, IC2y, calldataload(add(pubSignals, 32)))
-                
-                g1_mulAccC(_pVk, IC3x, IC3y, calldataload(add(pubSignals, 64)))
-                
-                g1_mulAccC(_pVk, IC4x, IC4y, calldataload(add(pubSignals, 96)))
-                
-                g1_mulAccC(_pVk, IC5x, IC5y, calldataload(add(pubSignals, 128)))
-                
-                g1_mulAccC(_pVk, IC6x, IC6y, calldataload(add(pubSignals, 160)))
-                
-                g1_mulAccC(_pVk, IC7x, IC7y, calldataload(add(pubSignals, 192)))
-                
-                g1_mulAccC(_pVk, IC8x, IC8y, calldataload(add(pubSignals, 224)))
-                
-                g1_mulAccC(_pVk, IC9x, IC9y, calldataload(add(pubSignals, 256)))
-                
-                g1_mulAccC(_pVk, IC10x, IC10y, calldataload(add(pubSignals, 288)))
-                
-                g1_mulAccC(_pVk, IC11x, IC11y, calldataload(add(pubSignals, 320)))
-                
-                g1_mulAccC(_pVk, IC12x, IC12y, calldataload(add(pubSignals, 352)))
-                
-                g1_mulAccC(_pVk, IC13x, IC13y, calldataload(add(pubSignals, 384)))
-                
-                g1_mulAccC(_pVk, IC14x, IC14y, calldataload(add(pubSignals, 416)))
-                
-                g1_mulAccC(_pVk, IC15x, IC15y, calldataload(add(pubSignals, 448)))
-                
-                g1_mulAccC(_pVk, IC16x, IC16y, calldataload(add(pubSignals, 480)))
-                
-                g1_mulAccC(_pVk, IC17x, IC17y, calldataload(add(pubSignals, 512)))
-                
-                g1_mulAccC(_pVk, IC18x, IC18y, calldataload(add(pubSignals, 544)))
-                
-                g1_mulAccC(_pVk, IC19x, IC19y, calldataload(add(pubSignals, 576)))
-                
-                g1_mulAccC(_pVk, IC20x, IC20y, calldataload(add(pubSignals, 608)))
-                
-                g1_mulAccC(_pVk, IC21x, IC21y, calldataload(add(pubSignals, 640)))
-                
-                g1_mulAccC(_pVk, IC22x, IC22y, calldataload(add(pubSignals, 672)))
-                
-                g1_mulAccC(_pVk, IC23x, IC23y, calldataload(add(pubSignals, 704)))
-                
-                g1_mulAccC(_pVk, IC24x, IC24y, calldataload(add(pubSignals, 736)))
-                
-                g1_mulAccC(_pVk, IC25x, IC25y, calldataload(add(pubSignals, 768)))
-                
-                g1_mulAccC(_pVk, IC26x, IC26y, calldataload(add(pubSignals, 800)))
-                
-                g1_mulAccC(_pVk, IC27x, IC27y, calldataload(add(pubSignals, 832)))
-                
-                g1_mulAccC(_pVk, IC28x, IC28y, calldataload(add(pubSignals, 864)))
-                
-                g1_mulAccC(_pVk, IC29x, IC29y, calldataload(add(pubSignals, 896)))
-                
-                g1_mulAccC(_pVk, IC30x, IC30y, calldataload(add(pubSignals, 928)))
-                
-                g1_mulAccC(_pVk, IC31x, IC31y, calldataload(add(pubSignals, 960)))
-                
-                g1_mulAccC(_pVk, IC32x, IC32y, calldataload(add(pubSignals, 992)))
-                
-                g1_mulAccC(_pVk, IC33x, IC33y, calldataload(add(pubSignals, 1024)))
-                
-                g1_mulAccC(_pVk, IC34x, IC34y, calldataload(add(pubSignals, 1056)))
-                
-                g1_mulAccC(_pVk, IC35x, IC35y, calldataload(add(pubSignals, 1088)))
-                
-                g1_mulAccC(_pVk, IC36x, IC36y, calldataload(add(pubSignals, 1120)))
-                
-                g1_mulAccC(_pVk, IC37x, IC37y, calldataload(add(pubSignals, 1152)))
-                
-                g1_mulAccC(_pVk, IC38x, IC38y, calldataload(add(pubSignals, 1184)))
-                
-                g1_mulAccC(_pVk, IC39x, IC39y, calldataload(add(pubSignals, 1216)))
-                
-                g1_mulAccC(_pVk, IC40x, IC40y, calldataload(add(pubSignals, 1248)))
-                
-                g1_mulAccC(_pVk, IC41x, IC41y, calldataload(add(pubSignals, 1280)))
-                
-                g1_mulAccC(_pVk, IC42x, IC42y, calldataload(add(pubSignals, 1312)))
-                
-                g1_mulAccC(_pVk, IC43x, IC43y, calldataload(add(pubSignals, 1344)))
-                
-                g1_mulAccC(_pVk, IC44x, IC44y, calldataload(add(pubSignals, 1376)))
-                
-                g1_mulAccC(_pVk, IC45x, IC45y, calldataload(add(pubSignals, 1408)))
-                
-                g1_mulAccC(_pVk, IC46x, IC46y, calldataload(add(pubSignals, 1440)))
-                
-                g1_mulAccC(_pVk, IC47x, IC47y, calldataload(add(pubSignals, 1472)))
-                
-                g1_mulAccC(_pVk, IC48x, IC48y, calldataload(add(pubSignals, 1504)))
-                
-                g1_mulAccC(_pVk, IC49x, IC49y, calldataload(add(pubSignals, 1536)))
-                
-                g1_mulAccC(_pVk, IC50x, IC50y, calldataload(add(pubSignals, 1568)))
-                
-                g1_mulAccC(_pVk, IC51x, IC51y, calldataload(add(pubSignals, 1600)))
-                
-                g1_mulAccC(_pVk, IC52x, IC52y, calldataload(add(pubSignals, 1632)))
-                
-                g1_mulAccC(_pVk, IC53x, IC53y, calldataload(add(pubSignals, 1664)))
-                
-                g1_mulAccC(_pVk, IC54x, IC54y, calldataload(add(pubSignals, 1696)))
-                
-                g1_mulAccC(_pVk, IC55x, IC55y, calldataload(add(pubSignals, 1728)))
-                
-                g1_mulAccC(_pVk, IC56x, IC56y, calldataload(add(pubSignals, 1760)))
-                
-                g1_mulAccC(_pVk, IC57x, IC57y, calldataload(add(pubSignals, 1792)))
-                
-                g1_mulAccC(_pVk, IC58x, IC58y, calldataload(add(pubSignals, 1824)))
-                
-                g1_mulAccC(_pVk, IC59x, IC59y, calldataload(add(pubSignals, 1856)))
-                
-                g1_mulAccC(_pVk, IC60x, IC60y, calldataload(add(pubSignals, 1888)))
-                
-                g1_mulAccC(_pVk, IC61x, IC61y, calldataload(add(pubSignals, 1920)))
-                
-                g1_mulAccC(_pVk, IC62x, IC62y, calldataload(add(pubSignals, 1952)))
-                
-                g1_mulAccC(_pVk, IC63x, IC63y, calldataload(add(pubSignals, 1984)))
-                
-                g1_mulAccC(_pVk, IC64x, IC64y, calldataload(add(pubSignals, 2016)))
-                
-                g1_mulAccC(_pVk, IC65x, IC65y, calldataload(add(pubSignals, 2048)))
-                
-                g1_mulAccC(_pVk, IC66x, IC66y, calldataload(add(pubSignals, 2080)))
-                
-                g1_mulAccC(_pVk, IC67x, IC67y, calldataload(add(pubSignals, 2112)))
-                
-                g1_mulAccC(_pVk, IC68x, IC68y, calldataload(add(pubSignals, 2144)))
-                
-                g1_mulAccC(_pVk, IC69x, IC69y, calldataload(add(pubSignals, 2176)))
-                
-                g1_mulAccC(_pVk, IC70x, IC70y, calldataload(add(pubSignals, 2208)))
-                
-                g1_mulAccC(_pVk, IC71x, IC71y, calldataload(add(pubSignals, 2240)))
-                
-                g1_mulAccC(_pVk, IC72x, IC72y, calldataload(add(pubSignals, 2272)))
-                
-                g1_mulAccC(_pVk, IC73x, IC73y, calldataload(add(pubSignals, 2304)))
-                
-                g1_mulAccC(_pVk, IC74x, IC74y, calldataload(add(pubSignals, 2336)))
-                
-                g1_mulAccC(_pVk, IC75x, IC75y, calldataload(add(pubSignals, 2368)))
-                
-                g1_mulAccC(_pVk, IC76x, IC76y, calldataload(add(pubSignals, 2400)))
-                
-                g1_mulAccC(_pVk, IC77x, IC77y, calldataload(add(pubSignals, 2432)))
-                
-                g1_mulAccC(_pVk, IC78x, IC78y, calldataload(add(pubSignals, 2464)))
-                
-                g1_mulAccC(_pVk, IC79x, IC79y, calldataload(add(pubSignals, 2496)))
-                
-                g1_mulAccC(_pVk, IC80x, IC80y, calldataload(add(pubSignals, 2528)))
-                
-                g1_mulAccC(_pVk, IC81x, IC81y, calldataload(add(pubSignals, 2560)))
-                
-                g1_mulAccC(_pVk, IC82x, IC82y, calldataload(add(pubSignals, 2592)))
-                
-                g1_mulAccC(_pVk, IC83x, IC83y, calldataload(add(pubSignals, 2624)))
-                
-                g1_mulAccC(_pVk, IC84x, IC84y, calldataload(add(pubSignals, 2656)))
-                
-                g1_mulAccC(_pVk, IC85x, IC85y, calldataload(add(pubSignals, 2688)))
-                
-                g1_mulAccC(_pVk, IC86x, IC86y, calldataload(add(pubSignals, 2720)))
-                
-                g1_mulAccC(_pVk, IC87x, IC87y, calldataload(add(pubSignals, 2752)))
-                
-                g1_mulAccC(_pVk, IC88x, IC88y, calldataload(add(pubSignals, 2784)))
-                
-                g1_mulAccC(_pVk, IC89x, IC89y, calldataload(add(pubSignals, 2816)))
-                
-                g1_mulAccC(_pVk, IC90x, IC90y, calldataload(add(pubSignals, 2848)))
-                
-                g1_mulAccC(_pVk, IC91x, IC91y, calldataload(add(pubSignals, 2880)))
-                
-                g1_mulAccC(_pVk, IC92x, IC92y, calldataload(add(pubSignals, 2912)))
-                
-                g1_mulAccC(_pVk, IC93x, IC93y, calldataload(add(pubSignals, 2944)))
-                
-                g1_mulAccC(_pVk, IC94x, IC94y, calldataload(add(pubSignals, 2976)))
-                
-                g1_mulAccC(_pVk, IC95x, IC95y, calldataload(add(pubSignals, 3008)))
-                
-                g1_mulAccC(_pVk, IC96x, IC96y, calldataload(add(pubSignals, 3040)))
-                
-                g1_mulAccC(_pVk, IC97x, IC97y, calldataload(add(pubSignals, 3072)))
-                
-                g1_mulAccC(_pVk, IC98x, IC98y, calldataload(add(pubSignals, 3104)))
-                
-                g1_mulAccC(_pVk, IC99x, IC99y, calldataload(add(pubSignals, 3136)))
-                
-                g1_mulAccC(_pVk, IC100x, IC100y, calldataload(add(pubSignals, 3168)))
-                
-                g1_mulAccC(_pVk, IC101x, IC101y, calldataload(add(pubSignals, 3200)))
-                
-                g1_mulAccC(_pVk, IC102x, IC102y, calldataload(add(pubSignals, 3232)))
-                
-                g1_mulAccC(_pVk, IC103x, IC103y, calldataload(add(pubSignals, 3264)))
-                
-                g1_mulAccC(_pVk, IC104x, IC104y, calldataload(add(pubSignals, 3296)))
-                
-                g1_mulAccC(_pVk, IC105x, IC105y, calldataload(add(pubSignals, 3328)))
-                
-                g1_mulAccC(_pVk, IC106x, IC106y, calldataload(add(pubSignals, 3360)))
-                
-                g1_mulAccC(_pVk, IC107x, IC107y, calldataload(add(pubSignals, 3392)))
-                
-                g1_mulAccC(_pVk, IC108x, IC108y, calldataload(add(pubSignals, 3424)))
-                
-                g1_mulAccC(_pVk, IC109x, IC109y, calldataload(add(pubSignals, 3456)))
-                
-                g1_mulAccC(_pVk, IC110x, IC110y, calldataload(add(pubSignals, 3488)))
-                
-                g1_mulAccC(_pVk, IC111x, IC111y, calldataload(add(pubSignals, 3520)))
-                
-                g1_mulAccC(_pVk, IC112x, IC112y, calldataload(add(pubSignals, 3552)))
-                
-                g1_mulAccC(_pVk, IC113x, IC113y, calldataload(add(pubSignals, 3584)))
-                
-                g1_mulAccC(_pVk, IC114x, IC114y, calldataload(add(pubSignals, 3616)))
-                
-                g1_mulAccC(_pVk, IC115x, IC115y, calldataload(add(pubSignals, 3648)))
-                
-                g1_mulAccC(_pVk, IC116x, IC116y, calldataload(add(pubSignals, 3680)))
-                
-                g1_mulAccC(_pVk, IC117x, IC117y, calldataload(add(pubSignals, 3712)))
-                
-                g1_mulAccC(_pVk, IC118x, IC118y, calldataload(add(pubSignals, 3744)))
-                
-                g1_mulAccC(_pVk, IC119x, IC119y, calldataload(add(pubSignals, 3776)))
-                
-                g1_mulAccC(_pVk, IC120x, IC120y, calldataload(add(pubSignals, 3808)))
-                
-                g1_mulAccC(_pVk, IC121x, IC121y, calldataload(add(pubSignals, 3840)))
-                
-                g1_mulAccC(_pVk, IC122x, IC122y, calldataload(add(pubSignals, 3872)))
-                
-                g1_mulAccC(_pVk, IC123x, IC123y, calldataload(add(pubSignals, 3904)))
-                
-                g1_mulAccC(_pVk, IC124x, IC124y, calldataload(add(pubSignals, 3936)))
-                
-                g1_mulAccC(_pVk, IC125x, IC125y, calldataload(add(pubSignals, 3968)))
-                
-                g1_mulAccC(_pVk, IC126x, IC126y, calldataload(add(pubSignals, 4000)))
-                
-                g1_mulAccC(_pVk, IC127x, IC127y, calldataload(add(pubSignals, 4032)))
-                
-                g1_mulAccC(_pVk, IC128x, IC128y, calldataload(add(pubSignals, 4064)))
-                
-                g1_mulAccC(_pVk, IC129x, IC129y, calldataload(add(pubSignals, 4096)))
-                
-                g1_mulAccC(_pVk, IC130x, IC130y, calldataload(add(pubSignals, 4128)))
-                
-                g1_mulAccC(_pVk, IC131x, IC131y, calldataload(add(pubSignals, 4160)))
-                
-                g1_mulAccC(_pVk, IC132x, IC132y, calldataload(add(pubSignals, 4192)))
-                
-                g1_mulAccC(_pVk, IC133x, IC133y, calldataload(add(pubSignals, 4224)))
-                
-                g1_mulAccC(_pVk, IC134x, IC134y, calldataload(add(pubSignals, 4256)))
-                
-                g1_mulAccC(_pVk, IC135x, IC135y, calldataload(add(pubSignals, 4288)))
-                
-                g1_mulAccC(_pVk, IC136x, IC136y, calldataload(add(pubSignals, 4320)))
-                
-                g1_mulAccC(_pVk, IC137x, IC137y, calldataload(add(pubSignals, 4352)))
-                
-                g1_mulAccC(_pVk, IC138x, IC138y, calldataload(add(pubSignals, 4384)))
-                
-                g1_mulAccC(_pVk, IC139x, IC139y, calldataload(add(pubSignals, 4416)))
-                
-                g1_mulAccC(_pVk, IC140x, IC140y, calldataload(add(pubSignals, 4448)))
-                
-
-                // -A
-                mstore(_pPairing, calldataload(pA))
-                mstore(add(_pPairing, 32), mod(sub(q, calldataload(add(pA, 32))), q))
-
-                // B
-                mstore(add(_pPairing, 64), calldataload(pB))
-                mstore(add(_pPairing, 96), calldataload(add(pB, 32)))
-                mstore(add(_pPairing, 128), calldataload(add(pB, 64)))
-                mstore(add(_pPairing, 160), calldataload(add(pB, 96)))
-
-                // alpha1
-                mstore(add(_pPairing, 192), alphax)
-                mstore(add(_pPairing, 224), alphay)
-
-                // beta2
-                mstore(add(_pPairing, 256), betax1)
-                mstore(add(_pPairing, 288), betax2)
-                mstore(add(_pPairing, 320), betay1)
-                mstore(add(_pPairing, 352), betay2)
-
-                // vk_x
-                mstore(add(_pPairing, 384), mload(add(pMem, pVk)))
-                mstore(add(_pPairing, 416), mload(add(pMem, add(pVk, 32))))
-
-
-                // gamma2
-                mstore(add(_pPairing, 448), gammax1)
-                mstore(add(_pPairing, 480), gammax2)
-                mstore(add(_pPairing, 512), gammay1)
-                mstore(add(_pPairing, 544), gammay2)
-
-                // C
-                mstore(add(_pPairing, 576), calldataload(pC))
-                mstore(add(_pPairing, 608), calldataload(add(pC, 32)))
-
-                // delta2
-                mstore(add(_pPairing, 640), deltax1)
-                mstore(add(_pPairing, 672), deltax2)
-                mstore(add(_pPairing, 704), deltay1)
-                mstore(add(_pPairing, 736), deltay2)
-
-
-                let success := staticcall(sub(gas(), 2000), 8, _pPairing, 768, _pPairing, 0x20)
-
-                isOk := and(success, mload(_pPairing))
-            }
-
-            let pMem := mload(0x40)
-            mstore(0x40, add(pMem, pLastMem))
-
-            // Validate that all evaluations ∈ F
-            
-            checkField(calldataload(add(_pubSignals, 0)))
-            
-            checkField(calldataload(add(_pubSignals, 32)))
-            
-            checkField(calldataload(add(_pubSignals, 64)))
-            
-            checkField(calldataload(add(_pubSignals, 96)))
-            
-            checkField(calldataload(add(_pubSignals, 128)))
-            
-            checkField(calldataload(add(_pubSignals, 160)))
-            
-            checkField(calldataload(add(_pubSignals, 192)))
-            
-            checkField(calldataload(add(_pubSignals, 224)))
-            
-            checkField(calldataload(add(_pubSignals, 256)))
-            
-            checkField(calldataload(add(_pubSignals, 288)))
-            
-            checkField(calldataload(add(_pubSignals, 320)))
-            
-            checkField(calldataload(add(_pubSignals, 352)))
-            
-            checkField(calldataload(add(_pubSignals, 384)))
-            
-            checkField(calldataload(add(_pubSignals, 416)))
-            
-            checkField(calldataload(add(_pubSignals, 448)))
-            
-            checkField(calldataload(add(_pubSignals, 480)))
-            
-            checkField(calldataload(add(_pubSignals, 512)))
-            
-            checkField(calldataload(add(_pubSignals, 544)))
-            
-            checkField(calldataload(add(_pubSignals, 576)))
-            
-            checkField(calldataload(add(_pubSignals, 608)))
-            
-            checkField(calldataload(add(_pubSignals, 640)))
-            
-            checkField(calldataload(add(_pubSignals, 672)))
-            
-            checkField(calldataload(add(_pubSignals, 704)))
-            
-            checkField(calldataload(add(_pubSignals, 736)))
-            
-            checkField(calldataload(add(_pubSignals, 768)))
-            
-            checkField(calldataload(add(_pubSignals, 800)))
-            
-            checkField(calldataload(add(_pubSignals, 832)))
-            
-            checkField(calldataload(add(_pubSignals, 864)))
-            
-            checkField(calldataload(add(_pubSignals, 896)))
-            
-            checkField(calldataload(add(_pubSignals, 928)))
-            
-            checkField(calldataload(add(_pubSignals, 960)))
-            
-            checkField(calldataload(add(_pubSignals, 992)))
-            
-            checkField(calldataload(add(_pubSignals, 1024)))
-            
-            checkField(calldataload(add(_pubSignals, 1056)))
-            
-            checkField(calldataload(add(_pubSignals, 1088)))
-            
-            checkField(calldataload(add(_pubSignals, 1120)))
-            
-            checkField(calldataload(add(_pubSignals, 1152)))
-            
-            checkField(calldataload(add(_pubSignals, 1184)))
-            
-            checkField(calldataload(add(_pubSignals, 1216)))
-            
-            checkField(calldataload(add(_pubSignals, 1248)))
-            
-            checkField(calldataload(add(_pubSignals, 1280)))
-            
-            checkField(calldataload(add(_pubSignals, 1312)))
-            
-            checkField(calldataload(add(_pubSignals, 1344)))
-            
-            checkField(calldataload(add(_pubSignals, 1376)))
-            
-            checkField(calldataload(add(_pubSignals, 1408)))
-            
-            checkField(calldataload(add(_pubSignals, 1440)))
-            
-            checkField(calldataload(add(_pubSignals, 1472)))
-            
-            checkField(calldataload(add(_pubSignals, 1504)))
-            
-            checkField(calldataload(add(_pubSignals, 1536)))
-            
-            checkField(calldataload(add(_pubSignals, 1568)))
-            
-            checkField(calldataload(add(_pubSignals, 1600)))
-            
-            checkField(calldataload(add(_pubSignals, 1632)))
-            
-            checkField(calldataload(add(_pubSignals, 1664)))
-            
-            checkField(calldataload(add(_pubSignals, 1696)))
-            
-            checkField(calldataload(add(_pubSignals, 1728)))
-            
-            checkField(calldataload(add(_pubSignals, 1760)))
-            
-            checkField(calldataload(add(_pubSignals, 1792)))
-            
-            checkField(calldataload(add(_pubSignals, 1824)))
-            
-            checkField(calldataload(add(_pubSignals, 1856)))
-            
-            checkField(calldataload(add(_pubSignals, 1888)))
-            
-            checkField(calldataload(add(_pubSignals, 1920)))
-            
-            checkField(calldataload(add(_pubSignals, 1952)))
-            
-            checkField(calldataload(add(_pubSignals, 1984)))
-            
-            checkField(calldataload(add(_pubSignals, 2016)))
-            
-            checkField(calldataload(add(_pubSignals, 2048)))
-            
-            checkField(calldataload(add(_pubSignals, 2080)))
-            
-            checkField(calldataload(add(_pubSignals, 2112)))
-            
-            checkField(calldataload(add(_pubSignals, 2144)))
-            
-            checkField(calldataload(add(_pubSignals, 2176)))
-            
-            checkField(calldataload(add(_pubSignals, 2208)))
-            
-            checkField(calldataload(add(_pubSignals, 2240)))
-            
-            checkField(calldataload(add(_pubSignals, 2272)))
-            
-            checkField(calldataload(add(_pubSignals, 2304)))
-            
-            checkField(calldataload(add(_pubSignals, 2336)))
-            
-            checkField(calldataload(add(_pubSignals, 2368)))
-            
-            checkField(calldataload(add(_pubSignals, 2400)))
-            
-            checkField(calldataload(add(_pubSignals, 2432)))
-            
-            checkField(calldataload(add(_pubSignals, 2464)))
-            
-            checkField(calldataload(add(_pubSignals, 2496)))
-            
-            checkField(calldataload(add(_pubSignals, 2528)))
-            
-            checkField(calldataload(add(_pubSignals, 2560)))
-            
-            checkField(calldataload(add(_pubSignals, 2592)))
-            
-            checkField(calldataload(add(_pubSignals, 2624)))
-            
-            checkField(calldataload(add(_pubSignals, 2656)))
-            
-            checkField(calldataload(add(_pubSignals, 2688)))
-            
-            checkField(calldataload(add(_pubSignals, 2720)))
-            
-            checkField(calldataload(add(_pubSignals, 2752)))
-            
-            checkField(calldataload(add(_pubSignals, 2784)))
-            
-            checkField(calldataload(add(_pubSignals, 2816)))
-            
-            checkField(calldataload(add(_pubSignals, 2848)))
-            
-            checkField(calldataload(add(_pubSignals, 2880)))
-            
-            checkField(calldataload(add(_pubSignals, 2912)))
-            
-            checkField(calldataload(add(_pubSignals, 2944)))
-            
-            checkField(calldataload(add(_pubSignals, 2976)))
-            
-            checkField(calldataload(add(_pubSignals, 3008)))
-            
-            checkField(calldataload(add(_pubSignals, 3040)))
-            
-            checkField(calldataload(add(_pubSignals, 3072)))
-            
-            checkField(calldataload(add(_pubSignals, 3104)))
-            
-            checkField(calldataload(add(_pubSignals, 3136)))
-            
-            checkField(calldataload(add(_pubSignals, 3168)))
-            
-            checkField(calldataload(add(_pubSignals, 3200)))
-            
-            checkField(calldataload(add(_pubSignals, 3232)))
-            
-            checkField(calldataload(add(_pubSignals, 3264)))
-            
-            checkField(calldataload(add(_pubSignals, 3296)))
-            
-            checkField(calldataload(add(_pubSignals, 3328)))
-            
-            checkField(calldataload(add(_pubSignals, 3360)))
-            
-            checkField(calldataload(add(_pubSignals, 3392)))
-            
-            checkField(calldataload(add(_pubSignals, 3424)))
-            
-            checkField(calldataload(add(_pubSignals, 3456)))
-            
-            checkField(calldataload(add(_pubSignals, 3488)))
-            
-            checkField(calldataload(add(_pubSignals, 3520)))
-            
-            checkField(calldataload(add(_pubSignals, 3552)))
-            
-            checkField(calldataload(add(_pubSignals, 3584)))
-            
-            checkField(calldataload(add(_pubSignals, 3616)))
-            
-            checkField(calldataload(add(_pubSignals, 3648)))
-            
-            checkField(calldataload(add(_pubSignals, 3680)))
-            
-            checkField(calldataload(add(_pubSignals, 3712)))
-            
-            checkField(calldataload(add(_pubSignals, 3744)))
-            
-            checkField(calldataload(add(_pubSignals, 3776)))
-            
-            checkField(calldataload(add(_pubSignals, 3808)))
-            
-            checkField(calldataload(add(_pubSignals, 3840)))
-            
-            checkField(calldataload(add(_pubSignals, 3872)))
-            
-            checkField(calldataload(add(_pubSignals, 3904)))
-            
-            checkField(calldataload(add(_pubSignals, 3936)))
-            
-            checkField(calldataload(add(_pubSignals, 3968)))
-            
-            checkField(calldataload(add(_pubSignals, 4000)))
-            
-            checkField(calldataload(add(_pubSignals, 4032)))
-            
-            checkField(calldataload(add(_pubSignals, 4064)))
-            
-            checkField(calldataload(add(_pubSignals, 4096)))
-            
-            checkField(calldataload(add(_pubSignals, 4128)))
-            
-            checkField(calldataload(add(_pubSignals, 4160)))
-            
-            checkField(calldataload(add(_pubSignals, 4192)))
-            
-            checkField(calldataload(add(_pubSignals, 4224)))
-            
-            checkField(calldataload(add(_pubSignals, 4256)))
-            
-            checkField(calldataload(add(_pubSignals, 4288)))
-            
-            checkField(calldataload(add(_pubSignals, 4320)))
-            
-            checkField(calldataload(add(_pubSignals, 4352)))
-            
-            checkField(calldataload(add(_pubSignals, 4384)))
-            
-            checkField(calldataload(add(_pubSignals, 4416)))
-            
-            checkField(calldataload(add(_pubSignals, 4448)))
-            
-
-            // Validate all evaluations
-            let isValid := checkPairing(_pA, _pB, _pC, _pubSignals, pMem)
-
-            mstore(0, isValid)
-             return(0, 0x20)
-         }
-     }
- }
+import {Verifier_AnonEncNullifierNonRepudiationBatch} from "./impl/anon_enc_nullifier_non_repudiation_batch.sol";
+
+contract Groth16Verifier_AnonEncNullifierNonRepudiationBatch is
+    Verifier_AnonEncNullifierNonRepudiationBatch
+{
+    function verify(
+        uint[2] calldata _pA,
+        uint[2][2] calldata _pB,
+        uint[2] calldata _pC,
+        uint[] calldata _pubSignals
+    ) public view returns (bool) {
+        uint256[140] memory fixedSizeInputs;
+        for (uint256 i = 0; i < fixedSizeInputs.length; i++) {
+            fixedSizeInputs[i] = _pubSignals[i];
+        }
+        return this.verifyProof(_pA, _pB, _pC, fixedSizeInputs);
+    }
+}