zkjson 0.6.1 → 0.6.4

package/contracts/NORollup.sol

@@ -4,8 +4,6 @@ pragma solidity >=0.7.0 <0.9.0;
 import "./ZKQuery.sol";
 
 contract NORollup is ZKQuery {
-  address public committer;
-  
   function _validateQuery(uint[] memory zkp, uint size_path, uint size_val) internal view returns(uint[] memory){
     require(zkp[8] == 1, "value doesn't exist");
     uint[] memory value = new uint[](size_val);

package/contracts/ZKIPFS.sol

@@ -4,12 +4,12 @@ pragma solidity >=0.7.0 <0.9.0;
 import "./ZKQuery.sol";
 
 interface VerifierIPFS {
-  function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[43] calldata _pubSignals) external view returns (bool);
+  function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[72] calldata _pubSignals) external view returns (bool);
 }
 
 contract ZKIPFS is ZKQuery{
   uint constant SIZE_PATH = 5;
-  uint constant SIZE_VAL = 5;
+  uint constant SIZE_VAL = 34;
   address public verifierIPFS;
   bytes constant ALPHABET = "123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz";
   
@@ -76,7 +76,7 @@ contract ZKIPFS is ZKQuery{
     }
     uint[] memory value = new uint[](size_val);
     for(uint i = len + size_path; i < len + size_path + size_val; i++){
-      value[i - (len + size_val)] = zkp[i];
+      value[i - (len + size_path)] = zkp[i];
     }
     return toArr(value);
   }

package/contracts/verifiers/verifier_ipfs.sol

@@ -37,143 +37,230 @@ contract Groth16VerifierIPFS {
     uint256 constant gammax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
     uint256 constant gammay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
     uint256 constant gammay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
-    uint256 constant deltax1 = 16750032045563760710929521100859621241226846513668026156029771684316880404599;
-    uint256 constant deltax2 = 16898207697433710914864976772340912260166064601616416232383205018567189411131;
-    uint256 constant deltay1 = 3515011879290403013877934743012053356401335889951849763330532564325612883650;
-    uint256 constant deltay2 = 8625609472899458752119724414156732692585644842390067317870160518196882424997;
+    uint256 constant deltax1 = 17011914550185565149300431483363971858315352685291540400532198727349009013553;
+    uint256 constant deltax2 = 19192885467003153269775151620238165290765288803827833815667397879323833686524;
+    uint256 constant deltay1 = 3140269446733730269840931079149816571897501711158430804872345855224484096307;
+    uint256 constant deltay2 = 10256065936953718538228986629916552222168894207581157799664702571980794666054;
 
     
-    uint256 constant IC0x = 14336108542425917447460243179215548887531443288921789758034763267112594821597;
-    uint256 constant IC0y = 3063213467055302869374991715296034939540087046417250761544285949694763841224;
+    uint256 constant IC0x = 12588740490085252404142316279786200693994935905670979501675348810682772870439;
+    uint256 constant IC0y = 17209162905337902881975619302888872218470434418965427869767165268046333969631;
     
-    uint256 constant IC1x = 4649077026587766761105661538801822811988500686660034528257902152995286226420;
-    uint256 constant IC1y = 12476233742593937621066536626700126467027086901944282038169835118443143832808;
+    uint256 constant IC1x = 16556073821249172448807175516430705852614342726512327754798330442649471190022;
+    uint256 constant IC1y = 17922688402854828142659086661320639270637467205009053508498485857883459650954;
     
-    uint256 constant IC2x = 8360661053332583973195437525518843345679737721254788511839602890275293657231;
-    uint256 constant IC2y = 17787996208475963315027667576666223922798463669064180714282632392130781352372;
+    uint256 constant IC2x = 534644171215739249176761651317124852371029052898557021159376197936125451768;
+    uint256 constant IC2y = 4644736202857419194547660097743499378423038416892521919513420428581913975241;
     
-    uint256 constant IC3x = 9785946569079751391790764046446286786358664716750710071871199052326292539659;
-    uint256 constant IC3y = 882817021266081946311354002521419385351487574180348607719516996266190947737;
+    uint256 constant IC3x = 18832824307103031179683155478473514878361865504519979689024270371187374485359;
+    uint256 constant IC3y = 12084055207301937687499040668046380278411840099526065481806091354616509622518;
     
-    uint256 constant IC4x = 12640809291531477845870075407023311270862795189161180453532797575567652906794;
-    uint256 constant IC4y = 19250290048961761008598356232356849064316055284499983192468783482080590733004;
+    uint256 constant IC4x = 8053216864643745988691225434391536572326585739795521093608435997695068891377;
+    uint256 constant IC4y = 17106971743944157400345726849431774055790519227980851483410577691040647363911;
     
-    uint256 constant IC5x = 3198295856781295857057806156834726458390487561260194669912832637191868555057;
-    uint256 constant IC5y = 8868721020835362932335076322428234697810491236107884777501043742060235784522;
+    uint256 constant IC5x = 18747074984662977954849588961279567554168308504012553598343846836378109632921;
+    uint256 constant IC5y = 20791229090187369247790781211889663984590363713480684342710005563381547899163;
     
-    uint256 constant IC6x = 2390514925938908056105222000048474798061414661077134335973534900416551578765;
-    uint256 constant IC6y = 18883933119651599452018586778571926484219893156571441861996812826417265802414;
+    uint256 constant IC6x = 18403238508301064973717947386026282388575626630751146132419730611211237761050;
+    uint256 constant IC6y = 2994313494813165616050424280098996685945151264207915828215711465187400766538;
     
-    uint256 constant IC7x = 15567735182868663313348652396736838594417606007485390406094199614279723158262;
-    uint256 constant IC7y = 19899783647699456279776467890503763801710062356400886856148489342470135803967;
+    uint256 constant IC7x = 8388394024472648978108128285554472486463026921764002908138612018861597089423;
+    uint256 constant IC7y = 7354985814280599553188546123576585073267624170517351350596921358111571684232;
     
-    uint256 constant IC8x = 2922198146313718955094653112638333704853847719783139987672963810850958623221;
-    uint256 constant IC8y = 3211087459991011312413694578006874376946148198550163814081916529506248827593;
+    uint256 constant IC8x = 18774579643376487856141610048215796586620387728124752012694207437791159258683;
+    uint256 constant IC8y = 15537252275686612989859672478846407594488085752640648032277988299074224347648;
     
-    uint256 constant IC9x = 9280481517335805553019773877827568388027208648564094894076810187486828340182;
-    uint256 constant IC9y = 2731446469023583556556729659060863588647053155331668021298670538047182930916;
+    uint256 constant IC9x = 18630048510978867000832682817408630068094455223288317195864829666862421083009;
+    uint256 constant IC9y = 17349343740810157764905905214451318770515623580108513002551997901284784111264;
     
-    uint256 constant IC10x = 7035120402594659715437206973891969111861616263537882691220816912555808912102;
-    uint256 constant IC10y = 8370859161564184043870414118742730294716324516315488627679669627182324762731;
+    uint256 constant IC10x = 15958469572247662916494941099814715987817074102874497809785284218422170612504;
+    uint256 constant IC10y = 9639040360051641905398476491319237861304444995117679852391421986541082299117;
     
-    uint256 constant IC11x = 18252892156409549471503582711942818186827898810269534550816546500103237657138;
-    uint256 constant IC11y = 6950088786053252068858608708134843976953853650037336267170927255140899434651;
+    uint256 constant IC11x = 9652077515221930744146291008048442314348319473522117880600724285877935308969;
+    uint256 constant IC11y = 5606134353021132028005002082152887617421155798554292389588650296486067033582;
     
-    uint256 constant IC12x = 1755334072548569264255483825752328756660188502261310823252508026502612340595;
-    uint256 constant IC12y = 12909479005409400076810176928877098887011256368485947999972819085993034755040;
+    uint256 constant IC12x = 4426695486041588490140153496533009637317167202167939989532101427256078180366;
+    uint256 constant IC12y = 7604949828608226451766585087339147050309151906666549755203127314923951116470;
     
-    uint256 constant IC13x = 16552097706159454847442530278886453064027141214501763360789580344863692453677;
-    uint256 constant IC13y = 5953929881514293853952996241019965086771550587823788071996449823934001732390;
+    uint256 constant IC13x = 13686862470965024855148842659348009679205895747809276214398899299611248303409;
+    uint256 constant IC13y = 547465327579564620925456940504480072476634819582667374223825908698677661555;
     
-    uint256 constant IC14x = 3619185968560138174014630305975632830516758120217041036852576895912618097991;
-    uint256 constant IC14y = 9281821052864420364933957831589472205720239940338123268483559666384084907310;
+    uint256 constant IC14x = 6548821525022245604079621743112031474676250401190337896568404997488729641132;
+    uint256 constant IC14y = 9886218640963313317683048971305953520017062023907150094781335124734754474939;
     
-    uint256 constant IC15x = 8254503030347082641414552423570190634778931316381219189926097849958527585897;
-    uint256 constant IC15y = 364992073027338908344465820235200531762259034144802123806746602200531788638;
+    uint256 constant IC15x = 1109261442008461599604269045373403367421940227869051783282406164672012043428;
+    uint256 constant IC15y = 6424470857617632376502239621133891314038282559459789351583420561727178723987;
     
-    uint256 constant IC16x = 5526967546231986666584937042885735121525132484493928084139764638439494777879;
-    uint256 constant IC16y = 5238298736071644765241632504874656258530712298519490697816165224135772674015;
+    uint256 constant IC16x = 3656503181559215455648900613730561786823797010528134275921409200290564961085;
+    uint256 constant IC16y = 1530402425960454396611939823961486517986175391199470660324251764266126046536;
     
-    uint256 constant IC17x = 11928052158849068333141322537401085721326834497814420594439681913154248710859;
-    uint256 constant IC17y = 6819923895885234828441212107217745771874421854826251598301558050245481472152;
+    uint256 constant IC17x = 3005070967714696733288303926120057638009004117465795740810322542622411110953;
+    uint256 constant IC17y = 8606686843212181688760472356493708628040931435924290010340653238975424010200;
     
-    uint256 constant IC18x = 13945286268685774585609284245816122274534387542425213152741186224804686735403;
-    uint256 constant IC18y = 20023689850736852834109177652413698312032305876184320679250698041789812935094;
+    uint256 constant IC18x = 3957187310400110209068683549229630084719551875180334352177130082405272602854;
+    uint256 constant IC18y = 1835873793130770472547647567525768434675455951721633858931828184470967440636;
     
-    uint256 constant IC19x = 7345507858994618648486291116179494001930311013835063487161165329704325424673;
-    uint256 constant IC19y = 13928084575810620402150382964740122579679242576231832883484884405840679683901;
+    uint256 constant IC19x = 6672162061859184003396219991602644334688719614427483238399389807305348326275;
+    uint256 constant IC19y = 228637381882855139057596130369011323342344026015775624695791781728638484748;
     
-    uint256 constant IC20x = 1542441211724186377808041204123941120846139064048464703338728903271040045155;
-    uint256 constant IC20y = 3137377505747175717463089909181680260568123949190130340237345349107426734620;
+    uint256 constant IC20x = 6782287425632594661298375177342040742032902133519496006865292009985556604707;
+    uint256 constant IC20y = 12113687149297223658768817951582673030138249811281175534489012181583492277676;
     
-    uint256 constant IC21x = 18089876871595627141331157080961334994521269475674526479685363215994451907921;
-    uint256 constant IC21y = 9556757584162576607270540349818518035313172920973593402949336403762080493424;
+    uint256 constant IC21x = 10723579550110774298669996030587246651161919276827513899724673298686982792443;
+    uint256 constant IC21y = 11498024945946942285017220715316106421817544769986879500250519597765670519984;
     
-    uint256 constant IC22x = 2126963146484286503213121003041916545819167147574473267028159001088956325722;
-    uint256 constant IC22y = 4923799230582507077776334588235423484373707349019813468005175190929445597332;
+    uint256 constant IC22x = 7186484181110180467272533917552430311658991686853009400956909115993020240821;
+    uint256 constant IC22y = 9849383475308440666042560434082329272253618057997745883081766068853031985791;
     
-    uint256 constant IC23x = 1630008211499579806083756573010653820366097456772208529610704186894072654114;
-    uint256 constant IC23y = 21437256692871950627902345579957133056203192045088530552506588351495386493166;
+    uint256 constant IC23x = 8091337959108326609896990956021214069149439795532415593485067786104178869283;
+    uint256 constant IC23y = 10283859995154926571907515417238698203149964238589977824702423495365458170738;
     
-    uint256 constant IC24x = 6235978833784508527303135386340770208795082800621337764375680315249012051641;
-    uint256 constant IC24y = 12520301994905913552569827428623824498834825369768182952275266194107133887225;
+    uint256 constant IC24x = 1595147607589631373626860392745755811865625203283572619420681478703601374545;
+    uint256 constant IC24y = 16265210255721576927127495622871927492022659195824334741062600791158275564650;
     
-    uint256 constant IC25x = 9557042378880522891280724245561857565447408880647499944291316491268970962716;
-    uint256 constant IC25y = 4173053254415271189443551378493704301370073903364032874912232886621214855107;
+    uint256 constant IC25x = 17567685981585480327878953261520050430887101341074887785694738994231150400893;
+    uint256 constant IC25y = 12913061404754197659502999761217917534078907631337300216706386372380404441265;
     
-    uint256 constant IC26x = 5558907137697988062356440590341908538012066339933041966524965383919631140772;
-    uint256 constant IC26y = 1265354759221499511400922895984559714213033403777454282193151605098116101224;
+    uint256 constant IC26x = 4610342014028905399077942132348978117618677459695205442973627012945336320689;
+    uint256 constant IC26y = 5788090594725095757445251176811845604754251185119612830540389924687643239183;
     
-    uint256 constant IC27x = 9751551689854585596056969317163661915316163388666152587113212932637176997224;
-    uint256 constant IC27y = 686959062408464500590766187395139140177788305086921348267296100926858548877;
+    uint256 constant IC27x = 3820232163352677596709603487661077267682644227363452429920799910033141599156;
+    uint256 constant IC27y = 579789255201044357673280280043030432300381309871716059598190492595497340426;
     
-    uint256 constant IC28x = 15204338996215015644140305596940498013424414654865369050416831529709084870388;
-    uint256 constant IC28y = 17585032747777531711309342640732261489304745528556013313094390294891315463238;
+    uint256 constant IC28x = 13020961280331906106276127890007526473411536293586952253837148598492268824641;
+    uint256 constant IC28y = 13395024415960679900314491040552451724660267365853412066010463509954214326041;
     
-    uint256 constant IC29x = 8528266626121058510818266872617216484482519464579558987555612207506785300417;
-    uint256 constant IC29y = 12342223818139102981014759549174695502236137848012989763919197196673493022149;
+    uint256 constant IC29x = 13750869188969173856297569356108427286556643936164243414257211449618234271327;
+    uint256 constant IC29y = 21713662166591109058436096100403704306192299008541784908557462759719383011597;
     
-    uint256 constant IC30x = 17119266520828561648406080997934525667613304604584000471035966025020243600422;
-    uint256 constant IC30y = 18421665471214296462582991761975569758896336070160927846098291580332941148620;
+    uint256 constant IC30x = 5828812594292335537006806988287556235858568167783129492562494400870420225249;
+    uint256 constant IC30y = 7393912891526525290875762221092954127599721027330243525312416487067628055256;
     
-    uint256 constant IC31x = 4742762351654917727826973627189432694622053729108562318066638202153782440166;
-    uint256 constant IC31y = 296418244077098783759573476971605864587653722780349167140381095009970460627;
+    uint256 constant IC31x = 10078529931577642617600792785829968963406497495639972551494078745347651310934;
+    uint256 constant IC31y = 8358372685977148688999045010593445403210495675152635794488698119172596521605;
     
-    uint256 constant IC32x = 6373420478804238387526525255482563203767655965084763378892963777920233699752;
-    uint256 constant IC32y = 5240958927388120686836069809918888077195822596812702309572478339377048402239;
+    uint256 constant IC32x = 7633425882617240506138060758842480056236746295894755413366149367627510859314;
+    uint256 constant IC32y = 17485267228487928066211438884380441635763089926694729093074325324679778514103;
     
-    uint256 constant IC33x = 13182478548935811389881548821935789228860539963311772803469562081018115532203;
-    uint256 constant IC33y = 19284181554103240542859588738713963104558064730061150915875196846838455400202;
+    uint256 constant IC33x = 2617295410419634597685468162778508363200228063030611136131202794023896048121;
+    uint256 constant IC33y = 7144464273233817310664496253961451385590759643334292818273568648135740657061;
     
-    uint256 constant IC34x = 21857338780008700862459533002904678051496231226601438919471980062102870905222;
-    uint256 constant IC34y = 3162181165857557107956455208621687938114163201485659733697090034359684494963;
+    uint256 constant IC34x = 10452417926481896256895750934494760767689159461190823667991897003845546657484;
+    uint256 constant IC34y = 19503475790880779312888768227803715999037830977976255153119326250029094305080;
     
-    uint256 constant IC35x = 18030435880968799586938446245851850883375555870437835535112389707810653422623;
-    uint256 constant IC35y = 6125202981561085887220354823672469411551765147522670503222156517716519021152;
+    uint256 constant IC35x = 20101232072719872387922059250811590286423539756203377616366022247924896806898;
+    uint256 constant IC35y = 12847183667433784646026571860807932058261441075151981295214798510760641334417;
     
-    uint256 constant IC36x = 20499082633153844200671399519686952035360656473274597348828366396398130332391;
-    uint256 constant IC36y = 13503388222737966031252942835877664971660349955260197529036833213452538737513;
+    uint256 constant IC36x = 11337331754647373229637850071636708042910416947255894049022311683987562762307;
+    uint256 constant IC36y = 19585221971445798687238025239847416921507876820087072787296821589819692728172;
     
-    uint256 constant IC37x = 9976650628289049705156258459926814563874838911412039589394403452533373103130;
-    uint256 constant IC37y = 18608902514616151728316800918889818634703085071916159657497665588826618088908;
+    uint256 constant IC37x = 21813482972859810582024007749043127725999395734527273035869810520575927834371;
+    uint256 constant IC37y = 20828708308494280831615487593920088364383484519913573487634489438218047642514;
     
-    uint256 constant IC38x = 16784044963369659319370859422589778652522513891006184311796525491223728540376;
-    uint256 constant IC38y = 8419252415782463868730211466135640742417360023777427336012667855758092038197;
+    uint256 constant IC38x = 13715125080980282503227750481054841208999331430920271510223353990681930945342;
+    uint256 constant IC38y = 21554217164839463767863129340318519505507681170691300954817971862393118409459;
     
-    uint256 constant IC39x = 19129231125664208150578540534225171515241799100174060685106316051780978435187;
-    uint256 constant IC39y = 973856925697381735132603011380839579759091829854878575966871466822882495496;
+    uint256 constant IC39x = 21143439298659302901852281574017561480524942896524314650594860784774596290844;
+    uint256 constant IC39y = 10342701375302852064555943509941639739853654345505772044766168496770912449121;
     
-    uint256 constant IC40x = 14184795124277783646007275929709329324671049214116615584525996529650843521730;
-    uint256 constant IC40y = 1859538865466811488301745101236111602321138751356202468635736130353767165622;
+    uint256 constant IC40x = 4006851381577259016286245572461884192975423649583866831417190632163901350733;
+    uint256 constant IC40y = 2085691083335943555669673347406648089672311812676598074653124523184289781849;
     
-    uint256 constant IC41x = 18975537178323438898430609035810514729962354228862856866418673050920797403688;
-    uint256 constant IC41y = 185704805308515213561416117318340746577106200793007151416881264294248110191;
+    uint256 constant IC41x = 4607317517201451681764482455014255617469344545059517830871869117632682117465;
+    uint256 constant IC41y = 7785807182695707503420940197710920509102341247226532987351312990571812497856;
     
-    uint256 constant IC42x = 12125731756235036914584256713314621906042150042060439205906356190683778190245;
-    uint256 constant IC42y = 348763894998779702959420179945011307061937360949313997838646683785393984577;
+    uint256 constant IC42x = 7773258416118811612796299553380501949630884597445346529940095510860048091978;
+    uint256 constant IC42y = 1777947993297553892472891676520554229545788710962283117500183477701782568414;
     
-    uint256 constant IC43x = 7988582464934572644816260889693611174097545127855725643395669489301033617204;
-    uint256 constant IC43y = 3364614427630396450372969209269125691931038516189762459489331306338139035298;
+    uint256 constant IC43x = 6416302553933569806709414027831743255090384586181018406431427759499832846264;
+    uint256 constant IC43y = 19692472966501327981317747921446961390968332437263567618419648400717102285505;
+    
+    uint256 constant IC44x = 119354834605867772838453349803407196662294588904579081177639824541277916604;
+    uint256 constant IC44y = 13127064540613614836102585793915327680319517073287410940689195368781531916893;
+    
+    uint256 constant IC45x = 21787653173506589229976873266245096719131722408267114583773166227363598485681;
+    uint256 constant IC45y = 4496472803424694229382761144029809263657694958264606486023572644066797581144;
+    
+    uint256 constant IC46x = 6847975372314916897989740605937790495291387418451688953761286571639276189522;
+    uint256 constant IC46y = 11338394337777729253630209048734168082951971137695048384865770649704595032790;
+    
+    uint256 constant IC47x = 15767238696041289550831455382528396670026751282089850469908700269444032754563;
+    uint256 constant IC47y = 14013367493326468215250882295117435930107656554027299152776838771899437770632;
+    
+    uint256 constant IC48x = 19440416353337250108389974513141895717027092781793627275891617340489015488354;
+    uint256 constant IC48y = 7531538467142248126043438835074013413987348358134364361896425766481935194665;
+    
+    uint256 constant IC49x = 2481751527491075256200893805653785326614087366714279485183879405862990435174;
+    uint256 constant IC49y = 10111591707731043843961138292691540323340807035591618412519985037878141378626;
+    
+    uint256 constant IC50x = 7135090010833954351198392393313289800703707550375557972722559918641268438599;
+    uint256 constant IC50y = 17390905627491144680621826752871647619598761717524826136495372978243439319078;
+    
+    uint256 constant IC51x = 7679230160723636613761568482959083783690342774846618964201901620319534617403;
+    uint256 constant IC51y = 10696690223877218415534365571704515963345785661184485214707453377372372786912;
+    
+    uint256 constant IC52x = 3628678055597047236103001593667213396328949337985456249211088082889681843688;
+    uint256 constant IC52y = 17459663676191239973389293458078663015755765306289423497077934704719831728567;
+    
+    uint256 constant IC53x = 11146266136950528672721926821398631229599465517473282523537712695449130452319;
+    uint256 constant IC53y = 11700290275233092123334101747516180264198825290879031988927746696123597263664;
+    
+    uint256 constant IC54x = 6622140994817476526597722091768498518204234792434099678904877550770870479880;
+    uint256 constant IC54y = 9696454439418123656551306828294680344457632583016549730302886390932672192608;
+    
+    uint256 constant IC55x = 1893914130134687994789983053207374846137248145324836459005454706201522723912;
+    uint256 constant IC55y = 10816551517356844904401750502845786621107474809430417686118953088667852660519;
+    
+    uint256 constant IC56x = 5406879900035805843022522279478148269187102956373612391918821768021704906439;
+    uint256 constant IC56y = 18341997058840086841402256118752840150679093894229495612714951400476728269039;
+    
+    uint256 constant IC57x = 9562472283741412303886423259822695391177341845687154794748818587144168827090;
+    uint256 constant IC57y = 20726165936079434954618324848778614952637160857157359418757478418420152829427;
+    
+    uint256 constant IC58x = 20444919179699410681355337329574845175132174867826502098872853572969177173628;
+    uint256 constant IC58y = 17244089778433400094199728073013472709561353015784111244210775773147041895295;
+    
+    uint256 constant IC59x = 19006139375006819360265875722298808582074241781323192315090358710258125773876;
+    uint256 constant IC59y = 21620095059936740691014255197143703191674376300128230300062946309456464722865;
+    
+    uint256 constant IC60x = 19035094310576783902781275749820373603383698174562239958635697703826192825423;
+    uint256 constant IC60y = 12896425593058046432489869707340776706179732434137345283778522329535533845719;
+    
+    uint256 constant IC61x = 9623394068710863189422171056011476771587599372503857574133228808913791180730;
+    uint256 constant IC61y = 8271076587329425676715675316048479239477212129371722797169585048460226949120;
+    
+    uint256 constant IC62x = 15501422632037825622360280633162246738286045688188180441469829438966251116427;
+    uint256 constant IC62y = 4843693175707037817781676766894910669659572402959683191707457653234683323359;
+    
+    uint256 constant IC63x = 820993791623898896429551196487900255239614360856542402767168769835985598748;
+    uint256 constant IC63y = 6313970885764055762271696175295866369370578730486433180889997339715718445766;
+    
+    uint256 constant IC64x = 18350090997764266605100809652805413095284000744994874221743173076518461317324;
+    uint256 constant IC64y = 18317572540083217923055218170449951054772150943380872029051641359678638388460;
+    
+    uint256 constant IC65x = 8177983479729740541049045824303347822472857546386187628176211928210299103628;
+    uint256 constant IC65y = 14416808232276689536718021476520009381108354538726124932744145946074571557618;
+    
+    uint256 constant IC66x = 6313277718853730255254581353787026683492296067229929777441745161748682191551;
+    uint256 constant IC66y = 9680671896229625659271884075158575568167081551137978996211237551633059465176;
+    
+    uint256 constant IC67x = 11263136121294147921272462791054455522278411635659614005347649908208961315937;
+    uint256 constant IC67y = 1261220074099982985540775846340262309512095916327101144240209003287400640667;
+    
+    uint256 constant IC68x = 19875746582183334749301379292147507882634109449172854188493603375049810011434;
+    uint256 constant IC68y = 10607915763358604916773218345733059621893378881864770650910868678043190012293;
+    
+    uint256 constant IC69x = 11079509618383098011474767273713382764335101365783997856851877435006214474189;
+    uint256 constant IC69y = 1974168893409361068876802347678292656131729906552813349009427669038448733562;
+    
+    uint256 constant IC70x = 19239625737280097873241026655132201842823308142801489173055816185098445577393;
+    uint256 constant IC70y = 21333565656761595663730855059646223065031005338385081433074872588063542072021;
+    
+    uint256 constant IC71x = 6435639343307659231143232515514395794220400759140504263568217913039335140084;
+    uint256 constant IC71y = 13624643847295680469114417237617081718784222229689910711215198066306826533540;
+    
+    uint256 constant IC72x = 12274424478133859369446385070319583840455073575603081029495409015804150167949;
+    uint256 constant IC72y = 15540250043470182584689511198279554857661391290907252749383733912420567853598;
     
  
     // Memory data
@@ -182,7 +269,7 @@ contract Groth16VerifierIPFS {
 
     uint16 constant pLastMem = 896;
 
-    function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[43] calldata _pubSignals) public view returns (bool) {
+    function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[72] calldata _pubSignals) public view returns (bool) {
         assembly {
             function checkField(v) {
                 if iszero(lt(v, q)) {
@@ -312,6 +399,64 @@ contract Groth16VerifierIPFS {
                 
                 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)))
+                
 
                 // -A
                 mstore(_pPairing, calldataload(pA))
@@ -453,6 +598,64 @@ contract Groth16VerifierIPFS {
             
             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)))
+            
 
             // Validate all evaluations
             let isValid := checkPairing(_pA, _pB, _pC, _pubSignals, pMem)

package/nft.js

@@ -73,10 +73,9 @@ function toCID(source) {
 
 module.exports = class NFT {
   constructor({
-    size_val = 5,
+    size_val = 34,
     size_path = 5,
     size_json = 256,
-    nBlocks = 10,
     wasm,
     zkey,
     json,
@@ -84,7 +83,6 @@ module.exports = class NFT {
     this.json = json
     this.wasm = wasm
     this.zkey = zkey
-    this.nBlocks = nBlocks
     this.size_val = size_val
     this.size_path = size_path
     this.size_json = size_json

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zkjson",
-  "version": "0.6.1",
+  "version": "0.6.4",
   "description": "Zero Knowledge Provable JSON",
   "main": "index.js",
   "license": "MIT",