Version 0.1.0 #190
Open
Version 0.1.0 #190
+6,584
−2,101
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
* Feature/custom commits (#166) * 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> * 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 <55488871+RogerTaule@users.noreply.github.com> Co-authored-by: Xavier Pinsach <10213118+xavi-pinsach@users.noreply.github.com> Co-authored-by: RogerTaule <roger.taulee@gmail.com>
hecmas
requested review from
xavi-pinsach,
RogerTaule,
fractasy and
zkronos73
* Removing unnecessary code * Feature/custom commits (#166) * 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> * 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 <55488871+RogerTaule@users.noreply.github.com> Co-authored-by: Xavier Pinsach <10213118+xavi-pinsach@users.noreply.github.com> Co-authored-by: RogerTaule <roger.taulee@gmail.com>
* Executor and pil done * Update binary_basic.rs * name change * traces update
… 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 <10213118+xavi-pinsach@users.noreply.github.com> * 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 <10213118+xavi-pinsach@users.noreply.github.com> Co-authored-by: Héctor Masip Ardevol <hmasip@polygon.technology> * 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 <10213118+xavi-pinsach@users.noreply.github.com> Co-authored-by: Héctor Masip <hmasip@polygon.technology> Co-authored-by: zkronos73 <zkronos73@gmail.com> Co-authored-by: Roger Taulé Buxadera <55488871+RogerTaule@users.noreply.github.com> Co-authored-by: RogerTaule <roger.taulee@gmail.com>
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.
LT_ABS_NP,LT_ABS_PN,GT. Division check for arith component #181