forked from matter-labs/zksync-era
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(prover): small features for 4844 proofs (matter-labs#1181)
## What ❔ * Added verification key and finalization hint file for 4844 circuit * Actually start saving finalization hint when generating verification keys * Fixed witness vector generator for 4844 circuit - used by GPU prover ## Why ❔ * Necessary steps to start creating 4844 proofs
- Loading branch information
Showing
7 changed files
with
300 additions
and
23 deletions.
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
242 changes: 242 additions & 0 deletions
242
prover/vk_setup_data_generator_server_fri/data/eip4844_vk.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,242 @@ | ||
| { | ||
| "fixed_parameters": { | ||
| "parameters": { | ||
| "num_columns_under_copy_permutation": 60, | ||
| "num_witness_columns": 0, | ||
| "num_constant_columns": 8, | ||
| "max_allowed_constraint_degree": 4 | ||
| }, | ||
| "lookup_parameters": { | ||
| "UseSpecializedColumnsWithTableIdAsConstant": { | ||
| "width": 3, | ||
| "num_repetitions": 20, | ||
| "share_table_id": true | ||
| } | ||
| }, | ||
| "domain_size": 1048576, | ||
| "total_tables_len": 132096, | ||
| "public_inputs_locations": [ | ||
| [ | ||
| 0, | ||
| 871888 | ||
| ], | ||
| [ | ||
| 1, | ||
| 871888 | ||
| ], | ||
| [ | ||
| 2, | ||
| 871888 | ||
| ], | ||
| [ | ||
| 3, | ||
| 871888 | ||
| ] | ||
| ], | ||
| "extra_constant_polys_for_selectors": 2, | ||
| "table_ids_column_idxes": [ | ||
| 10 | ||
| ], | ||
| "quotient_degree": 8, | ||
| "selectors_placement": { | ||
| "Fork": { | ||
| "left": { | ||
| "Fork": { | ||
| "left": { | ||
| "Fork": { | ||
| "left": { | ||
| "Fork": { | ||
| "left": { | ||
| "Fork": { | ||
| "left": { | ||
| "GateOnly": { | ||
| "gate_idx": 2, | ||
| "num_constants": 2, | ||
| "degree": 3, | ||
| "needs_selector": true, | ||
| "is_lookup": false | ||
| } | ||
| }, | ||
| "right": { | ||
| "Fork": { | ||
| "left": { | ||
| "GateOnly": { | ||
| "gate_idx": 7, | ||
| "num_constants": 0, | ||
| "degree": 2, | ||
| "needs_selector": true, | ||
| "is_lookup": false | ||
| } | ||
| }, | ||
| "right": { | ||
| "GateOnly": { | ||
| "gate_idx": 1, | ||
| "num_constants": 0, | ||
| "degree": 0, | ||
| "needs_selector": true, | ||
| "is_lookup": false | ||
| } | ||
| } | ||
| } | ||
| } | ||
| } | ||
| }, | ||
| "right": { | ||
| "GateOnly": { | ||
| "gate_idx": 6, | ||
| "num_constants": 0, | ||
| "degree": 2, | ||
| "needs_selector": true, | ||
| "is_lookup": false | ||
| } | ||
| } | ||
| } | ||
| }, | ||
| "right": { | ||
| "GateOnly": { | ||
| "gate_idx": 4, | ||
| "num_constants": 0, | ||
| "degree": 2, | ||
| "needs_selector": true, | ||
| "is_lookup": false | ||
| } | ||
| } | ||
| } | ||
| }, | ||
| "right": { | ||
| "GateOnly": { | ||
| "gate_idx": 5, | ||
| "num_constants": 1, | ||
| "degree": 2, | ||
| "needs_selector": true, | ||
| "is_lookup": false | ||
| } | ||
| } | ||
| } | ||
| }, | ||
| "right": { | ||
| "Fork": { | ||
| "left": { | ||
| "GateOnly": { | ||
| "gate_idx": 3, | ||
| "num_constants": 4, | ||
| "degree": 2, | ||
| "needs_selector": true, | ||
| "is_lookup": false | ||
| } | ||
| }, | ||
| "right": { | ||
| "GateOnly": { | ||
| "gate_idx": 0, | ||
| "num_constants": 8, | ||
| "degree": 1, | ||
| "needs_selector": true, | ||
| "is_lookup": false | ||
| } | ||
| } | ||
| } | ||
| } | ||
| } | ||
| }, | ||
| "fri_lde_factor": 2, | ||
| "cap_size": 16 | ||
| }, | ||
| "setup_merkle_tree_cap": [ | ||
| [ | ||
| 15012885272458350464, | ||
| 12918123785161914480, | ||
| 13671686572559106862, | ||
| 458420429559950553 | ||
| ], | ||
| [ | ||
| 3855596161956112429, | ||
| 9367986999640085982, | ||
| 9576686990164770909, | ||
| 15736630811802716592 | ||
| ], | ||
| [ | ||
| 4429424595585567228, | ||
| 1726575003907041811, | ||
| 11808623125777752326, | ||
| 7960090163308302001 | ||
| ], | ||
| [ | ||
| 16198073096358255703, | ||
| 1773566633554043329, | ||
| 15852741538281887312, | ||
| 3672365904403393548 | ||
| ], | ||
| [ | ||
| 5014302247141995239, | ||
| 15298901224361045295, | ||
| 17058410652708079000, | ||
| 2451098419087154466 | ||
| ], | ||
| [ | ||
| 1883879201519384194, | ||
| 16513689436046407106, | ||
| 18106823921911623646, | ||
| 12195558529156429070 | ||
| ], | ||
| [ | ||
| 3553190024094472044, | ||
| 16085740316966804610, | ||
| 7469059494943248345, | ||
| 8466978240947973162 | ||
| ], | ||
| [ | ||
| 15733255750285479223, | ||
| 10035744743646423118, | ||
| 12893682562633909811, | ||
| 17018145047346847928 | ||
| ], | ||
| [ | ||
| 4190189918857924629, | ||
| 11079126332194735217, | ||
| 81863766911265321, | ||
| 1252088896597638701 | ||
| ], | ||
| [ | ||
| 13713450655978854074, | ||
| 6658527377300991599, | ||
| 11379765760362527623, | ||
| 18157417093208935759 | ||
| ], | ||
| [ | ||
| 13291575128912167224, | ||
| 5612545196785048171, | ||
| 14736834588908638980, | ||
| 3368626854973932908 | ||
| ], | ||
| [ | ||
| 6550473513308471355, | ||
| 261602743346828260, | ||
| 3476562827380596578, | ||
| 16103482668860064473 | ||
| ], | ||
| [ | ||
| 3000784508673768350, | ||
| 1118466443868787057, | ||
| 13001376126891710198, | ||
| 5277667505560256643 | ||
| ], | ||
| [ | ||
| 1638204738185533106, | ||
| 2943638319874219165, | ||
| 37345818451115499, | ||
| 6602609125606041803 | ||
| ], | ||
| [ | ||
| 8835198552893947573, | ||
| 13366615065126505958, | ||
| 15913885131147312037, | ||
| 11776601604937573132 | ||
| ], | ||
| [ | ||
| 12125147286940007597, | ||
| 9198361601962582562, | ||
| 9157325123238861992, | ||
| 14770289666410955142 | ||
| ] | ||
| ] | ||
| } |
Binary file added
BIN
+200 Bytes
prover/vk_setup_data_generator_server_fri/data/finalization_hints_eip4844.bin
Binary file not shown.
Oops, something went wrong.