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

[proof-chunk] merge to main branch #1785

Merged
merged 16 commits into from
Mar 21, 2024
Merged

[proof-chunk] merge to main branch #1785

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
f5db508
[proof chunk] refactor evm_circuit/state_circuit to support proof ch…
hero78119 Oct 30, 2023
29189a6
[proof-chunk] check rwtable fingerprint equality in last chunk (#1674)
hero78119 Nov 13, 2023
c069ce4
[proof chunk] root circuit consistency between chunk (#1693)
hero78119 Dec 12, 2023
c017424
[proof-chunk] Instantiate circuits with Chunk from bus-mapping (#1690)
CeciliaZ030 Feb 1, 2024
879d1b6
Merge with main
hero78119 Feb 2, 2024
64154f7
use max_rws to identify fixed/dynamic circuit params
hero78119 Feb 2, 2024
0ab41c9
[proof chunk] [WIP] [testing] fix various issue found in integration …
hero78119 Mar 1, 2024
2fb87b0
merge main back to proof chunk
hero78119 Mar 1, 2024
5142f64
chores: code clean up
hero78119 Mar 1, 2024
63a9aa6
add chunkctx_table to stats
hero78119 Mar 5, 2024
f33b779
Merge branch 'main' into proof-chunk
hero78119 Mar 14, 2024
820f0b0
wip: unittest to cover test synthesis
hero78119 Mar 15, 2024
fdd6e4a
chores: address review feedback
hero78119 Mar 15, 2024
ac68a13
chores: renaming and cleanup
hero78119 Mar 15, 2024
847292b
enable unittest for challenge aggregation circuit
hero78119 Mar 18, 2024
d43f014
chores: fix typo
hero78119 Mar 20, 2024
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: 2 additions & 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