Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

[proof chunk] refactor evm_circuit/state_circuit to support proof chunk #1641

Merged
merged 31 commits into from
Oct 30, 2023
Merged

[proof chunk] refactor evm_circuit/state_circuit to support proof chunk #1641

Show file tree
Hide file tree
Changes from 29 commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
7a2d655
permutation circuit to support permutation fingerprint on rw_table
hero78119 Oct 3, 2023
043b70e
permutation chip implemetation
hero78119 Oct 4, 2023
554789c
simplify pi by exposing to pre/next instance columns
hero78119 Oct 4, 2023
43ed90e
reserve rw_table first row to be constraints by pi
hero78119 Oct 4, 2023
69680b8
compute next_fingerprints logic in witness block
hero78119 Oct 5, 2023
dd5c9bb
Padding step in RwMap
hero78119 Oct 5, 2023
f2e8a4a
debug variadic_size_check
hero78119 Oct 6, 2023
feab0b1
fix evm circuit lookup logic
hero78119 Oct 9, 2023
aab44aa
rw table sort chronological by rw counter
hero78119 Oct 9, 2023
79ba525
permutation gadget trade more columns with degree
hero78119 Oct 11, 2023
e5af744
fix unittest under statecircuit
hero78119 Oct 11, 2023
a186485
rename by_address_rw_table
hero78119 Oct 11, 2023
1595089
create begin/endchunk step
hero78119 Oct 13, 2023
fe73637
enable begin/end chunk virtual steps in single chunk
hero78119 Oct 16, 2023
d1508a0
add chunk_context and inner chunk rw_counter
hero78119 Oct 16, 2023
ce3c850
revamp constraints on first/last chunk
hero78119 Oct 17, 2023
c47ee95
code cosmetics
hero78119 Oct 17, 2023
b5a9ca1
fix end_block single chunk logic
hero78119 Oct 17, 2023
785a471
remove first chunk first step constraints
hero78119 Oct 17, 2023
6d4a780
chores: variable renaming
hero78119 Oct 18, 2023
a5542f0
add chunkctx table to support lookup chunkctx in execstep
hero78119 Oct 18, 2023
561f5ea
chores: revamp comments
hero78119 Oct 18, 2023
de55034
condense rw_table continuous across chunk via fingerprints
hero78119 Oct 19, 2023
d6be453
refactor global rw_counter to chunkctx_table & code cosmetics
hero78119 Oct 19, 2023
c9a1695
address comments by fixing gamme position bug
hero78119 Oct 20, 2023
1078587
refactor global rw_counter to chunkctx_table lookup
hero78119 Oct 23, 2023
88a6aeb
add testing for multiple chunk
hero78119 Oct 23, 2023
d6e5dbe
chores: make chunk_context as option, first attemp for multiple chunk…
hero78119 Oct 24, 2023
69570e4
set default chunkctx as one chunk
hero78119 Oct 24, 2023
47b4d06
more comment
hero78119 Oct 25, 2023
d263037
optimize state_circuit checking row range
hero78119 Oct 26, 2023
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
1 change: 1 addition & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading