Merge pull request #101 from hyperledger-labs/value-range

Update value range from 2^40 to 2^100
hyperledger-labs · Nov 5, 2024 · 34ca64b · 34ca64b
2 parents 59045b4 + 17c069f
commit 34ca64b
Show file tree

Hide file tree

Showing 39 changed files with 1,304 additions and 1,269 deletions.
diff --git a/solidity/contracts/lib/verifier_anon.sol b/solidity/contracts/lib/verifier_anon.sol
@@ -43,20 +43,20 @@ contract Groth16Verifier_Anon {
     uint256 constant deltay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
 
 
-    uint256 constant IC0x = 5164307371815896911515696671738873844048257722050909867831835990637012101701;
-    uint256 constant IC0y = 12354927596117908346199755324136696518322064372058485349259909333082372370635;
+    uint256 constant IC0x = 7880570501616954033449249705612423743947917217762227169455996425895409308069;
+    uint256 constant IC0y = 16037977379262161215838992441602151816132528427823476849251965711850026771282;
 
-    uint256 constant IC1x = 20222371576460641197340148762590738473920678083533188719662074960764475697689;
-    uint256 constant IC1y = 7897001712913914338190514293992881005369467044069819357567910495239020142075;
+    uint256 constant IC1x = 3191333703052089419021769453082884793399932129266866020831740455289118800142;
+    uint256 constant IC1y = 21477517066616503414140155997000632350001710942549881728779592511429573079111;
 
-    uint256 constant IC2x = 1504125502076828772513804635767555623024057782300194162723850417077389521740;
-    uint256 constant IC2y = 858320369100031974724283697183785213773993091633560622385563288753711881155;
+    uint256 constant IC2x = 16885208475016452114858926052206861980729516929087584811016509445387840675455;
+    uint256 constant IC2y = 5147245545557756973634019997703333615725927836480197246708868784411191230479;
 
-    uint256 constant IC3x = 5493470858249230343108142412555674050720320624568365358155164359336581986287;
-    uint256 constant IC3y = 11317628322030591465286609049996565879526614862359528856821175025851564803769;
+    uint256 constant IC3x = 15835356586191668496840124419874303619120998155857419776899384064363221991587;
+    uint256 constant IC3y = 20908242415588131257102523967622376586606149730424652535302995251912262933338;
 
-    uint256 constant IC4x = 21434069923620544033418441313691498595963078701376702207210110500016155495561;
-    uint256 constant IC4y = 8164005755254962127084858831575606145119101801687857812612476525976966267935;
+    uint256 constant IC4x = 9093574318834908512463783917068049424411720596282920493474417518947185056343;
+    uint256 constant IC4y = 11075523168674705447560739102902207168994349904089316239065508553166880667632;
 
 
     // Memory data

diff --git a/solidity/contracts/lib/verifier_anon_batch.sol b/solidity/contracts/lib/verifier_anon_batch.sol
@@ -43,68 +43,68 @@ contract Groth16Verifier_AnonBatch {
     uint256 constant deltay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
 
 
-    uint256 constant IC0x = 5861890033538026212667750668572473120788004819983455742285567105342353828661;
-    uint256 constant IC0y = 14554943693784272414673670067771585529532330995100148763403115114448877035365;
+    uint256 constant IC0x = 7350704524928688275292840025124065423740063008800895120525087407994752877201;
+    uint256 constant IC0y = 2799126510591142173363017397720516529394924864315551143867807018421626690119;
 
-    uint256 constant IC1x = 4739729125948578143112487239601694156755949850082652619305531308271151884771;
-    uint256 constant IC1y = 17749371344655824264585964787550860034959402409108396453133976804583835130552;
+    uint256 constant IC1x = 15114426819216201179872908092779017267381626760685787377067219151816946668652;
+    uint256 constant IC1y = 14838074688889382104234389353861310342101008292329117062017984254049923814567;
 
-    uint256 constant IC2x = 14013416492351286258930685726812465840700541217811991086500109772059195611474;
-    uint256 constant IC2y = 17341037787926101776428292785405504332612709297224939583579473367142427226146;
+    uint256 constant IC2x = 730339637320572287782154794373845462390183137415643273893913142940971480827;
+    uint256 constant IC2y = 19985499776670900046058141562265498153194098786416301295749136204157143223257;
 
-    uint256 constant IC3x = 16336125231474892941667849003611054653113378791694063869451412356483463985561;
-    uint256 constant IC3y = 16709372045210908645558210606323811804038958109984713200681465725462349228313;
+    uint256 constant IC3x = 9288139911866100824798052123452797946689070588016735822932030258103315149401;
+    uint256 constant IC3y = 16977250707758369783496569651353493853376997801050995881185421156748434466112;
 
-    uint256 constant IC4x = 1350933976763269071586957867294447937413800700092037844783181601781418103174;
-    uint256 constant IC4y = 20750311635827819546297608986632539297126216889087963597245665338649882002531;
+    uint256 constant IC4x = 21510548625929410705790577208028337997806497327590548181858615339378132408637;
+    uint256 constant IC4y = 3128887610074880752216864118368626601909966489390261420893039641632285348662;
 
-    uint256 constant IC5x = 18501231329275950544200822436029438898273816039878357368580284740930603918349;
-    uint256 constant IC5y = 16510519818898985288434662540928597848930750415753674143154410631185500112194;
+    uint256 constant IC5x = 2361488310513536785687009709084938913997548752815455418762779361014568173520;
+    uint256 constant IC5y = 13064109709118668398319496370144322446834954821774816697768219563719250168349;
 
-    uint256 constant IC6x = 427412941873824848381412611056494125871790409703845220166618687524391209220;
-    uint256 constant IC6y = 10167070060121087105778748574545912745978987835036254100788097410173501412000;
+    uint256 constant IC6x = 21741423469437839061841808146523619080128207788113423296935124975483247508524;
+    uint256 constant IC6y = 18529865771178923498390020744089890179100271666005560576880042925185095150796;
 
-    uint256 constant IC7x = 21680316401697530387659464976920243382540489663483955131578556609062302835516;
-    uint256 constant IC7y = 2771032069976544571540203366171061199405282280032342847790829625616631647712;
+    uint256 constant IC7x = 11716063437444665329534450300340853360047012717360647680536852931180756322691;
+    uint256 constant IC7y = 13954938730266059993129237217568930694055393902398630589007640179821232776471;
 
-    uint256 constant IC8x = 1589311253286323023458190860456307249957732223306580780846961205512934847218;
-    uint256 constant IC8y = 15833650494813701499577469336077389128198297210161519294143908475223515119621;
+    uint256 constant IC8x = 18539559570765334761569967454539119188781496123683317380886819179820750135048;
+    uint256 constant IC8y = 1483429005281923495773016521713883280913961201691552702249885389478804186825;
 
-    uint256 constant IC9x = 21638568856698830240031070255671678582986420697404695863717930104267814161320;
-    uint256 constant IC9y = 6975344041422413085553707201542268576262375864550055884252037251260047316151;
+    uint256 constant IC9x = 20285495211995559572269870221492706959016981268896437450344735235620123723655;
+    uint256 constant IC9y = 6752334852699479365814827613653118536864386885890891616534513343873157237627;
 
-    uint256 constant IC10x = 15566951744091774571845346864625632071562245268051450620323746657341194468372;
-    uint256 constant IC10y = 15914767178458871606751985281168248486865781320875596838197186668380476371625;
+    uint256 constant IC10x = 499733066798987642797898596902737884227228799269010229470629826857301398382;
+    uint256 constant IC10y = 15539873607166155350908234290005251689258814640931878010822879323585218295253;
 
-    uint256 constant IC11x = 8870987399617616621565790607227519512363052138281107719713711770259195535562;
-    uint256 constant IC11y = 16576269088408263050408687625313770698422473413425428513433714723321646898172;
+    uint256 constant IC11x = 14930084334244027775740030172875333009547849405540674149093528597500172682264;
+    uint256 constant IC11y = 16031096719063780066038712493256021950493445187501019225557322455675638312312;
 
-    uint256 constant IC12x = 4302631833151351458482421257465143931437663458677202329023634462155064365599;
-    uint256 constant IC12y = 10473604306887315063978965617794993524128852056520678852181652265045583989925;
+    uint256 constant IC12x = 6930962007199462838250740922397839173312453564335400737449304292728948783789;
+    uint256 constant IC12y = 16346148217738032915228412851186792388219205265009907670473983861216251226700;
 
-    uint256 constant IC13x = 10582158030205725561097015536549835398898162476729099047306076287629106871344;
-    uint256 constant IC13y = 14682837745334444080673007316454703694306486261985003264248721319007334479744;
+    uint256 constant IC13x = 9287437502652310030364103755261068142532329727588192042484528210346407028717;
+    uint256 constant IC13y = 10794968646463009884004236152576271915074358785469677937139140234440868974660;
 
-    uint256 constant IC14x = 11029547759155411999286197812647814990318800254899998378660231932754125196682;
-    uint256 constant IC14y = 16084428567867324049086244023860598710803653871684454604196448361202927418469;
+    uint256 constant IC14x = 8642192551833486309442810432407204382142862801515472400962676449719624895869;
+    uint256 constant IC14y = 4332840556069660127909924749213870708387611051261894964111742875494185381254;
 
-    uint256 constant IC15x = 1131984867972909408440829748802232780744768465826965195607437394686286413627;
-    uint256 constant IC15y = 1027448343262935656852093908415087517053342078127862257282557746183650002095;
+    uint256 constant IC15x = 14067924916167871162655244922817653716539707386728077576851376753722366021529;
+    uint256 constant IC15y = 14550114442576756814639260074491842266739552217696789898458344525407905929187;
 
-    uint256 constant IC16x = 13773651067643441656258855495261241624865695567386017806188387539831324444653;
-    uint256 constant IC16y = 10099048929651180856696561584499995020406508763374700440471459482571469923244;
+    uint256 constant IC16x = 857685849844171065596763211033783999825532174706327764798436830629594817956;
+    uint256 constant IC16y = 1806650528151069748359044935863429380424562852004122550972004167352156895294;
 
-    uint256 constant IC17x = 7261522173107989025754700034160229984396817947135820259206143417601541759243;
-    uint256 constant IC17y = 14197346282964216302960496946080841539639325641322779752411061233650174236593;
+    uint256 constant IC17x = 6579597513808886576406099469755577551041805432889990719580240981271077896359;
+    uint256 constant IC17y = 710420057294757587910020146667270882809600269535553928956263589284791937083;
 
-    uint256 constant IC18x = 16804288461152811240273272526375896569268609716294064392984996572956810172145;
-    uint256 constant IC18y = 4263264235883275783920963131811238561265613954374210889318327987454695983008;
+    uint256 constant IC18x = 11601578039573676772840572687707180388906572122494709390061757932977931982868;
+    uint256 constant IC18y = 7211311325685441076944820285599089955580368690880374995924683333150557101184;
 
-    uint256 constant IC19x = 595455057683637626512977674120429818667714277492803563528527493388253182962;
-    uint256 constant IC19y = 6206917820423018505484295069638549645856906308850248630512399872229440772926;
+    uint256 constant IC19x = 20231546290866664701331485462044304003843557412739655597831229162580880981510;
+    uint256 constant IC19y = 876382137719899827148465359455799570987326687830025736167684593436185681270;
 
-    uint256 constant IC20x = 11593280811993289290352475831100253791227442039341254544883515411103749159202;
-    uint256 constant IC20y = 19908836799588537779624973978158215794141858934866399503207571702467035492203;
+    uint256 constant IC20x = 14850885628527218757662473212989221130196138052975444666446471458588122224774;
+    uint256 constant IC20y = 12708590969663513735666954823403671843557581713214725762521430223488205347685;
 
 
     // Memory data

diff --git a/solidity/contracts/lib/verifier_anon_enc.sol b/solidity/contracts/lib/verifier_anon_enc.sol
@@ -43,53 +43,53 @@ contract Groth16Verifier_AnonEnc {
     uint256 constant deltay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
 
 
-    uint256 constant IC0x = 7931311719081566465480649715992708094598627348800170176927479505406093808101;
-    uint256 constant IC0y = 5941817376088838807810252948617666425893455770567022654597720669387465713729;
+    uint256 constant IC0x = 6276747569518122807210603303722154550190651061721865706917646303280375103675;
+    uint256 constant IC0y = 3727017199715490133457649802467220829259654841289127784357651002510660300662;
 
-    uint256 constant IC1x = 16928258953465962969890804620375640048702841828077858720472564015940591598037;
-    uint256 constant IC1y = 19043210433892171827666467549965350525693047031290804487657467779913020807911;
+    uint256 constant IC1x = 2320527881302970161082983597536012922352300864623236649934960001038519624274;
+    uint256 constant IC1y = 1916963794430692395652802477938622188603047992000097692795283307464856076371;
 
-    uint256 constant IC2x = 13893841124650965539936318506754662201448290578185576394120910797016266164214;
-    uint256 constant IC2y = 12460881501027807130891978952070445262407068438412897019863778612309816690224;
+    uint256 constant IC2x = 21596058299450284113535943657960726299563312370130332740900316107840716803296;
+    uint256 constant IC2y = 21365592615504281125064071438234105307087619234962631636728527507631860669567;
 
-    uint256 constant IC3x = 21445743299110587283548554723821727881394684401368122251892448187698319654554;
-    uint256 constant IC3y = 5607018312992910177774976204948567935037309043723870192601860202621832277702;
+    uint256 constant IC3x = 14285920220116798400391653727392610849014881108527555041872854836164662603112;
+    uint256 constant IC3y = 261892684425132757450359737228059903462096592906801079581933381899139644107;
 
-    uint256 constant IC4x = 2775357873028613337117232136055903239028228920146910237884679111134580672797;
-    uint256 constant IC4y = 9197095196062675367183465932769233516282478630286811252656294001434982167598;
+    uint256 constant IC4x = 1228717852198586389738440313344465005287288949548026556772807808074412020129;
+    uint256 constant IC4y = 19831713320116870701080957390591062454582575980268596444755997820082215594485;
 
-    uint256 constant IC5x = 20300862312984320331805178556439009361718726696623061396734499944687844067518;
-    uint256 constant IC5y = 4676843987605413835468184810986180139482566650700325692734325318376091169381;
+    uint256 constant IC5x = 8841767838175437599580623045698684022427377467875042096794082047548538173540;
+    uint256 constant IC5y = 20679680073199890089986129173790327637929547496247458879281664968283076431330;
 
-    uint256 constant IC6x = 15412595797347291610327108701909892451615837774610448992395813409002195388569;
-    uint256 constant IC6y = 7201919017117702660596912865795531136674758347788529734904080497406452869091;
+    uint256 constant IC6x = 5984994798987278036249563929239451875392161634272639360573774251855181459504;
+    uint256 constant IC6y = 6352796936852746690868771135448281060570046348664670061308691736554667627239;
 
-    uint256 constant IC7x = 8024682466624747152852615945017733672943211654044112711413649432571064879586;
-    uint256 constant IC7y = 7848265256695364873207488197234740918311304092097323838012666060904415202385;
+    uint256 constant IC7x = 3307402749716845704900160697938878641617423504456112289854922516395827936088;
+    uint256 constant IC7y = 11944686875184615500424742019351647158127603206033626393275187778966883129154;
 
-    uint256 constant IC8x = 12913719987905933982948549536012436008516883057537119801156473067033040614783;
-    uint256 constant IC8y = 5820962198588742072863664251139880598059708784737150584476221245927288298838;
+    uint256 constant IC8x = 2167921800594244881987478854261700831004688173023551862311979398289627529911;
+    uint256 constant IC8y = 18441559285570498355196553746289779298216978632355533226296682479854720307446;
 
-    uint256 constant IC9x = 14210552599250424201694968796490644936079966374724156292158744139988459739709;
-    uint256 constant IC9y = 11649980189307282998333391781661761611235819966212038608838445906719380687592;
+    uint256 constant IC9x = 16194321557743310559882244072096113269378784289973883900975657339479218893661;
+    uint256 constant IC9y = 9333607209403690316028599718414380942123291933558377264317727220665888906177;
 
-    uint256 constant IC10x = 5929466371200281104486497068860370175982984163766424537644044896768075785360;
-    uint256 constant IC10y = 689397593898417912658547973202756977260921816601688159406689650913165064907;
+    uint256 constant IC10x = 11763124843314694770674029098143898163207296445403434564003811916181443467789;
+    uint256 constant IC10y = 11474851338724165438098625917090736344985119247607432644045515084847727286859;
 
-    uint256 constant IC11x = 4968268082807827688590303184635970702339421236186336405029070096209323126184;
-    uint256 constant IC11y = 16172603842417782640650920675833145432890979710754039174897237847761578517044;
+    uint256 constant IC11x = 20463590317096967539062765296429567237451547047819217836607641222184840552616;
+    uint256 constant IC11y = 2374511497993789249592935909204108111572883083995974837409751730785943684801;
 
-    uint256 constant IC12x = 14759307472110070434555553792702366876020623959044901391998941721042349165457;
-    uint256 constant IC12y = 9219735039978169438128330112318642361562896453434094117253148544562152923295;
+    uint256 constant IC12x = 5360663496332086683030085775791171810863893422349391971737013590847118848888;
+    uint256 constant IC12y = 15003051648210065137352969604932411331891058385601013483678409194432651898564;
 
-    uint256 constant IC13x = 9794895966567383812016496369724196333563865305320144867952048471103706081082;
-    uint256 constant IC13y = 4370713696282958332809622261238407480364020244910558052370226462927406811396;
+    uint256 constant IC13x = 6455547517508404886843312050700037601528719512561840012594420335873310644520;
+    uint256 constant IC13y = 1823215784134382847282142111721942971793109047310681636547858005025540202130;
 
-    uint256 constant IC14x = 16370092467143575188638686340965006672429395309356635218045519531840749439607;
-    uint256 constant IC14y = 11593475380891852689872378527951380259748677042606029356341478138569048335625;
+    uint256 constant IC14x = 10994488460669351888245632232772517959469681851792249573047590885520521915372;
+    uint256 constant IC14y = 15460968625607687477209267072611263891412189843116393205164417979232034151014;
 
-    uint256 constant IC15x = 1283559242355494148147980131696867188691474006300052144697963344127478638802;
-    uint256 constant IC15y = 13067894734033583195992013738978344221914110650626797398077781374211860019934;
+    uint256 constant IC15x = 4566012578812710100605468161791687026100464852252694042067067033174318782352;
+    uint256 constant IC15y = 13395233754819832486048215919199827219876877519148023975528122435249203009174;
 
 
     // Memory data