Skip to content

Fix Batch Verify #1205

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.

Sign up for GitHub

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

Open
darth-cy wants to merge 26 commits into
base: master
Choose a base branch
from
+973 −1,162
Open

Fix Batch Verify #1205

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
b4b8ee5
fix [skip ci]
darth-cy Dec 18, 2025
5cd6b58
add debug flags
darth-cy Dec 21, 2025
19e9f1e
organize debug flags [skip ci]
darth-cy Dec 21, 2025
2695765
Merge branch 'master' into fix/batch_verify
darth-cy Dec 21, 2025
9b4efa9
Merge branch 'master' into fix/batch_verify
darth-cy Dec 30, 2025
55ed048
dependency [skip ci]
darth-cy Jan 3, 2026
8cf4ef3
Merge branch 'master' into fix/batch_verify
darth-cy Jan 3, 2026
9d15c1d
Recover constraints
darth-cy Jan 3, 2026
2e9eb4f
debug flags [skip ci]
darth-cy Jan 3, 2026
b1f343a
correct alignment [skip ci]
darth-cy Jan 3, 2026
297ee5d
Merge branch 'master' into fix/batch_verify
darth-cy Jan 4, 2026
cb52691
organize context [skip ci]
darth-cy Jan 4, 2026
02989a3
remove context step [skip ci]
darth-cy Jan 4, 2026
68e1004
adjust debug [skip ci]
darth-cy Jan 4, 2026
840e431
add assertion
darth-cy Jan 4, 2026
5261a45
recover assertion [skip ci]
darth-cy Jan 4, 2026
d17384a
recover assertion [skip ci]
darth-cy Jan 4, 2026
8d6dd2b
remove debug flags [skip ci]
darth-cy Jan 4, 2026
4a8e664
adjust debug flags
darth-cy Jan 4, 2026
5892170
Merge branch 'master' into fix/batch_verify
darth-cy Jan 4, 2026
829c835
Restore tests
darth-cy Jan 5, 2026
ed5d7ac
Adjust comments:
darth-cy Jan 5, 2026
69d3fbe
fix non-first shard
darth-cy Jan 5, 2026
567ea31
Merge branch 'master' into fix/batch_verify
darth-cy Jan 5, 2026
4ecef4c
fmt
darth-cy Jan 5, 2026
c115d10
Merge branch 'master' into fix/batch_verify
darth-cy Jan 5, 2026
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 .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,3 +13,4 @@ proptest-regressions/

# ceno serialized files
*.bin
*.json
Loading
Loading