Update verifier and proving key

packages/contracts/README.md

@@ -25,7 +25,7 @@ $ yarn test
 Run integration tests
 
 Before running integration tests, you need to make a `packages/contracts/test/build_integration` directory, download the zip file from the following link, and place its unzipped directory under that directory.
-https://drive.google.com/file/d/1Ybtxe1TCVUtHzCPUs9cuZAGbM-MVwigE/view?usp=drive_link
+https://drive.google.com/file/d/1XDPFIL5YK8JzLGoTjmHLXO9zMDjSQcJH/view?usp=sharing
 
 Then, move `email_auth.zkey` and `email_auth.wasm` in the unzipped directory `params` to `build_integration`. 
 

packages/contracts/src/utils/Groth16Verifier.sol

@@ -50,188 +50,188 @@ contract Groth16Verifier {
     uint256 constant gammay2 =
         8495653923123431417604973247489272438418190587263600148770280649306958101930;
     uint256 constant deltax1 =
-        520994677997493400810773541476499788644902082984396453075685762761831850120;
+        10433082117781289465772979793225448958552973147056379387107424694719430078183;
     uint256 constant deltax2 =
-        10213897956116323293360574495863850733565743032313310303301962890191828600579;
+        7275826864108750902980191877201544327099639445097295071715716197584022501217;
     uint256 constant deltay1 =
-        7932164237875706492467150825847531456461165832347520966415283522471937964900;
+        12045503589921692978672400276439014666986009309508030338062238114576580523348;
     uint256 constant deltay2 =
-        13933167949481980812622491915190180689983098052228504440538951968850456401091;
+        5167266045144281780726036397587954855586209241615262341293096620571928275241;
 
     uint256 constant IC0x =
-        5535234085311902579901349478459196637795058221120958134445592343488246156733;
+        14420976692606365609454257135434328632805959473973286981673284088060119898838;
     uint256 constant IC0y =
-        5306640240432430234979242614873688760288740315547161616274789884917660992367;
+        3237727173942946479267676846429217525953135300179916547171195052204761246016;
 
     uint256 constant IC1x =
-        10707387490009252629078273089029959904307706408726467155680696001386854048915;
+        11242243116165410418833602736488883618535128769898487771024836696023857465078;
     uint256 constant IC1y =
-        17653533518649258839749460334216534095963029303372459441511113120126665109653;
+        3944125875514495469428761178435611665072101970023736373804875966482548972424;
 
     uint256 constant IC2x =
-        20865571486499188594003814476515099918525806346210086833881258772408663191533;
+        13444687970779241874983655345748698054742845164432935489947273666155122460289;
     uint256 constant IC2y =
-        7888240421702647837386220931474009495401756148617371230939296514314837098271;
+        21224652167029042637908968340315123408212528634456523234010312093840631034658;
 
     uint256 constant IC3x =
-        1912978194609077207430131695891867170745002253126750956906023142956794841865;
+        6223278095306548402665889948737566703639314941454342116499455309193776009394;
     uint256 constant IC3y =
-        17615941814906629303790964184866269246906472609406726939478790210268313990051;
+        3166189940732838088289487889047362887677679902266639433494062252267843006033;
 
     uint256 constant IC4x =
-        15066418251539359853074143581365946179824576559935306245174822608350324474776;
+        10816631512908557343349023271022520591434729012608504881463056258162562470478;
     uint256 constant IC4y =
-        3268372113574542796802111569975146953310662150883456386537997506424333670939;
+        7553268499036051315278338406042049999218595304176271777756017758867657854668;
 
     uint256 constant IC5x =
-        16726903819494555062907147643613770035747444680904544904305313872617709937814;
+        4071416866028362268560008820862586961030580397814903526444213717756336978375;
     uint256 constant IC5y =
-        17101225626470597533777593163737774333478931604126018373298094394038436070638;
+        5882120478213084184478310869582676016227773303131677302373100370040076790180;
 
     uint256 constant IC6x =
-        20641928936490067347238549514729636898746687294162031430805590421560903783440;
+        11734717795004643123638327357128685172014034657612399074715429226722658631266;
     uint256 constant IC6y =
-        67121451455228913817899520547955848577485738949760740559721896890970176103;
+        16373602507399860749002874686406539840487965214428380629195095307329304471831;
 
     uint256 constant IC7x =
-        14545357897180104829942737321629647336974601349904876305377785895976088498628;
+        17995242574665353969882544970809346971980578867255316834879417403787422177779;
     uint256 constant IC7y =
-        16314295394308016823245804523460668622871621620058982289202172672703214642909;
+        19598869527810550137301357794896707958610742032745888008070796990675647167438;
 
     uint256 constant IC8x =
-        21739153088746313904366793933727782582174946747904879487285317254557443015329;
+        15333007330168660247285804146177263702283991094081656975888675677742499858801;
     uint256 constant IC8y =
-        3132175803297520185172383705548796916566539464602625887509031362173771022843;
+        3622983327849337081794030911901750861761088652919413360963959440884276356515;
 
     uint256 constant IC9x =
-        20333233803298528081912583132659619517672056679176472634300802350468027326361;
+        14592598453216971911118910753077725013203270532742585163748407745719533451518;
     uint256 constant IC9y =
-        6238837794343377502421946404928002513039151091738403488064287245988205748593;
+        1732486974024268892903158999835737802052796658580804609834621732126532847367;
 
     uint256 constant IC10x =
-        16418874123357333544592669082833232850459535832174384729993255430764462500486;
+        9608760299311764957965020896382267062379773438090355782074251684342995171221;
     uint256 constant IC10y =
-        21771971202968985066744191573424980335377073332855742387685123535002522571529;
+        18768971212393705710205169899071271227246850342771830091251994505002517649543;
 
     uint256 constant IC11x =
-        19451975215864606845692411747435064359921385769371233821650301822958164252383;
+        18229713854414772793917571039862241859243290635273907596834836608693704592373;
     uint256 constant IC11y =
-        20892514595722901078388943250566322962503399436888984708776669059327181439790;
+        1354957943711196195900175201625492118583365814055323140317564226352214552501;
 
     uint256 constant IC12x =
-        7890932830092388862341624941690789312256479754725115142819338325966740669428;
+        4540048316384448988784022044695474025704244408393204872837050282034324974955;
     uint256 constant IC12y =
-        4418832493543398820840947134519317894746836913806654901909239755962388809991;
+        12889131931011399139025112922332330923524276708703486137710524916145921772003;
 
     uint256 constant IC13x =
-        8199473712814016100135467002253188985688335051507321176911775440880532334952;
+        10260170402680733092165416374102715050316461777911507389592209476741076666114;
     uint256 constant IC13y =
-        15997818842062211202600134971063758566999644777722172606469491329666812258276;
+        10621497058496187206533851857372855187411269122792661496327887622312773096373;
 
     uint256 constant IC14x =
-        12137522381148387733238329761055359894311504591070198713455315089652636842402;
+        4211461709999443083034879779565627271437397337531026812125070026750873693080;
     uint256 constant IC14y =
-        21339188004338495042416918774038965889032101950904198621697204175535425843091;
+        18467608266766262084409632308104903215532489446465294776664019514313833622275;
 
     uint256 constant IC15x =
-        20499263784776697905943622542054972660913496529317877469532325036659142860841;
+        9139115676316577941242771581653053080955401927531325123468615971408706509241;
     uint256 constant IC15y =
-        11428736355199483131940447330380125032711949052439215155046658645463458617674;
+        9164313109700564988896172664560830764060639180869132590006516315434795315437;
 
     uint256 constant IC16x =
-        5754299204496299424940297228286983528858894010778459654161035126221861884425;
+        8055062813885465561166049536110231123741745748861232693686007271655092618041;
     uint256 constant IC16y =
-        184143361306450555375946116665530361251584344793605929804900169497536069657;
+        4510221627106525233912238941858162972422084397106560474450183916928061274103;
 
     uint256 constant IC17x =
-        6863685095405518858940222663610976520118803865048723755871419028593531099958;
+        1507186560667512546403688953670998250315628457214357234952217475451563331987;
     uint256 constant IC17y =
-        18102099448859799403953336894017457656590279241400870825068223761138751757204;
+        17071593518480573061174595519667499531902707878706006270613337175041459137032;
 
     uint256 constant IC18x =
-        11617180898926442769507234462139371394680677212983320064407531026440672878535;
+        16762847668396014973033660303062581513242379616013803571550493698889447450812;
     uint256 constant IC18y =
-        4231987035195694511291113860396316866846277265956849978459149363401736899419;
+        17006420456782153650908127824637694821957086423954188936477697337268237314792;
 
     uint256 constant IC19x =
-        6338405922510297847509581085618085787266710988385331069423772530751893351108;
+        17577663376594144399743129857840103856635877754916782842519048073412103543225;
     uint256 constant IC19y =
-        2369188132617549234166848605509335807620667833570812871717711881712251941471;
+        21284834289036339572765424015780927653463792202070493220185327060720557536153;
 
     uint256 constant IC20x =
-        6534724304493884898998457959752744402731711456639277994605971968266824841921;
+        16974417587802350668283436092050410822135612040525093207677793563266434898899;
     uint256 constant IC20y =
-        3616930696544290755224333216672259977980824937811778199173736509869170686624;
+        10577911945362631640255946262746706583221370481437827188366150551549490701563;
 
     uint256 constant IC21x =
-        18296109485859597664201013922077450611537275721380521453297622562810889903055;
+        7648089745961110787060572088126537400868566614244157722652493282774570897306;
     uint256 constant IC21y =
-        3895545879384074505865915948837152152498358964611960941429309095904181030693;
+        5771535376772212949945259105932244016275600714895136777592719710059589930578;
 
     uint256 constant IC22x =
-        12343813894528681582898501974195928908758133920463632788058140152731464749914;
+        14921736432665742630629608167623006910311804948046840596497195761330490353359;
     uint256 constant IC22y =
-        21505758529614139837798769683411075306857597005036383220173003789253857347751;
+        14215720104074512767679668828223147475518903442603114867950535356580700634265;
 
     uint256 constant IC23x =
-        16230461810715823239242025482008567032302510218301798998030587563164759203923;
+        14807951812496054917199644721274028450973199590549199626326743360499724939100;
     uint256 constant IC23y =
-        1994949152609869198152052650904921912838643069265165983919780834335733459441;
+        13396573693115293914922022639761946049996991749562789764893885956377368829023;
 
     uint256 constant IC24x =
-        373995982353912590050571385234870501485812926774804412495284185340492728591;
+        946959077341401468258673477010661575493350299894729588837485560993685482032;
     uint256 constant IC24y =
-        4424414072575513799911234230042788376840811362954861538886070866583770853757;
+        20570356357018532028601279688731350534146086904670254722628961938492868330345;
 
     uint256 constant IC25x =
-        73053181031153871276946499443822334078747902352960726679539712950424139587;
+        2148991523060877253038248533639729462350984432768284099241119419519252893539;
     uint256 constant IC25y =
-        1540570167066699022838327597833448980761202822749917678465275227142577692420;
+        19770588615554020041636512722294181393662192009340177424932751009199907422519;
 
     uint256 constant IC26x =
-        19743666564083954842724375605301868007217803605683850153936265256536005058028;
+        3747878854274778152623809873153099102641291773237420658483003597255752380852;
     uint256 constant IC26y =
-        17989815625617579036436769970865806048561975460718195347202285390279820435349;
+        9101065225212227091551571514843375002653632703977216400939979268283954265300;
 
     uint256 constant IC27x =
-        8021544724659208314956854536191758170410161794829262652377062879718582077619;
+        21031066699877095106651494566013301499428447799745230410837452349553101774320;
     uint256 constant IC27y =
-        11242343205078067027061957056593092382351538151124811098324850161004134673555;
+        16064211054461593402319195858630318172586733205260338032143803066661211213772;
 
     uint256 constant IC28x =
-        3078234746564587714000443808454353377587938001919200323959521327347201776344;
+        7134851187269606902216669356694699867879169670464902433281001074684321873924;
     uint256 constant IC28y =
-        2745006783235117142840024866060647109576786923760899534870847030757937709480;
+        8200092285454074110879487215112662564626493123135666536713788988496182625169;
 
     uint256 constant IC29x =
-        5964844476592478242407630507799027172948004079052748175556332403023505609276;
+        16783075251656600287266260045074464061567969583063942600473764372418413016777;
     uint256 constant IC29y =
-        12768841436519508981792953013446512028720534352691237119399120037998541137224;
+        16335574261246374092454229631189633336308135807569085967237651070836039968818;
 
     uint256 constant IC30x =
-        15371609663317589294806761513526368989695520686639615266578243336031459611909;
+        18767147382384409410413363730064028585638124996514027800481404559552256526;
     uint256 constant IC30y =
-        16994646314587748959724789317702812017993403087486552388242926535433658915883;
+        5893729199256651364790555780931353184898130539524140758522955719432990189455;
 
     uint256 constant IC31x =
-        6683739596768676873248624858087923536398042926812221220245863544486923422711;
+        16673100255008534170974248428282891797220989026129402665363975376767488775417;
     uint256 constant IC31y =
-        12457051898274801033654726559510059327583138828424088437950360209133530872938;
+        11242595605003176651284733632654591951414346866379786815099235732235467678271;
 
     uint256 constant IC32x =
-        12960094561130886505165854876806731618571707898820633243029947918452735526807;
+        14304354639208062657751514661745433699866474083874289024775056731428339652996;
     uint256 constant IC32y =
-        6820833146511263887962056926524443259150994889983748875463240028627107473405;
+        21067499116906247821838563471313426612497479641552212451088084053907374443686;
 
     uint256 constant IC33x =
-        996044632338712992107340240713239518089208404641712342335139731510181571935;
+        14695351664477545562934225515932933391739717812930861530027307263509227127839;
     uint256 constant IC33y =
-        273204942495896233059800495345764298864994985906625498267135262620807809339;
+        13797285223976228908447726624003414144346497900738839904003106351418953773996;
 
     uint256 constant IC34x =
-        1813777432174456228797740790983800618055554859202869474902366329763076454717;
+        16696383166685664550749463360579321447259768183797789828152025370318762267913;
     uint256 constant IC34y =
-        18263062241351175416183473322099225631153099284041729083414647404711496873274;
+        5539498916849826447504399176766255291145081992895211478547376199843753155197;
 
     // Memory data
     uint16 constant pVk = 0;

packages/contracts/test/Integration.t.sol

@@ -146,7 +146,7 @@ contract IntegrationTest is Test {
         console.log("SimpleWallet is at ", address(simpleWallet));
         assertEq(
             address(simpleWallet),
-            0xeb8E21A363Dce22ff6057dEEF7c074062037F571
+            0xf22ECf2028fe74129dB8e8946b56bef0cD8Ecd5E
         );
         address simpleWalletOwner = simpleWallet.owner();
 
@@ -181,7 +181,7 @@ contract IntegrationTest is Test {
         emailProof.publicKeyHash = bytes32(vm.parseUint(pubSignals[9]));
         emailProof.timestamp = vm.parseUint(pubSignals[11]);
         emailProof
-            .maskedCommand = "Accept guardian request for 0xeb8E21A363Dce22ff6057dEEF7c074062037F571";
+            .maskedCommand = "Accept guardian request for 0xf22ECf2028fe74129dB8e8946b56bef0cD8Ecd5E";
         emailProof.emailNullifier = bytes32(vm.parseUint(pubSignals[10]));
         emailProof.accountSalt = bytes32(vm.parseUint(pubSignals[32]));
         accountSalt = emailProof.accountSalt;
@@ -262,7 +262,7 @@ contract IntegrationTest is Test {
 
         // 0xa0Ee7A142d267C1f36714E4a8F75612F20a79720 is account 9
         emailProof
-            .maskedCommand = "Set the new signer of 0xeb8E21A363Dce22ff6057dEEF7c074062037F571 to 0xa0Ee7A142d267C1f36714E4a8F75612F20a79720";
+            .maskedCommand = "Set the new signer of 0xf22ECf2028fe74129dB8e8946b56bef0cD8Ecd5E to 0xa0Ee7A142d267C1f36714E4a8F75612F20a79720";
 
         emailProof.emailNullifier = bytes32(vm.parseUint(pubSignals[10]));
         emailProof.accountSalt = bytes32(vm.parseUint(pubSignals[32]));