Feature/custom commits #166
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
RogerTaule
force-pushed
the
feature/custom-commits
branch
from
1bf4163 to
b1c9daa
Compare
Custom cols working --------- Co-authored-by: Xavier Pinsach <[email protected]>
* Optimizing the binary * Updating the executor
RogerTaule
force-pushed
the
feature/custom-commits
branch
from
c94771f to
4ca73f5
Compare
hecmas
added a commit
that referenced
this pull request
Dec 11, 2024
* Custom cols rom (#159) Custom cols working --------- Co-authored-by: Xavier Pinsach <[email protected]> * 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 <[email protected]> Co-authored-by: Héctor Masip Ardevol <[email protected]>
hecmas
added a commit
that referenced
this pull request
Dec 11, 2024
* Feature/custom commits (#166) * Custom cols rom (#159) Custom cols working --------- Co-authored-by: Xavier Pinsach <[email protected]> * 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 <[email protected]> Co-authored-by: Héctor Masip Ardevol <[email protected]> * Removing unnecessary code * Zisk working with last proofman version * Updating book and Cargo.toml to point to 0.0.16 proofman * cargo fmt --------- Co-authored-by: Roger Taulé Buxadera <[email protected]> Co-authored-by: Xavier Pinsach <[email protected]> Co-authored-by: RogerTaule <[email protected]>
hecmas
added a commit
that referenced
this pull request
Dec 11, 2024
* Removing unnecessary code * Feature/custom commits (#166) * Custom cols rom (#159) Custom cols working --------- Co-authored-by: Xavier Pinsach <[email protected]> * 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 <[email protected]> Co-authored-by: Héctor Masip Ardevol <[email protected]> * Zisk working with last proofman version * Updating book and Cargo.toml to point to 0.0.16 proofman * Table augmented * New opcodes introduced to binary * Added the arith-binary lookup * Added the debug mode to the verify all script * working except for GT op * Adding the gt op * rebasing update proofman * GT fully working * cargo fmt, cargo fix * Cargo * remove comments * minor changes --------- Co-authored-by: Roger Taulé Buxadera <[email protected]> Co-authored-by: Xavier Pinsach <[email protected]> Co-authored-by: RogerTaule <[email protected]>
zkronos73
added a commit
that referenced
this pull request
Dec 11, 2024
… InputData. (#153) * First commit on memory_checkpoint3 * Create input_data_sm.rs * mem_proxy to little endian * update to proofman 0.0.10 * Fix errors * mem align working * Write RO data sections using code instructions * Fix riscof test by not writing RO sections with addr=0 and fixing vector index * Ignore ELF sections with addr=0 * Mem align fully working * Cleaning the mem align * Removing hashmaps and cleaning up stuff a little bit * mem - mem_align integration * fix invalid assert on mem_align * Remove store_c_slice to fix parallel execution without memory * Mem align and mem fixes (#175) * Removing unnecessary code * update mem executors with correct call to register_predecessor * Memory required extended data to build Memory SM proof * Feature/custom commits (#166) * Custom cols rom (#159) Custom cols working --------- Co-authored-by: Xavier Pinsach <[email protected]> * Cached custom commits * Updating proofman to 0.0.12 * 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 <[email protected]> Co-authored-by: Héctor Masip Ardevol <[email protected]> * remove old input_data.pil * Zisk working with last proofman version * Updating book and Cargo.toml to point to 0.0.16 proofman * fix minor bug after update develop changes * fix bug on additional mem calculation * update direct_global continuations * update mem pil comments * fix last bugs on memory, added documentation --------- Co-authored-by: Xavier Pinsach <[email protected]> Co-authored-by: Héctor Masip <[email protected]> Co-authored-by: zkronos73 <[email protected]> Co-authored-by: Roger Taulé Buxadera <[email protected]> Co-authored-by: RogerTaule <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.