Merge pull request #888 from matter-labs/update-generated-verificatio…

…n-keys-c7135af chore: Update generated Prover FRI verification keys from branch evl-update-prover-to-1.4.1
matter-labs · Jan 17, 2024 · 012ce13 · 012ce13
2 parents c7135af + cff259e
commit 012ce13
Show file tree

Hide file tree

Showing 4 changed files with 133 additions and 133 deletions.
diff --git a/etc/env/base/contracts.toml b/etc/env/base/contracts.toml
@@ -38,7 +38,7 @@ L1_WETH_TOKEN_ADDR="0x5E6D086F5eC079ADFF4FB3774CDf3e8D6a34F7E9"
 L2_WETH_BRIDGE_ADDR="0x5E6D086F5eC079ADFF4FB3774CDf3e8D6a34F7E9"
 L2_WETH_TOKEN_IMPL_ADDR="0x5E6D086F5eC079ADFF4FB3774CDf3e8D6a34F7E9"
 L2_WETH_TOKEN_PROXY_ADDR="0x5E6D086F5eC079ADFF4FB3774CDf3e8D6a34F7E9"
-FRI_RECURSION_LEAF_LEVEL_VK_HASH ="0xa16eca5f64c58914da6c8b5774ca18e1e550b3b01b1b25886af352d60699421b"
+FRI_RECURSION_LEAF_LEVEL_VK_HASH ="0x062362cb3eaf1f631406cbe19bf2a2c5d0d9ea69d069309a6003addae9f387be"
 FRI_RECURSION_NODE_LEVEL_VK_HASH ="0x5a3ef282b21e12fe1f4438e5bb158fc5060b160559c5158c6389d62d9fe3d080"
 FRI_RECURSION_SCHEDULER_LEVEL_VK_HASH ="0x3a63b3b93acd377708218a4a8ca792c02b954c4984b42c2473b7043874893e96"
 SNARK_WRAPPER_VK_HASH = "0x750d8e21be7555a6841472a5cacd24c75a7ceb34261aea61e72bb7423a7d30fc"

diff --git a/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_5.bin b/prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_5.bin
diff --git a/prover/vk_setup_data_generator_server_fri/data/verification_basic_5_key.json b/prover/vk_setup_data_generator_server_fri/data/verification_basic_5_key.json
@@ -19,19 +19,19 @@
       "public_inputs_locations": [
         [
           0,
-          957562
+          957655
         ],
         [
           1,
-          957562
+          957655
         ],
         [
           2,
-          957562
+          957655
         ],
         [
           3,
-          957562
+          957655
         ]
       ],
       "extra_constant_polys_for_selectors": 2,
@@ -144,100 +144,100 @@
     },
     "setup_merkle_tree_cap": [
       [
-        7192615703925347057,
-        13316728294173180184,
-        17453731965438729658,
-        2398064678690644989
+        5863338309468690805,
+        6612807556868623855,
+        14384447122223208889,
+        4869624617941633977
       ],
       [
-        6258674450867276280,
-        10083659327151552996,
-        9041996149098971707,
-        1506297874444744102
+        7203568093424325982,
+        11467433213790803023,
+        3331132209617185572,
+        12059630931627430867
       ],
       [
-        9236610448992877915,
-        11699447260844011212,
-        6220371604720342240,
-        12519108263443644816
+        17754341693454587497,
+        7044019905110787629,
+        13344874745221604862,
+        689445111894783375
       ],
       [
-        12950928977457836996,
-        956418242372433781,
-        4347213390104314382,
-        10765232784769303690
+        12146861234544017277,
+        10376115062914418911,
+        8960119128938611413,
+        8559956938223261930
       ],
       [
-        11384242966542836017,
-        3082302716068285323,
-        3131334108952100879,
-        15574862907302106299
+        16520223933708511688,
+        3172930642611959373,
+        17561897383101277942,
+        8480394309945227558
       ],
       [
-        12438507955832946745,
-        13323370423393834191,
-        14175927546601018650,
-        2656306051588702780
+        1996517481667965644,
+        7377981481713124790,
+        4085759919146714953,
+        14547160858649434950
       ],
       [
-        7049867034400021873,
-        12069202358083873822,
-        18417046096108819927,
-        5313059332445157316
+        6783829941378618951,
+        4164473016846576356,
+        6466125109246198457,
+        5555424632322755268
       ],
       [
-        18098916634046803924,
-        18022661526532859511,
-        3576088875085919267,
-        4183196132155874154
+        15545095573096466305,
+        6069931892954605821,
+        9897118900133603670,
+        623299142232746660
       ],
       [
-        13242953875289119197,
-        15771349564148861771,
-        637678443059290356,
-        17012128417222826752
+        2729973951622970375,
+        2475966630698408655,
+        6354477244264616033,
+        16467651095039013404
       ],
       [
-        2742752323862237122,
-        6173801935702041659,
-        5041701392645685443,
-        15184610313141750338
+        3475789501107470785,
+        6545047721624920952,
+        13708118956887446396,
+        8327911440041257243
       ],
       [
-        15226391989765550873,
-        8664624928953145899,
-        16229247832388222990,
-        6204703529610290123
+        12619459378778019696,
+        4556930387203524575,
+        15096694625117428691,
+        968312946067281062
       ],
       [
-        3100012398464258137,
-        16765318667499627479,
-        13361722610019881200,
-        13713793060899676360
+        15417126618137433078,
+        919913711636678455,
+        601385876894393616,
+        10002950656997366990
       ],
       [
-        4034882700344622584,
-        2501764411548358956,
-        18391276561019572845,
-        13423567517848644554
+        13539183528986038681,
+        18114796302738189862,
+        17405354768003119916,
+        15572242745340962324
       ],
       [
-        1325763499342445694,
-        9155307171493281968,
-        14197049963971006522,
-        1937243647580665931
+        9674870974878238491,
+        12069223024267066514,
+        7771360710281282208,
+        14926388438391014942
       ],
       [
-        9287508207391069091,
-        17573749693817444792,
-        17485398402191349043,
-        4422292398032702003
+        18104374714769140792,
+        16885383007413710616,
+        14207969031693102569,
+        13387272531183358013
       ],
       [
-        17185825527094194580,
-        13361742382389537430,
-        11771888588366159039,
-        14536266100089187043
+        4720607235344128981,
+        8734926750581912691,
+        8602628498785008248,
+        9428253327807062948
       ]
     ]
   }

diff --git a/prover/vk_setup_data_generator_server_fri/data/verification_leaf_7_key.json b/prover/vk_setup_data_generator_server_fri/data/verification_leaf_7_key.json
@@ -162,100 +162,100 @@
     },
     "setup_merkle_tree_cap": [
       [
-        1587784102820510754,
-        5807030687484439993,
-        17469073849147197907,
-        16499475280882242143
+        2754337122404035131,
+        13536623891656361365,
+        1007616849063951008,
+        15105252681621581082
       ],
       [
-        2835497370569530645,
-        17011984021428790805,
-        4921343150471659524,
-        7108363356625735408
+        8308444090318189338,
+        7446058959525096525,
+        13329207951509548855,
+        7561889402802668448
       ],
       [
-        14819830370244777527,
-        1421467218942147961,
-        13380319313977628630,
-        12493802424314102740
+        15626189183123654473,
+        9389275788860639449,
+        7727979895208578309,
+        8967557569387905568
       ],
       [
-        10777038316860465569,
-        14937171223843423199,
-        15611853996420292168,
-        6215279689672427436
+        1271041653742580722,
+        1508771155767829929,
+        3539674211903238731,
+        6674336842512236791
       ],
       [
-        6528663111059669628,
-        11856750711881734903,
-        8570193669416245299,
-        14569887644079205488
+        14993085933639327428,
+        12859616637151917255,
+        17451807438447563279,
+        18361547219004635882
       ],
       [
-        9103163094344117765,
-        1939373465909074185,
-        16731132176907161984,
-        11428077390996838031
+        2596569918238049986,
+        9535951245061094004,
+        3612719904693838716,
+        15669710216801791634
       ],
       [
-        9336506614830173917,
-        15525457470762656051,
-        18392797210426547971,
-        11320166924216800689
+        2923247806064529346,
+        476025466236692654,
+        219470078253531684,
+        3253637150697045053
       ],
       [
-        7211694455149363084,
-        4120655567124381649,
-        3290865176479530146,
-        16402494302853082212
+        11455918723444914411,
+        12760698121370134283,
+        1348665151397345538,
+        1503330250917801638
       ],
       [
-        15958946646775758904,
-        14227129658625292699,
-        8506985733363434193,
-        14582231847454662460
+        3882061487409180567,
+        4539967518573931769,
+        16041271276470561136,
+        13198977187430751226
       ],
       [
-        15487241605445964987,
-        7164813654118920828,
-        15242189646417784470,
-        17890985662868436369
+        9175887734272823437,
+        11834689895461412171,
+        15661083739716912511,
+        11679573170871122987
       ],
       [
-        6997405625332018391,
-        5154020192643619390,
-        12049355980946680162,
-        5189706347980110792
+        16807522636555833221,
+        8478021735953695140,
+        6319467368854890639,
+        9055828631796683676
       ],
       [
-        9135218752957885336,
-        17923763756284281987,
-        1261998793045648995,
-        17678346538623648872
+        17441028216195758717,
+        16733042275859432057,
+        16209233366181649846,
+        16396552402939532160
       ],
       [
-        16950924319208062283,
-        10899968716283305976,
-        15897256427209988256,
-        2160238896249305826
+        6210356141414087397,
+        4943182941258025608,
+        7273397807824898264,
+        11582999888436731797
       ],
       [
-        15430827059337253751,
-        1869872416783195742,
-        15465764807505398551,
-        15035872915377620292
+        14142343453086872024,
+        17506279899770493168,
+        9608284523774702738,
+        609745290150469595
       ],
       [
-        10305145289106435292,
-        18425966364350864104,
-        10164675250992793449,
-        7130011104601657486
+        8310851111766432853,
+        13548474419145163485,
+        15450231847428594055,
+        12223625109163810065
       ],
       [
-        6956119988492024533,
-        3355482007108104792,
-        4354589255642810171,
-        3273943464859558034
+        18255684948340198040,
+        10371054994206808107,
+        3264758647817486750,
+        6747927017612155762
       ]
     ]
   }