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

feat: add memory component to BrainfuckComponents #103

Merged

tcoratger merged 1 commit into main from feat/memory-to-brainfuck-components

Nov 28, 2024

Collaborator

zmalatrax commented Nov 27, 2024

Closes #101


          feat: add memory component to BrainfuckComponents

c04a227

tcoratger reviewed

View reviewed changes

crates/brainfuck_prover/src/brainfuck_air/mod.rs

+                      let memory_is_first_column = PreprocessedColumn::IsFirst(claim.memory.log_size);
+                      let tree_span_provider =
+                          &mut TraceLocationAllocator::new_with_preproccessed_columnds(&[memory_is_first_column]);

Contributor

tcoratger Nov 28, 2024

Not related here but just PRed Stwo to fix the typo starkware-libs/stwo#910

tcoratger approved these changes

View reviewed changes

tcoratger merged commit 7200a6a into main

6 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet