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

…n-keys-2dbd141 chore: Update generated Prover FRI verification keys from branch circuit-fixes-update
matter-labs · Nov 6, 2023 · 6980d05 · 6980d05
2 parents 2dbd141 + dd153e6
commit 6980d05
Show file tree

Hide file tree

Showing 14 changed files with 593 additions and 593 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 ="0x72167c43a46cf38875b267d67716edc4563861364a3c03ab7aee73498421e828"
+FRI_RECURSION_LEAF_LEVEL_VK_HASH ="0x14628525c227822148e718ca1138acfc6d25e759e19452455d89f7f610c3dcb8"
 FRI_RECURSION_NODE_LEVEL_VK_HASH ="0x5a3ef282b21e12fe1f4438e5bb158fc5060b160559c5158c6389d62d9fe3d080"
 FRI_RECURSION_SCHEDULER_LEVEL_VK_HASH ="0x201d4c7d8e781d51a3bbd451a43a8f45240bb765b565ae6ce69192d918c3563d"
 SNARK_WRAPPER_VK_HASH="0x4be443afd605a782b6e56d199df2460a025c81b3dea144e135bece83612563f2"

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/verification_basic_11_key.json b/prover/vk_setup_data_generator_server_fri/data/verification_basic_11_key.json
@@ -19,19 +19,19 @@
       "public_inputs_locations": [
         [
           0,
-          531517
+          590816
         ],
         [
           1,
-          531517
+          590816
         ],
         [
           2,
-          531517
+          590816
         ],
         [
           3,
-          531517
+          590816
         ]
       ],
       "extra_constant_polys_for_selectors": 3,
@@ -157,100 +157,100 @@
     },
     "setup_merkle_tree_cap": [
       [
-        769023300008107994,
-        15035929950782434877,
-        4767632476551610273,
-        6003255068455690448
+        17255097312801917418,
+        6752062397462185164,
+        6945169344153100762,
+        1027145090739443516
       ],
       [
-        9026207300516234226,
-        12638320530307573615,
-        9548682324993884667,
-        1669798832247316225
+        2706981353446505354,
+        4400783282139197989,
+        4746761039479195354,
+        6917423648192975374
       ],
       [
-        15771054686436993477,
-        14867268062778845716,
-        2755571000455103667,
-        17012958053718147653
+        14359699678306853857,
+        3874019407181236903,
+        1702525096073880094,
+        15447128604206124811
       ],
       [
-        4796035851498319953,
-        15578398003463831188,
-        16487202842559859878,
-        12241980977059723891
+        14919692895081414701,
+        16198199658418046089,
+        5300842507730285411,
+        1354964360576854088
       ],
       [
-        4905638728558119005,
-        7863530509045382726,
-        17089556944619165055,
-        6881822366736890373
+        7893091991029104133,
+        461623798339808974,
+        8344344575050000699,
+        6429248499764299709
       ],
       [
-        5605698221760842562,
-        15309408538060590842,
-        7774687445824112675,
-        1029523717262265273
+        3051345475339328025,
+        7246741189903305632,
+        8770646108314135249,
+        11397594937127919638
       ],
       [
-        4602145677202369894,
-        10437641120626639391,
-        16191157018649573359,
-        2145181286557866215
+        17140261756755118484,
+        14571132600312115844,
+        16474851341660251601,
+        3870486573224486069
       ],
       [
-        8347044010387916224,
-        7660057627892565262,
-        4087655568250966187,
-        4920987872151258558
+        14064921522483694638,
+        5552772407678827457,
+        8197485703462734816,
+        4076425874266669579
       ],
       [
-        4652946618899021165,
-        10106017231231912813,
-        3800120974014235756,
-        6675575778477161887
+        2452070238664358269,
+        13711378536375553237,
+        11830939878396649638,
+        7512481030146411108
       ],
       [
-        4980892440155162443,
-        6801648544364465294,
-        2944365492323162449,
-        6942743875951446975
+        7597612981457926316,
+        11783666373503914223,
+        11713451243725552313,
+        5342379134170329134
       ],
       [
-        17666291786065358473,
-        11132525791177279380,
-        1090211641846788491,
-        18206157565187626653
+        12489669233178248038,
+        17028844225279324645,
+        8131691717219450889,
+        14082797405972696667
       ],
       [
-        11955322036584323772,
-        9745237745974724322,
-        7620783083675382303,
-        6501674220304463161
+        11988879801285229237,
+        17288180304460903679,
+        13044117107479477053,
+        12638813886386860955
       ],
       [
-        14154028621322325960,
-        12267966522963634693,
-        16381614744195346959,
-        10938579521199157178
+        3380229109281454972,
+        4458248379364253884,
+        7869182453045325845,
+        9693126437712749358
       ],
       [
-        5661196656360295299,
-        16217006627182303897,
-        15559803411312667053,
-        14580126280029049348
+        2682064331957080503,
+        17101005929710435580,
+        11432367781015495002,
+        13680190157837569463
       ],
       [
-        9186970898669061808,
-        692683705561232556,
-        14664202853793025315,
-        7113265307923171991
+        14655856026922822596,
+        174798469470174167,
+        1234552219530881028,
+        14985953291656457572
       ],
       [
-        256017097329808658,
-        1298676672131862834,
-        9342013003187223457,
-        172944159302847111
+        4854808831884097811,
+        9345617176959383563,
+        3777549132507294766,
+        5359660921592437143
       ]
     ]
   }

diff --git a/prover/vk_setup_data_generator_server_fri/data/verification_basic_12_key.json b/prover/vk_setup_data_generator_server_fri/data/verification_basic_12_key.json
@@ -19,19 +19,19 @@
       "public_inputs_locations": [
         [
           0,
-          531517
+          590816
         ],
         [
           1,
-          531517
+          590816
         ],
         [
           2,
-          531517
+          590816
         ],
         [
           3,
-          531517
+          590816
         ]
       ],
       "extra_constant_polys_for_selectors": 3,
@@ -157,100 +157,100 @@
     },
     "setup_merkle_tree_cap": [
       [
-        769023300008107994,
-        15035929950782434877,
-        4767632476551610273,
-        6003255068455690448
+        17255097312801917418,
+        6752062397462185164,
+        6945169344153100762,
+        1027145090739443516
       ],
       [
-        9026207300516234226,
-        12638320530307573615,
-        9548682324993884667,
-        1669798832247316225
+        2706981353446505354,
+        4400783282139197989,
+        4746761039479195354,
+        6917423648192975374
       ],
       [
-        15771054686436993477,
-        14867268062778845716,
-        2755571000455103667,
-        17012958053718147653
+        14359699678306853857,
+        3874019407181236903,
+        1702525096073880094,
+        15447128604206124811
       ],
       [
-        4796035851498319953,
-        15578398003463831188,
-        16487202842559859878,
-        12241980977059723891
+        14919692895081414701,
+        16198199658418046089,
+        5300842507730285411,
+        1354964360576854088
       ],
       [
-        4905638728558119005,
-        7863530509045382726,
-        17089556944619165055,
-        6881822366736890373
+        7893091991029104133,
+        461623798339808974,
+        8344344575050000699,
+        6429248499764299709
       ],
       [
-        5605698221760842562,
-        15309408538060590842,
-        7774687445824112675,
-        1029523717262265273
+        3051345475339328025,
+        7246741189903305632,
+        8770646108314135249,
+        11397594937127919638
       ],
       [
-        4602145677202369894,
-        10437641120626639391,
-        16191157018649573359,
-        2145181286557866215
+        17140261756755118484,
+        14571132600312115844,
+        16474851341660251601,
+        3870486573224486069
       ],
       [
-        8347044010387916224,
-        7660057627892565262,
-        4087655568250966187,
-        4920987872151258558
+        14064921522483694638,
+        5552772407678827457,
+        8197485703462734816,
+        4076425874266669579
       ],
       [
-        4652946618899021165,
-        10106017231231912813,
-        3800120974014235756,
-        6675575778477161887
+        2452070238664358269,
+        13711378536375553237,
+        11830939878396649638,
+        7512481030146411108
       ],
       [
-        4980892440155162443,
-        6801648544364465294,
-        2944365492323162449,
-        6942743875951446975
+        7597612981457926316,
+        11783666373503914223,
+        11713451243725552313,
+        5342379134170329134
       ],
       [
-        17666291786065358473,
-        11132525791177279380,
-        1090211641846788491,
-        18206157565187626653
+        12489669233178248038,
+        17028844225279324645,
+        8131691717219450889,
+        14082797405972696667
       ],
       [
-        11955322036584323772,
-        9745237745974724322,
-        7620783083675382303,
-        6501674220304463161
+        11988879801285229237,
+        17288180304460903679,
+        13044117107479477053,
+        12638813886386860955
       ],
       [
-        14154028621322325960,
-        12267966522963634693,
-        16381614744195346959,
-        10938579521199157178
+        3380229109281454972,
+        4458248379364253884,
+        7869182453045325845,
+        9693126437712749358
       ],
       [
-        5661196656360295299,
-        16217006627182303897,
-        15559803411312667053,
-        14580126280029049348
+        2682064331957080503,
+        17101005929710435580,
+        11432367781015495002,
+        13680190157837569463
       ],
       [
-        9186970898669061808,
-        692683705561232556,
-        14664202853793025315,
-        7113265307923171991
+        14655856026922822596,
+        174798469470174167,
+        1234552219530881028,
+        14985953291656457572
       ],
       [
-        256017097329808658,
-        1298676672131862834,
-        9342013003187223457,
-        172944159302847111
+        4854808831884097811,
+        9345617176959383563,
+        3777549132507294766,
+        5359660921592437143
       ]
     ]
   }