Skip to content
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

feat: add preprocessed traces of various log size #104

Merged
merged 3 commits into from
Dec 2, 2024

Conversation

zmalatrax
Copy link
Collaborator

@zmalatrax zmalatrax commented Nov 27, 2024

Closes #100

We commit multiple log sizes as preprocessed columns are computed beforehand.

This way, the verifier has a merkle root is can trust for a claim of any dynamic log size

@zmalatrax zmalatrax force-pushed the feat/memory-preprocessed-trace branch from 73f09a6 to 1591fa8 Compare December 2, 2024 15:06
@zmalatrax zmalatrax force-pushed the feat/memory-preprocessed-trace branch from 1591fa8 to c2efaf9 Compare December 2, 2024 15:07
@zmalatrax zmalatrax marked this pull request as ready for review December 2, 2024 15:08
@zmalatrax zmalatrax changed the title feat: commit the preprocessed trace for the memory component feat: add preprocessed traces of various log size Dec 2, 2024
zmalatrax and others added 2 commits December 2, 2024 17:02
Co-authored-by: Thomas Coratger <[email protected]>
Co-authored-by: Thomas Coratger <[email protected]>
@tcoratger tcoratger merged commit acb0b5c into main Dec 2, 2024
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

feat: generate preprocessed trace in prove_brainfuck entrypoint
2 participants