Updated prover keys

matter-labs · Nov 7, 2023 · 6a88f9f · 6a88f9f
1 parent bf0f65c
commit 6a88f9f
Show file tree

Hide file tree

Showing 20 changed files with 794 additions and 1,327 deletions.
diff --git a/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_1.bin b/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_1.bin
diff --git a/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_11.bin b/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_11.bin
diff --git a/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_12.bin b/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_12.bin
diff --git a/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_9.bin b/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_9.bin
diff --git a/prover/vk_setup_data_generator_server_fri/data/finalization_hints_scheduler.bin b/prover/vk_setup_data_generator_server_fri/data/finalization_hints_scheduler.bin
diff --git a/prover/vk_setup_data_generator_server_fri/data/scheduler_proof.bin b/prover/vk_setup_data_generator_server_fri/data/scheduler_proof.bin
diff --git a/prover/vk_setup_data_generator_server_fri/data/snark_verification_scheduler_key.json b/prover/vk_setup_data_generator_server_fri/data/snark_verification_scheduler_key.json
@@ -6,232 +6,232 @@
   "gate_setup_commitments": [
     {
       "x": [
-        3134321788309977316,
-        10573132553967014755,
-        3001703164893106466,
-        381414913732862840
+        4563648229522529090,
+        12621273650309129924,
+        6198549568814142266,
+        2552508369834820982
       ],
       "y": [
-        10023015411950883744,
-        6896159948336889230,
-        6414240783194755732,
-        872372229201319096
+        6942986305285328922,
+        13872369038900622115,
+        16362071052994133467,
+        804758705072609803
       ],
       "infinity": false
     },
     {
       "x": [
-        13120971644342103937,
-        11793287663204294817,
-        3883340854702399708,
-        1610760885102732376
+        11488992528554025682,
+        12016824828223971094,
+        11942004360057333370,
+        316831626296641307
       ],
       "y": [
-        2272149790438908451,
-        16362277919451948034,
-        11222024348659324185,
-        769204936692720831
+        304673622018339856,
+        7139037552557818730,
+        12475560967982555143,
+        1055588351918295250
       ],
       "infinity": false
     },
     {
       "x": [
-        17731804648385463364,
-        6957978511947926439,
-        554530057858945391,
-        1554116369209063151
+        2274984630539920017,
+        5398167177582250136,
+        16440396753384808945,
+        1037682586893548769
       ],
       "y": [
-        11068663668443960791,
-        4165938511251890045,
-        9157185920319394352,
-        1356194940161196789
+        10168660308952593373,
+        16526369642614237721,
+        569062739734175056,
+        155645558476901406
       ],
       "infinity": false
     },
     {
       "x": [
-        8019563329680255469,
-        10443600923825661309,
-        10066002756835006084,
-        2404912031772130651
+        14005362797509427677,
+        2662603874351919260,
+        14261489165672308143,
+        1470528288349794782
       ],
       "y": [
-        11909280006603456147,
-        5818438825251413345,
-        15870199885834935123,
-        2757108579883054631
+        11144229651170108862,
+        11439490264313454962,
+        114993091474760680,
+        1037267173208738614
       ],
       "infinity": false
     },
     {
       "x": [
-        9723414060399071945,
-        10180812700717519482,
-        7936340440930941206,
-        516257686460616129
+        10726125240955612787,
+        1916320162213728495,
+        1058608086768277905,
+        1651114031905829493
       ],
       "y": [
-        567977185774136652,
-        4306281713268395827,
-        18140207600873092049,
-        3061955278209883828
+        13237242732587628574,
+        4774776044666137690,
+        14401013098807103799,
+        2514139699916115771
       ],
       "infinity": false
     },
     {
       "x": [
-        18120818717781619238,
-        16711368075993785449,
-        16673817803744408050,
-        700058928459046347
+        14434760601334248377,
+        5316938318287831815,
+        6221098547630910324,
+        980422841280734466
       ],
       "y": [
-        7622480271915550714,
-        13902980411406060504,
-        6164172017934139902,
-        1836938876363296665
+        9201886393750447942,
+        3840149540273146267,
+        18179910191622136829,
+        1563809864380914603
       ],
       "infinity": false
     },
     {
       "x": [
-        15818628187542915298,
-        15402701417353228903,
-        4645743436884029384,
-        2409582523262225752
+        17877966991893524598,
+        5994085157062523222,
+        1757001537059388699,
+        624319710399696047
       ],
       "y": [
-        10225110015471016873,
-        3480449575574012457,
-        13646267911522236018,
-        3070086728021966273
+        4763287561833789230,
+        2005258298669826833,
+        16972767076042430273,
+        143191352994868054
       ],
       "infinity": false
     },
     {
       "x": [
-        15593293662666768812,
-        17768691370516984644,
-        17174288836059912543,
-        2950415245130983093
+        11830690209042008764,
+        11761396005838073769,
+        18271188400274886574,
+        2896734446482773484
       ],
       "y": [
-        10405941745355450827,
-        3865610534756768698,
-        563805946543955734,
-        1806918679491891699
+        1890606551566554401,
+        10220931290312275762,
+        3256711195869515344,
+        2466626485328709457
       ],
       "infinity": false
     }
   ],
   "gate_selectors_commitments": [
     {
       "x": [
-        5354921692103962663,
-        10597914855112022168,
-        8283977291194706970,
-        1254033438787241395
+        10865727529243127085,
+        4083978853392244827,
+        14303622309482785753,
+        2263042021033673595
       ],
       "y": [
-        17990692095059328463,
-        7491895001046969405,
-        17510882385599010078,
-        1762527058736778745
+        3019601017411802529,
+        880444282195426618,
+        9998743525359587628,
+        2891421025832200233
       ],
       "infinity": false
     },
     {
       "x": [
-        12328426125821267783,
-        14677689403443047323,
-        2357692814373165823,
-        3268494923353713205
+        5208608554346323426,
+        8575970970223832576,
+        2966209169082345602,
+        239576408267301488
       ],
       "y": [
-        9394214569640955242,
-        450630302635608118,
-        1477019964334489453,
-        1150908451828220680
+        17715084817752316452,
+        2726293100894160682,
+        17920596859559317135,
+        3485576345363305439
       ],
       "infinity": false
     }
   ],
   "permutation_commitments": [
     {
       "x": [
-        11073033365046587506,
-        17543366073703943346,
-        2925375977998636107,
-        411355966917613086
+        14761045450946573029,
+        17157644513453531531,
+        2555518804134782053,
+        1415819224310783987
       ],
       "y": [
-        4634938960149933815,
-        10038620738808728516,
-        5260176309304737799,
-        14410327903164543
+        17265629196749977462,
+        4128711855633066822,
+        8435602817910411328,
+        1408116296902303196
       ],
       "infinity": false
     },
     {
       "x": [
-        4505573069708166334,
-        3514663015240928368,
-        13885581324134225254,
-        2759554901468343883
+        3307267823832528482,
+        2406249680085831639,
+        9091964031261402109,
+        2846274000290842933
       ],
       "y": [
-        14766134794032708062,
-        3419963379718679828,
-        14090109324006346322,
-        2080971354192483161
+        17374905554931807856,
+        6690578002079222163,
+        11809376320193686210,
+        2676076649992974574
       ],
       "infinity": false
     },
     {
       "x": [
-        10034756028637387237,
-        13956897381252459181,
-        17676764419229650887,
-        1786540180828440303
+        3159118708748226574,
+        5508845413629697013,
+        13350869305506486049,
+        689297560178790472
       ],
       "y": [
-        16234833038341145650,
-        1114974762353197748,
-        16711158590984748387,
-        961724704749485864
+        15696011303896469684,
+        12551611148155235140,
+        14438660833518031207,
+        425021756161657108
       ],
       "infinity": false
     },
     {
       "x": [
-        13207237492056542947,
-        9498840683026707597,
-        13316073393799666368,
-        2265958217127439582
+        18349397811516917436,
+        4473982696343317918,
+        13070312540813307819,
+        2109468484629113245
       ],
       "y": [
-        9080715171198565366,
-        9520983963961194766,
-        7885036753736171049,
-        3318336507646038340
+        13254534552549721008,
+        17388411854346636521,
+        17875890960520499518,
+        1062184221180884481
       ],
       "infinity": false
     }
   ],
-  "total_lookup_entries_length": 1786644,
+  "total_lookup_entries_length": 1787472,
   "lookup_selector_commitment": {
     "x": [
-      9218954341000481996,
-      1038591043397823945,
-      2355917848722531772,
-      1603833229224637991
+      9324906502432882695,
+      14977861238256290580,
+      12538013124354067293,
+      3408438202312564138
     ],
     "y": [
-      9294257929334679357,
-      9665091690516467420,
-      7057032139323633744,
-      2846067557162208306
+      14942105932194201701,
+      12210090881357612547,
+      14774705021036784261,
+      2531694948512337448
     ],
     "infinity": false
   },
@@ -299,16 +299,16 @@
   ],
   "lookup_table_type_commitment": {
     "x": [
-      2681380516794566972,
-      967983640969946255,
-      2727464508424142824,
-      1972327038478390223
+      1732877442096985191,
+      7537030715658833452,
+      14073502080301311448,
+      2178792007727681099
     ],
     "y": [
-      7977458078956869600,
-      12274734452276806231,
-      29244742286950686,
-      667948288229117220
+      8513095304113652904,
+      6581396660744182779,
+      13939755637576387431,
+      2477157044961106453
     ],
     "infinity": false
   },