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.

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

Migrate zkEVM PIL to PIL2 with VADCOPs #51

Open
eduadiez opened this issue Sep 18, 2023 · 0 comments
Open

Migrate zkEVM PIL to PIL2 with VADCOPs #51

eduadiez opened this issue Sep 18, 2023 · 0 comments
Assignees

Comments

@eduadiez
Copy link

eduadiez commented Sep 18, 2023

PIL2 Migration

ID subproof pil2 tools executor notes
1 main 90% - 0%
2 rom 80% 0% - tool: zkasm => pil
4 mem 90% - 0%
5 mem_align 80% - 0%
6 range_32 50% - 0%
10 arith 30% 0% 0% pending: equation generation from pil and last features added (alias free,diff points)
20 binary 90% - 0%
20 binary (one_row) 90% - - alternative, no generate executor
21 binary_ops_table 90% - -
40-42 padding_pg 90% - 0%
45 poseidong 95% - 0%
50-52 padding_kk 0% - 0%
55 padding_kkbit 0% - 0%
56 keccakf 90% 0% 0% tool: script/circuit => pil
57 keccakf_table 90% - -
bits2field - - - deleted, integrated inside keccakf
60-62 padding_sha256 0% - 0%
65 padding_sha256bit 10% - 0%
66 sha256f 80% 0% 0% tool: script/circuit => pil
67 sha256f_table 90% - -
bits2field_sha256 - - - deleted, integrated inside sha256f
90 storage 80% - %0
91 storage_rom 100% 100% - tool: zkasm => pil
92 climb_key 90% - 0%
93 climb_key_table 100% 100% - tool: validate/generate constants

TOOLS

tool status notes
zkasm_rom2pil 0% used to generate pil from rom.json
equation2pil 0% generate equation pols with prior/next window
keccakf_script2pil 0% used to generate pil from keccak script json
sha256_script2pil 0% used to generate pil from sha256 script json
zkasm_storagerom2pil 100% used to generate pil from storage-rom.json
climbkey_table 100% used to verify complex climbkey fixed columns
@zkronos73 zkronos73 changed the title Migrate pil to pil2 migrate zkevm pil to pil2 with vadcop Oct 3, 2023
@hecmas hecmas self-assigned this Oct 16, 2023
@hecmas hecmas changed the title migrate zkevm pil to pil2 with vadcop Migrate zkEVM PIL to PIL2 with VADCOPs Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants