wasmcurves

{ "verificationKey": { "alphaBeta": { "a": { "a": [ 0, 1, [ 1630593743, 3210333854, 1761681081, 2239338649, 3451552565, 933580552, 1794444634, 3834508376, 3573598154, 621113578, 2096844817, 1906219189, 1856863761, 3548458504, 2624697417, 773183262, 3971628425, 2312714561, 1531330224, 1431029937, 1117483737, 728453855, 625183587, 115810, 0, -1, -1 ] ], "b": [ 0, 1, [ 4085286526, 2459635336, 1953058280, 1145430713, 4291595847, 225833417, 975322399, 2933592888, 112854682, 628919531, 115137847, 491060896, 2781225569, 2833168259, 2213991254, 1308375862, 1426143398, 3087848115, 4127232200, 523374215, 3937645341, 953740195, 1572687894, 111526, 0, -1, -1 ] ], "c": [ 0, 1, [ 2370606442, 3366786327, 3837954001, 2444028552, 1929026159, 3028092617, 4191841018, 1896601506, 3115011523, 1568866300, 3242386831, 2834070579, 1964668487, 3719373969, 3461882890, 803959786, 2374824165, 2648206072, 2397967564, 2334846977, 886815588, 4215204115, 2311951934, 45202, -1, -1 ] ] }, "b": { "a": [ 0, 1, [ 1462361340, 395135386, 1888791068, 3590071821, 1857060454, 1568597358, 155632213, 1438826574, 1164538910, 4250261440, 3068625257, 1069167019, 2321375037, 3179148699, 883861127, 1295261643, 3479653207, 816904737, 707982142, 316919182, 4054561219, 2746624077, 3770700927, 42517, -1, -1 ] ], "b": [ 0, 1, [ 4009131990, 3704321863, 3581503666, 1572552004, 3684729516, 2103105992, 439007547, 248983272, 1225678666, 2409594957, 2772492621, 1614751854, 1936529319, 3613277667, 3630322959, 3488402125, 1618380848, 3150147529, 349720656, 478444128, 1338001974, 1142092038, 208433926, 17325, -1, -1 ] ], "c": [ 0, 1, [ 918311659, 2572506477, 2657702164, 922253694, 2654533618, 1649230142, 4197609731, 2700137157, 3524460658, 110667701, 506622251, 4210248374, 3152545704, 94901562, 1011370731, 3859907768, 3792216779, 761889983, 4196058906, 2691616343, 4154739474, 355350312, 1956599920, 54276, -1, -1 ] ] } }, "delta": { "x": { "a": [ 0, 1, [ 2578769259, 4275089464, 2978397968, 2267307356, 1641050159, 1235457549, 3121234987, 605018002, 1450131101, 3600796294, 673928012, 1463158294, 3781890673, 3608517584, 1027381195, 2064642177, 2759540773, 670054394, 2921297802, 4003861808, 1915012180, 4222978513, 1234696808, 112211, 0, -1, -1 ] ], "b": [ 0, 1, [ 1582981525, 1822080856, 2467319662, 213433921, 1573609456, 146269846, 3526218406, 645620685, 998836767, 1827242310, 4066677307, 1460193982, 2693884839, 3070489506, 379208689, 1336830603, 13329796, 3638644692, 2232897046, 1070652653, 2692879107, 1062273071, 333713583, 58986, -1, -1 ] ], "c": [ 0, 1, [ 1841951112, 1420332454, 2848944368, 1373239294, 4161393498, 1734499410, 2490472009, 1852963987, 3683618344, 1022852126, 2516001129, 2441833467, 870582322, 1692876228, 103577716, 2941960582, 3885933981, 1833150416, 3041219364, 3331725116, 3113138021, 2238101207, 1130760295, 105380, -1, -1 ] ] }, "y": { "a": [ 0, 1, [ 3144421459, 527484313, 589008663, 3306027085, 3758416564, 167891295, 9263285, 8702506, 2508104740, 2011581679, 998283369, 4156413974, 43658515, 383823645, 3123693840, 2116437316, 204845874, 4286085392, 2799797258, 189970547, 1090652792, 3511755293, 1131474605, 4310, -1, -1 ] ], "b": [ 0, 1, [ 954095733, 1960066906, 2345500968, 4102896408, 3215601709, 2699507214, 374308314, 2673350531, 509855747, 3140888895, 3097448303, 2966292927, 2353700060, 2593562887, 2740176138, 3924217289, 4024631519, 965257007, 3074467222, 516369628, 3761105206, 740277177, 2812311921, 48948, 0, -1, -1 ] ], "c": [ 0, 1, [ 2537296335, 904048403, 3875640039, 3442136519, 601260503, 3413613370, 1565000655, 3237883431, 4205995359, 1806838357, 1503610720, 1448576458, 3017060218, 4028267282, 889634767, 2650850519, 3063505400, 1690665957, 199389806, 1018282829, 4187219454, 1053035788, 4221604124, 113460, -1, -1 ] ] } }, "query": [ { "x": [ 0, 1, [ 2215591831, 122816363, 1234249022, 2488533305, 3970339117, 983261615, 2878304029, 1900416986, 2390742682, 1608234237, 1538834889, 485993065, 4180541865, 2100311476, 3898063606, 971342252, 2129490383, 1024139632, 150807288, 3809958714, 1759778817, 2602249182, 924681340, 21768, -1, -1 ] ], "y": [ 0, 1, [ 3172930932, 3507754332, 210298837, 3680620898, 3028431268, 458254819, 2672730840, 2085508580, 164917908, 1326965382, 1374520430, 2698743021, 2688585301, 2673819380, 1110436002, 3449110419, 1272439663, 2847525249, 3257461896, 1138506233, 1282766829, 151756071, 1133713495, 669, -1, -1 ] ] }, { "x": [ 0, 1, [ 2253475542, 1498609015, 3596351990, 2654272175, 1522945828, 2864830048, 3482241815, 1406574518, 1252237995, 1253061997, 1867542503, 4088541216, 1516964499, 4272003097, 1540494233, 1884058007, 2154647811, 3104764727, 3818045658, 3754597726, 2132454205, 2355132848, 2940436785, 41923, -1, -1 ] ], "y": [ 0, 1, [ 1306448896, 2719800890, 1145724288, 3719732424, 3307517227, 868503088, 1645054634, 1117473466, 2740297051, 2706258072, 2291707329, 3387222275, 644412863, 1239015758, 2029625914, 199153776, 3311414727, 2372132457, 2863796683, 1530081250, 540624784, 319805767, 534962019, 47399, -1, -1 ] ] } ] }, "input": [ 0, 1, [ 453580713, 2710169519, 101609417, 535153258, 1383460735, 999736545, 141725576, 2861616989, 1260359919, 581319333, 3431916717, 1426803592, 3470274903, 2758883874, 3130474863, 2549816009, 2880142764, 750185467, 1389254692, 1065544311, 644283795, 829115143, 1623481080, 456, -1, -1 ] ], "proof": { "a": { "x": [ 0, 1, [ 469191358, 2317589666, 437585259, 2414174295, 2898928803, 2044916168, 1735712973, 1787341197, 2683692969, 3735455018, 3464357786, 1155989587, 1513652509, 65844419, 786688245, 2208589949, 840007897, 2944923488, 744921334, 2001209152, 3343286044, 1090308166, 2412035556, 83518, -1, -1 ] ], "y": [ 0, 1, [ 1659914827, 756664100, 4202051981, 1050702240, 4250844154, 3074152458, 1381669071, 1519766478, 3245162700, 1865565555, 214066803, 2549955874, 2863724882, 2669302883, 1618113695, 444884806, 2052227417, 1818342319, 2878779490, 178230447, 2398749246, 1822614082, 4171658695, 89262, -1, -1 ] ] }, "c": { "x": [ 0, 1, [ 3213533682, 2622504441, 2569483743, 2622402560, 3503549744, 2493089049, 487308232, 397501394, 3701198650, 3766742258, 673540480, 2315793562, 2733792106, 1241036222, 1570014949, 2069766889, 2808151087, 1567752638, 3173494387, 3949041902, 183261729, 1123537601, 417436367, 6579, -1, -1 ] ], "y": [ 0, 1, [ 941802527, 2029154466, 3013965853, 1250107978, 1915564917, 471101365, 4042071901, 2990704134, 540589699, 4143608207, 2965728086, 4264915049, 3652515610, 3497017149, 3552185100, 3217402423, 335672572, 1345892783, 1121102463, 3474365519, 2091944947, 4103139568, 3271239708, 29788, -1, -1 ] ] }, "z": { "x": [ 0, 1, [ 3361538650, 69554720, 2941087903, 496800694, 3818099279, 2217050516, 3099088836, 4186726628, 3178964495, 1521369951, 3377577153, 1412555557, 1189542333, 3327890857, 1158970128, 2995113588, 2583655351, 431685157, 1281570769, 2897375404, 412077419, 1150967370, 3139209502, 41222, -1, -1 ] ], "y": [ 0, 1, [ 2228642211, 606945363, 3232292295, 3496853728, 2870814396, 4038425679, 3285534648, 43315093, 3509421651, 2208953095, 120223838, 1943510759, 3415408099, 2456441499, 1069438604, 3027770310, 2814681752, 58911130, 3587472323, 2582296513, 2686051310, 1162560018, 85795627, 66719, -1, -1 ] ] }, "b": { "x": { "a": [ 0, 1, [ 1883242899, 3079386647, 1008313950, 1752432619, 1301327823, 286135816, 3991205864, 2865634044, 3663965148, 1581728874, 1110001865, 2029018436, 1044114211, 3798017564, 2962678276, 2594287177, 2999951971, 2823298838, 1014015839, 426095800, 2409203879, 812088267, 2579727765, 111107, 0, -1, -1 ] ], "b": [ 0, 1, [ 1347109498, 2635995894, 1409865149, 3498982633, 4238935107, 2005134020, 2049700442, 2136593394, 2233595135, 1631114761, 2518725024, 1797395666, 505118635, 982895284, 1182123202, 4115238161, 3937070560, 3544006788, 1216331078, 3402937701, 1681974371, 2030995561, 1058660610, 37217, -1, -1 ] ], "c": [ 0, 1, [ 3190369339, 1139020949, 2191676506, 2361071372, 1566528678, 1333595140, 1945857549, 3762340768, 4188772171, 316345025, 2769305479, 2632596268, 2929057773, 3007174297, 215371406, 176201433, 3802010870, 2879141498, 4284111601, 4240313225, 25415087, 324085219, 2488709858, 109017, -1, -1 ] ] }, "y": { "a": [ 0, 1, [ 2943063893, 3810829215, 790856718, 4223080352, 1805587718, 2423093166, 906075606, 768146467, 3510758330, 1774238006, 1936843374, 2513792826, 87989681, 1766569272, 1599053768, 2650625087, 2384173544, 1576588008, 2352119972, 3234063707, 4012863881, 1678865638, 2770845631, 114026, 0, -1, -1 ] ], "b": [ 0, 1, [ 4172418415, 3277826522, 4275853744, 2162396756, 184461027, 2896023135, 2005028649, 756522023, 2794703630, 3037562065, 2849428736, 3346837585, 3989737255, 1817929940, 283268750, 2534052986, 983258611, 143762713, 3535804731, 3109839383, 2517267555, 1927840097, 2312468978, 75784, 0, -1, -1 ] ], "c": [ 0, 1, [ 3831695756, 927396998, 3057560559, 3350305780, 1595422688, 1159561787, 25562133, 2685556545, 243177640, 453375485, 3238875881, 2301581685, 4025354463, 1058947463, 403785252, 3336727531, 2670186752, 2710545780, 3827961890, 4271699157, 1285665148, 3809859336, 1533369776, 37596, -1, -1 ] ] } }, "deltaPrime": { "x": { "a": [ 0, 1, [ 3441133262, 3852128785, 2866976989, 3141567233, 3437466412, 2529847180, 2738269752, 1161478200, 1075785460, 1097564910, 1083258390, 4020469425, 3714910821, 1940494584, 3276001750, 850266489, 3886010918, 3023903687, 1067207024, 3363754586, 1896272153, 3815491408, 1895866244, 99995, -1, -1 ] ], "b": [ 0, 1, [ 2578212783, 1735538012, 1582455293, 181043665, 2490423904, 2319160658, 1770012166, 4279893057, 3366038586, 746799005, 2325470846, 479952449, 3707400687, 3106073069, 4209870605, 1943092416, 469415525, 297606037, 924679716, 2491951158, 3597418669, 2304929094, 4069370977, 43196, -1, -1 ] ], "c": [ 0, 1, [ 704736489, 435202394, 1587535438, 1123898345, 1876092711, 2200186243, 2248736074, 4230959307, 2708964051, 1269690395, 1180587344, 3714369814, 2165969913, 267043257, 1515524501, 1221846501, 3059162033, 817727502, 398064496, 633320381, 1173221262, 769605278, 1911240355, 102751, -1, -1 ] ] }, "y": { "a": [ 0, 1, [ 777475984, 932169215, 507816771, 4029887023, 1800572713, 886920101, 1297028933, 1613203535, 2668291203, 4140448880, 2966137506, 521666544, 1867635846, 3022791717, 2399231596, 3750690088, 1829058349, 3220118478, 1139593488, 483833155, 2669030142, 114041092, 1469493517, 83162, 0, -1, -1 ] ], "b": [ 0, 1, [ 1229607853, 3355902885, 3835395190, 2110342252, 4080560906, 3001578394, 1603491733, 485598628, 4157031093, 3687073186, 1574545630, 18650481, 3451076693, 2453804014, 1867631055, 1871327619, 3958453089, 3913012502, 1139670988, 701384492, 3582258769, 1648475822, 3748030629, 93404, 0, -1, -1 ] ], "c": [ 0, 1, [ 1823090211, 851460472, 3622114331, 1289831700, 3074254222, 3135253463, 224619612, 1889655747, 1837434732, 1871742085, 242462730, 1454681144, 2985675210, 3256226968, 4051237360, 3678862838, 413346685, 2002637689, 220966230, 207182783, 1726159208, 1300266757, 3094349877, 106438, -1, -1 ] ] } } } }