Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Update generated Prover FRI verification keys from branch circuit-fixes-update #412

Merged
merged 1 commit into from
Nov 6, 2023
Merged

chore: Update generated Prover FRI verification keys from branch circuit-fixes-update #412

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion etc/env/base/contracts.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
Binary file modified prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_1.bin
View file
Open in desktop
Binary file not shown.
Binary file modified prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_11.bin
View file
Open in desktop
Binary file not shown.
Binary file modified prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_12.bin
View file
Open in desktop
Binary file not shown.
Binary file modified prover/vk_setup_data_generator_server_fri/data/finalization_hints_basic_9.bin
View file
Open in desktop
Binary file not shown.
136 changes: 68 additions & 68 deletions prover/vk_setup_data_generator_server_fri/data/verification_basic_11_key.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down Expand Up @@ -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
]
]
}
Expand Down
136 changes: 68 additions & 68 deletions prover/vk_setup_data_generator_server_fri/data/verification_basic_12_key.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down Expand Up @@ -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
]
]
}
Expand Down
Loading