8000 Trace segmentation by grandchildrice · Pull Request #14 · grandchildrice/jolt · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Trace segmentation #14

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

Jump to bottom
Open
wants to merge 37 commits into
base: main
Choose a base branch
from
Open

Trace segmentation #14

wants to merge 37 commits into from

Conversation

grandchildrice
Copy link
Owner

No description provided.

adust09 and others added 30 commits December 2, 2024 20:19
@adust09
serialize
fdbe2a1
@adust09
rename vec
7522726
@adust09
add serialized_memory_polynomials
96e2a4e
@ClankPan
todo
e02f8b9
@adust09
copy memory
a2f6e4d
@ClankPan
wip: new methods to segmentate a trace and to get snapshots
43c205d
@adust09
add comment
c29558e
@ClankPan
wip: testing to prove first segmentation
1c8e92a
@ClankPan
wip: Only prove output consistency if the segment is the final one
1806e3d
@adust09
Merge pull request #3 from grandchildrice/extract_gkr_struct
e7480fc 
serialize polynomials
@adust09
Merge pull request #5 from grandchildrice/fix_prove_fn
c44bf0b 
register copy
@ClankPan
wip: prove first segment
ffc78e9
@ClankPan
Merge branch 'snapshot_memory_state' into save_memory_and_register_state
d5b5931
@ClankPan
remove register_init arguments
f602479
@ClankPan
Merge pull request #6 from grandchildrice/save_memory_and_register_state
e20513e 
Merge some logics to snapshot memory and register of trace
@ClankPan
wip
fc42e45
@ClankPan
wip: todo, need to fix error in jolt-core/src/poly/dense_mlpoly.rs
e107ecb
@adust09
refactor
a1a7f97
@adust09
fix constraint size
44dd5a4
@ClankPan
add debug prints
97bf36c
@ClankPan
fix trace length error
f9036fe
@ClankPan
Merge pull request #7 from grandchildrice/Dec_4th_fix_error
7a96dda 
Fix segment trace length error
@ClankPan
Merge pull request #8 from grandchildrice/save_memory_and_register_state
9dd4254 
Save memory and register state
@ClankPan
Merge branch 'trace_segmentation' into snapshot_memory_state
24a420a
@ClankPan
Merge pull request #9 from grandchildrice/snapshot_memory_state
ba015c0 
Snapshot memory state
@ClankPan
init logger at once
137c66d
@ClankPan
wip
d22c7dd
@adust09
convert resiter_init
aa4d49d
@ClankPan
wip
ebbd07d
@ClankPan
type annotation
87372bc
@grandchildrice grandchildrice mentioned this pull request Jan 10, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@grandchildrice @adust09 @ClankPan
0