-
Notifications
You must be signed in to change notification settings - Fork 36
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
Parellel NIVC #256
Draft
adr1anh
wants to merge
28
commits into
argumentcomputer:dev
Choose a base branch
from
adr1anh:para-circuit
base: dev
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
Parellel NIVC #256
Commits on Feb 28, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d6412fe - Browse repository at this point
Copy the full SHA d6412feView commit details -
Configuration menu - View commit details
-
Copy full SHA for f569398 - Browse repository at this point
Copy the full SHA f569398View commit details -
Configuration menu - View commit details
-
Copy full SHA for 165104a - Browse repository at this point
Copy the full SHA 165104aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 42d649c - Browse repository at this point
Copy the full SHA 42d649cView commit details -
Configuration menu - View commit details
-
Copy full SHA for aa46acd - Browse repository at this point
Copy the full SHA aa46acdView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4f30086 - Browse repository at this point
Copy the full SHA 4f30086View commit details -
- replace nivc merge with merge_many - add alloc for circuit types
Configuration menu - View commit details
-
Copy full SHA for 6152c8e - Browse repository at this point
Copy the full SHA 6152c8eView commit details -
Configuration menu - View commit details
-
Copy full SHA for c593cab - Browse repository at this point
Copy the full SHA c593cabView commit details -
Configuration menu - View commit details
-
Copy full SHA for a56ea77 - Browse repository at this point
Copy the full SHA a56ea77View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4009a5d - Browse repository at this point
Copy the full SHA 4009a5dView commit details -
Configuration menu - View commit details
-
Copy full SHA for f94d6f1 - Browse repository at this point
Copy the full SHA f94d6f1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 62ec553 - Browse repository at this point
Copy the full SHA 62ec553View commit details -
- Rework fold API - add ECC copy with Engine->Group - Replace E::TE with own transcript - placeholder NIFS secondary
Configuration menu - View commit details
-
Copy full SHA for 0112133 - Browse repository at this point
Copy the full SHA 0112133View commit details -
Configuration menu - View commit details
-
Copy full SHA for 91c15b3 - Browse repository at this point
Copy the full SHA 91c15b3View commit details -
- Move common circuit/prover types to mod
- make accumulator fold mutate self - add engine type constraint - add `to_native` for converting back to the normal type
Configuration menu - View commit details
-
Copy full SHA for 2b375f5 - Browse repository at this point
Copy the full SHA 2b375f5View commit details -
Configuration menu - View commit details
-
Copy full SHA for c4e98db - Browse repository at this point
Copy the full SHA c4e98dbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2159e88 - Browse repository at this point
Copy the full SHA 2159e88View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1648f00 - Browse repository at this point
Copy the full SHA 1648f00View commit details -
Configuration menu - View commit details
-
Copy full SHA for e01bd6d - Browse repository at this point
Copy the full SHA e01bd6dView commit details -
Configuration menu - View commit details
-
Copy full SHA for a15223e - Browse repository at this point
Copy the full SHA a15223eView commit details -
Configuration menu - View commit details
-
Copy full SHA for cb096fe - Browse repository at this point
Copy the full SHA cb096feView commit details
Commits on Feb 29, 2024
-
- Wrap ECC and EmulatedFieldElement - Make all structs CurveCycleEquipped - Specialize R1CS for both curves - Update Transcript
Configuration menu - View commit details
-
Copy full SHA for 79bb090 - Browse repository at this point
Copy the full SHA 79bb090View commit details
Commits on Mar 1, 2024
-
Configuration menu - View commit details
-
Copy full SHA for aa1ef90 - Browse repository at this point
Copy the full SHA aa1ef90View commit details
Commits on Mar 4, 2024
-
- remove unused/commented out functions - revert to 128-bit limb hashing due to security concern - make ScalarMulAccumulator take ownership of R1CS accumulator - add ability to generate dummy input proof for circuit - use sponge for hashing the NIVC instance due to problems with variable-sized hashing - add test for `from_proof` - comment out merge-related code - ensure namespaces have unique names - remove wrong mersenne prime parameters - add emulatedbase tests - add cycle fold circuit - add inputize_hashed methods in allocated point for cyclefold circuit
Configuration menu - View commit details
-
Copy full SHA for d59a0d1 - Browse repository at this point
Copy the full SHA d59a0d1View commit details
Commits on Mar 6, 2024
-
- Rework primary IO. - Return transcript and state hash - Use correct Poseidon for sponge - Impl `eq_native` methods for comparing allocated types - Add ability to generate dummy proofs as initial input to the circuit - Fix `AllocatedPoint::enforce_trivial` - Impl CycleFold circuit - Ensure IO matches - Add Poseidon hashing of points - Fix AllocatedBase - fix `big_int_to_limbs` - fix other limb issues - add test - Fix `enforce_trivial` for `AllocatedBase` elements - Fix r_bits to r conversion - add recursive snark verification - use sponge for hashing state due to variable size
Configuration menu - View commit details
-
Copy full SHA for 396bbe5 - Browse repository at this point
Copy the full SHA 396bbe5View commit details
Commits on Mar 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3e45ac5 - Browse repository at this point
Copy the full SHA 3e45ac5View commit details
Commits on Mar 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for a6ff0a9 - Browse repository at this point
Copy the full SHA a6ff0a9View commit details
Commits on Mar 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 91e89c3 - Browse repository at this point
Copy the full SHA 91e89c3View commit details
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.