feat: add new verifiers (#1049)

* feat: add new verifiers

* format: contracts

Author: Nesopie

contracts/contracts/verifiers/disclose/Verifier_vc_and_disclose.sol

@@ -37,76 +37,76 @@ contract Verifier_vc_and_disclose {
     uint256 constant gammax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
     uint256 constant gammay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
     uint256 constant gammay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
-    uint256 constant deltax1 = 14324652197233524730641128864453952705287261438027941215119848149313687821891;
-    uint256 constant deltax2 = 21484419249698297517228580410359777419164148894816781833836153164365935289751;
-    uint256 constant deltay1 = 16582639760164029271670474683933633491275197367453348914396759452543655643766;
-    uint256 constant deltay2 = 403364129427239992507797759205273357623430219990520056171053424359490948488;
+    uint256 constant deltax1 = 16003296527668925742863515818275579351356339601946180391890101479883479175048;
+    uint256 constant deltax2 = 19984896270701531499196389858214296071784225307233905736778009760168662407770;
+    uint256 constant deltay1 = 5138655595787089892482835352178966166781128102524280116487962013964720103607;
+    uint256 constant deltay2 = 1217532993718676692158820192374740421387705198527773729064132560667312540512;
 
-    uint256 constant IC0x = 5807421164254058694768562974091556471982618906409701089817378417825836236343;
-    uint256 constant IC0y = 4762128381603790376888559194340882557264389099298755687176588554202025724461;
+    uint256 constant IC0x = 5596963095588548215463373338908863751044901017738158737470568961739673965961;
+    uint256 constant IC0y = 197014595429711666232705760798810381313943401644903632013191386416875480347;
 
-    uint256 constant IC1x = 16662390513821057352794413094488187612031938804807079860864108802496451001816;
-    uint256 constant IC1y = 10297510270592678540657167982591525863128041683855232684458106298771022792321;
+    uint256 constant IC1x = 5205997661858310131019668271478592188796010857087211482717528768703330586157;
+    uint256 constant IC1y = 13176893502345648015788198894995265386937497795228160152334741440356148760775;
 
-    uint256 constant IC2x = 7653025634029084987308170086828490275298599740834466183953126955197487414356;
-    uint256 constant IC2y = 19645385561052696065344838011986430522165661506559202243279342170061964546655;
+    uint256 constant IC2x = 18686575958474802319284536716008271197119798202369722729545536852821555672502;
+    uint256 constant IC2y = 3215233739805959113477947017922133477171290691316010120728592048201282926316;
 
-    uint256 constant IC3x = 10511361376569345195406025469041361191651442241768535575261966054173983787397;
-    uint256 constant IC3y = 4753267144655208758494954970965128596785915703954332029494912918157374545900;
+    uint256 constant IC3x = 1055127295460550191570931643553037666433550808218997758502836878984684391612;
+    uint256 constant IC3y = 6635530946691458473442812686202910426342274602603661196235658534469306652670;
 
-    uint256 constant IC4x = 17891598869612007035497347537395151468322232625646857061035566440141799353157;
-    uint256 constant IC4y = 7327472162072976666976779150327124950314720612127324807495386441616338368867;
+    uint256 constant IC4x = 1176481886486243698849395799015692190365205425437354380942590868210339561547;
+    uint256 constant IC4y = 11032707277468575718219050081069609294195714593272361592511167680044356246676;
 
-    uint256 constant IC5x = 19379848679264073687952185691016095700021268381890295930462472788745053969888;
-    uint256 constant IC5y = 19164887608566056729336084782278913102562387728008861526609638975081522984209;
+    uint256 constant IC5x = 21472746513384679694076117414900521235398567169230511281372877399956105858021;
+    uint256 constant IC5y = 563092790680798493082477969374982298318954854173051786179456245393201893102;
 
-    uint256 constant IC6x = 9052597422036659198765116771520013601665763509526356714069889986137129899304;
-    uint256 constant IC6y = 17053984243050986442970381835166298254892607442877935692807165714510713974133;
+    uint256 constant IC6x = 13601138852852403856005944646975090972729648614966676409231172122638333974547;
+    uint256 constant IC6y = 3581105645906785730892656040994982459922202487976234152960491483044370048575;
 
-    uint256 constant IC7x = 21406785126691449735393464427941713640943869278510912368181929030568455096470;
-    uint256 constant IC7y = 15441344638363214564807483754052042320000169836576212379606121941073936072663;
+    uint256 constant IC7x = 6157557994850342948856683835911743140429039440220926429072418330957123608019;
+    uint256 constant IC7y = 17388180375008418233457359417526833014165004918527650588909336131820427902612;
 
-    uint256 constant IC8x = 14584635132883462229965362975544665981679994676845588706509348488004715407495;
-    uint256 constant IC8y = 11601978078524726660737255096987791198409734787446205351625590575308497682341;
+    uint256 constant IC8x = 19544790484484484983818685444502423855480935224872533613761747434233145297100;
+    uint256 constant IC8y = 3086922147265903956378031708647679668364443698616954000627119704330804346839;
 
-    uint256 constant IC9x = 18566856048382194815211582775829521113999452702204011689044527664589036829978;
-    uint256 constant IC9y = 17564093409732961661054461664967275243454991970738432665314639276201066462465;
+    uint256 constant IC9x = 4095001260637928303635953754907841429905765318689568133295242708426356192097;
+    uint256 constant IC9y = 11201866687354690165969898890054530758881524395050433723353485108691384430582;
 
-    uint256 constant IC10x = 17578362792503922684070912668973950103584970370029615225140277040265536490684;
-    uint256 constant IC10y = 10072295905096503524936898194115490761143012925095648887710751149646091643044;
+    uint256 constant IC10x = 19897122716138572934585433218242234674962957249341493237507498893019713486242;
+    uint256 constant IC10y = 21689091687047727664119058388835593061120184946270862215018621609047615882056;
 
-    uint256 constant IC11x = 11176021192691907097978774092559748731443899751874219959618393028316694443072;
-    uint256 constant IC11y = 7376036693105311360497433586682614583706378369978487440906932493233217037539;
+    uint256 constant IC11x = 5478252900725318753860283254407973861234833745169084257513502840647894550060;
+    uint256 constant IC11y = 1791296742307044584126205288560498393897750881136190887025323159136398403555;
 
-    uint256 constant IC12x = 10327879881961641314568906321975805490180725947535905985095559856477223460641;
-    uint256 constant IC12y = 3098196555307154489632503773862098128291153650586044744663532040499786471251;
+    uint256 constant IC12x = 14795507180423659678567208590170058380783028172120947205106407450365097532473;
+    uint256 constant IC12y = 10820601127512798821002861433402355623851630698577616863236044291614160298924;
 
-    uint256 constant IC13x = 6604007520188320681700111646215276820846531399504948949112735036053740363763;
-    uint256 constant IC13y = 20391884831916732655879418660804444124587580108833621419350459984544674397658;
+    uint256 constant IC13x = 1371307947996742453808445358832377756162415203013759111969902645610915102884;
+    uint256 constant IC13y = 10979064264407256506966027217833361504889104814732489559103793054688600335381;
 
-    uint256 constant IC14x = 10573613170402755166663648598802974723655481690861311162091782780643794707507;
-    uint256 constant IC14y = 12641603056766073029280139827316177764406532047489910983005142005327582366856;
+    uint256 constant IC14x = 109788638163029769699092214797728443378801928834723847442030420151550653348;
+    uint256 constant IC14y = 21855764518074664201856214595345297576098255265106979512083523259607952247044;
 
-    uint256 constant IC15x = 8032993249763900729871190151880778566348652063810342826940009101155352989062;
-    uint256 constant IC15y = 21092275273423767728713685573433195066391399247575619321586800017516422017524;
+    uint256 constant IC15x = 3483239985558231052997982184949030327610541095960983024278219968128420996301;
+    uint256 constant IC15y = 14733921718987244788451642956589707498178006322890807039293135360881648657799;
 
-    uint256 constant IC16x = 6949369268030204146033557816152242151237750687177559659981302010033063636735;
-    uint256 constant IC16y = 13024090575871988182743358095945594665255237391858718878203452318841792125483;
+    uint256 constant IC16x = 14798732842280992927477761391955163343018141761671851666429268509498613724692;
+    uint256 constant IC16y = 4455056645878601140444148446204168238779052860658115931655024263695173929532;
 
-    uint256 constant IC17x = 5696684074576718041337457228655364625810514470086764663343119291679037645981;
-    uint256 constant IC17y = 20782688080692471786852240869791733265079471721127845164762298880982848762711;
+    uint256 constant IC17x = 7736826968011671338791057639700188385088653935654554560239035205278727242893;
+    uint256 constant IC17y = 500124354635552411023163921908192899897578217026396431383560884442758389341;
 
-    uint256 constant IC18x = 21493203180510390741347724896623560565563787646721333148184026110374233207598;
-    uint256 constant IC18y = 19968375627992694416627843492698194729194287566868443998824242244337241469789;
+    uint256 constant IC18x = 14998100555567060664437417744560818779123122162052297806706232682724037825765;
+    uint256 constant IC18y = 21042787205915057944739845375687838358031355418400790550766487427122410219370;
 
-    uint256 constant IC19x = 5512336834611608721293525306829636603018046531962622983181968606257550005946;
-    uint256 constant IC19y = 6009208085892191402468411187136512666153490634646230065964932723210132847100;
+    uint256 constant IC19x = 16820751365714164024735961591109709928906102027280708691045408574326309130538;
+    uint256 constant IC19y = 13969803504492496345541664178863570638687274552579034460891887717501487588820;
 
-    uint256 constant IC20x = 11460461063342597043144253617111356597266764770233533950860040127208500820081;
-    uint256 constant IC20y = 19190306512992109897447125075053164890623026446048588795322662152517679283770;
+    uint256 constant IC20x = 6300931722409788047719158584043307098783826800509826930873450623429686354711;
+    uint256 constant IC20y = 3296077608321280418003957840869174287982028175759219453107764250219772326699;
 
-    uint256 constant IC21x = 1327828313007429340545265368612436322983926232135317070796976852822355973929;
-    uint256 constant IC21y = 21048374296412833003371198781842749103037353560994844402966733372765619158064;
+    uint256 constant IC21x = 8575934641343546340479763260628203666392881516995856567983301829732041115320;
+    uint256 constant IC21y = 9883873130137129757933294169163215566229691629254682468566589714083960043129;
 
     // Memory data
     uint16 constant pVk = 0;