Add pil2 proofman to zisk monorepo #208
Open
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
Range check to std
Sam monorepo
adding no_lib_link feature to proofman, hints and common
Print to file in debug mode
Global values in debug mode
Fixing the air constraint
* Fixing proofvalues in hints and air constraints
* Temporary deactivating dctx
Co-authored-by: zkronos73 <[email protected]>
* Modifying verify constraints logs * Cargo fmt
* new values! macro + tests * upgrade parsing * WIP * also parse fields * fix parsing * add more tests * num_rows * commit_id * working.....? * Simplifying macro and commenting commit_id * Renaming, improving logs, cleaning * Removing map_buffer from tests * Working on AirInstance improvements * Work in progress * Keep working on cleaning * Cleaning completed * Minor fix * fixing ci * Minor changes and starting cleaning unsafes from ffi * Cargo fmt * Cargo clippy * Keep cleaning c_void * Removing slice_trace * Updating macro with optional custom commit * Fix * Improving AirInstance calls * Clippy fix * All tests pasing * Improving pil-helpers airvalues * Fixing airgroupvalues to be compatible with new airvalues handling * Fixing cargo fmt * add dctx function * Removing setup ctx from air_instance * Pointing to 0.0.17 pil2-proofman-js * Fix C++ compilation * Fix ffi when no_lib_link * Compilation fibonacci error * Removing execution ctx * More cleaning * Still more cleaning * Keep cleaning * Simplifying all witness logic * Adding custom-commits common * Minor changes * Adding proof values to transcript * Fixing global info json * Fix pctx * Adding some information to print_summary * Fix * Typo * Typo * cleaning Cargo.toml(s) * add log create to starks-lib-c * Removing all unsafes from hints * add with_capacity function to Trace macro * Removing unsafes from verify constraints * Activating back distributed mode and adding test to CI * Fixing test * Adding get constraints method and fix ci * Minor changes * Minor improvements, prepare for debugging mode * Cargo fmt * Distributed working, missing verify constraints and recursion * Improving debugging * Updating expressions * cargo clippy, update & outdated * cargo format * simplify witness_library * Fix hints airvalues * Minor fixes custom commits and CPU * Adding weights for balancing distribution context * Properly setting weights * change global_idx to global_id * change CHUNK_SIZE in std * Merge std chang into minor clean (#143) * WIP merging Hector branch * CI running on this branch * Cargo build working * Fixing tests and checking debug mode * Improving minor mistakes verify constraints * Distributed working again * Cargo clippy and cargo fmt * Fixing debug mode again * Minor fixes * Fixing distribution context * Storing in cache const pols * Improving proof saving * Verify Stark Rust (#146) * WIP merging Hector branch * CI running on this branch * Cargo build working * Fixing tests and checking debug mode * Improving minor mistakes verify constraints * Distributed working again * Cargo clippy and cargo fmt * Fixing debug mode again * Minor fixes * Fixing distribution context * Stark verifying in Rust, missing BN128 * Minor change ci * Fix clippy * Verifier working for recursiveF * Cargo fmt * Simplifying save_proof * Cargo clippy * Fix permutation test * Properly counting memory * Fix fmt and tests * balance instances * fmt fixing * clippy fixing * clippy fixing * Fix tests broken * Optimizations * Fix * Cargo fmt, clippy and unifying proof_ctx names * Minor cleaning * ualigned avx * Minor cleaning * Stark verify parallelism fix * Cargo fmt fix * Update ci to run mpi test * Commenting mpi test --------- Co-authored-by: Héctor Masip <[email protected]> Co-authored-by: rickb80 <[email protected]> * Allowing for different len in fibosq (#145) * Allowing for different len in fibosq * Module to N = 14 --------- Co-authored-by: RogerTaule <[email protected]> --------- Co-authored-by: Héctor Masip <[email protected]> Co-authored-by: rickb80 <[email protected]> * Update ci * Module 2**16 --------- Co-authored-by: Sam Johnson <[email protected]> Co-authored-by: Xavier Pinsach <[email protected]> Co-authored-by: Héctor Masip <[email protected]> Co-authored-by: rickb80 <[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.
pil2-proofmanrepo =>pil2-proofmansubdirectory