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

Memory SM: MemProxy, MemAlign, MemAlignRom, Mem, RomData, InputData. #153

Merged
merged 112 commits into from
Dec 11, 2024

Conversation

fractasy
Copy link
Contributor

@fractasy fractasy commented Nov 6, 2024

No description provided.

RogerTaule and others added 23 commits December 3, 2024 12:20
* Custom cols rom (#159)

Custom cols working

---------

Co-authored-by: Xavier Pinsach <10213118+xavi-pinsach@users.noreply.github.com>

* Cached custom commits

* Updating proofman to 0.0.12

* Cargo fmt

* Cargo fmt

* Fix cargo clippy

* Rom trace is now deterministic

* cargo fmt

* Global constraints verifying again

* Optimizing the binary component (#167)

* Optimizing the binary

* Updating the executor

* Updating to 0.0.13

* Not creating unnecessary instances of arith tables

* Pil2-proofman 0.0.14

---------

Co-authored-by: Xavier Pinsach <10213118+xavi-pinsach@users.noreply.github.com>
Co-authored-by: Héctor Masip Ardevol <hmasip@polygon.technology>
@zkronos73 zkronos73 changed the base branch from feature/memory-align-with-proxy to develop-v0.1.0 December 11, 2024 11:35
@zkronos73 zkronos73 merged commit e5f11b2 into develop-v0.1.0 Dec 11, 2024
5 checks passed
@hecmas hecmas mentioned this pull request Dec 11, 2024
@zkronos73 zkronos73 changed the title Feature/input sm Development mem SM: MemProxy, MemAlign, MemAlignRom, Mem, RomData, InputData. Dec 11, 2024
@zkronos73 zkronos73 changed the title Development mem SM: MemProxy, MemAlign, MemAlignRom, Mem, RomData, InputData. Memory SM: MemProxy, MemAlign, MemAlignRom, Mem, RomData, InputData. Dec 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants