Skip to content

Feat: improve tower verifier #12

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

Merged
merged 32 commits into from
Jun 19, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
9ae2a19
Test sample vm instruction programs
darth-cy Jun 4, 2025
4ebb4ce
Articulate idx workflow
darth-cy Jun 5, 2025
d63d27c
Articulate idx workflow
darth-cy Jun 5, 2025
0fe1b51
Change dependencies
darth-cy Jun 5, 2025
a6bc0ed
Complete builder constraint based multi observe
darth-cy Jun 8, 2025
f34e728
Keep new builder fn
darth-cy Jun 8, 2025
a1a98f2
Establish entry point
darth-cy Jun 8, 2025
0f29e4e
Use opcode
darth-cy Jun 10, 2025
dd18bdf
Switch remote dependency
darth-cy Jun 10, 2025
6cd4d82
Remove array enumeration
darth-cy Jun 11, 2025
0ea60ad
Remove debug flags
darth-cy Jun 11, 2025
9dc4017
Fix consistency test
darth-cy Jun 11, 2025
a47fd21
add cycle count unit test for sumcheck verifier
kunxian-xia Jun 11, 2025
57db57d
Merge pull request #10 from scroll-tech/feat/sumcheck-cycle-count
darth-cy Jun 11, 2025
cfdb675
enable new sample_ext implementation
kunxian-xia Jun 11, 2025
6bb448f
Merge pull request #11 from scroll-tech/feat/new_sample_ext
kunxian-xia Jun 11, 2025
8d9a5c8
improve
kunxian-xia Jun 11, 2025
fadd59a
cycle profiling
kunxian-xia Jun 11, 2025
ea66ae3
update ceno dependency
kunxian-xia Jun 13, 2025
8bb0cce
remove unused interpolate_uni_poly and add tower verifier unit test
kunxian-xia Jun 13, 2025
b9f2988
set num product specs to 2
kunxian-xia Jun 13, 2025
f5a0a47
dot product whenone vector's size is known (#17)
kunxian-xia Jun 16, 2025
ea5964d
replace join by extend (#18)
kunxian-xia Jun 16, 2025
bcd8441
Feat: compute powers of `alpha` on the fly (#19)
kunxian-xia Jun 16, 2025
6559138
Feat: compute `is_smaller_than` incrementally (#20)
kunxian-xia Jun 18, 2025
68819e2
Merge remote-tracking branch 'origin/main' into feat/improve_sumcheck
kunxian-xia Jun 18, 2025
6ee11cb
fix merge error
kunxian-xia Jun 18, 2025
a3cbfce
track cycles in sumcheck verifier
kunxian-xia Jun 19, 2025
d316293
Feat: combine multiple loops into one in sumcheck verifier (#22)
kunxian-xia Jun 19, 2025
dc5640e
div instead of *x.inverse() (#23)
kunxian-xia Jun 19, 2025
4b2c70f
remove low-level cycle trackers
kunxian-xia Jun 19, 2025
a940db6
turn on tracing for e2e test
kunxian-xia Jun 19, 2025
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
Loading