Merged
Conversation
Merge branch 'main' into feat/main_trace_parts
* feat: add backend readme * fix: link * fix: link * fix: latex * chore: fix typo * chore: add code references --------- Co-authored-by: Yi Sun <yi-sun@users.noreply.github.com>
No need for tracing on non-benchmark tests
* fix: `eval_permutation_constraints` must handle partitioned_main * feat: integration test with cached trace * fix: forgot to add test files * chore: rename folder to `partitioned_sum_air` * chore: add test utils module * feat: add indexless cached lookup test for partitioned Air with interactions * chore: fix typo * feat: `add_main_matrix(width)` placeholder with mat width * chore: switch from RefCell to Arc Mutex
- `afs-middleware` -> `afs-stark-backend` - `afs-middleware-derive` -> `afs-derive` Imports can be handled by global find/replace.
jonathanpwang
requested changes
May 17, 2024
Contributor
jonathanpwang
left a comment
jonathanpwang
left a comment
There was a problem hiding this comment.
Sorry to be annoying, but I have a bunch of nits on how the imports should be organized and ordered. Just want to enforce this so things stay pretty.
Other request is to keep cached trace integration tests inside stark-backend for now.
luffykai
pushed a commit
that referenced
this pull request
Dec 13, 2024
* wip: refactor to use commit pointers * wip: permutation trace from partitioned main * wip: fix previous rebase * wip * wip: show new interface * chore: rename ChipsetProver to MultiTraceStarkProver * test: added ListChip and a test involving RangeCheckerChip and ListChip * chore: changed to using determinstic seed * feat: quotient refactor done * feat: prover done * chore: split out prove function into general post-trace part * feat: finished verifier * feat: keygen builder * chore: move fib triple test into same file * test: testing thread safety and other improvements * test: testing thread safety and other improvements * test: generating traces in parallel * feat: preliminary docs on STARK backend scope/support (#16) * feat: add backend readme * fix: link * fix: link * fix: latex * chore: fix typo * chore: add code references --------- Co-authored-by: Yi Sun <yi-sun@users.noreply.github.com> * chore: make DebugBuilder `after_challenge` consistent with other builders * chore: clean up if statement * test: testing RangeCheckerChip * chore: fix fmt * chore: fix previous merge and remove tracing No need for tracing on non-benchmark tests * chore: fix lint * fix: `eval_permutation_constraints` must handle partitioned_main * feat: integration test with cached trace * fix: forgot to add test files * chore: rename folder to `partitioned_sum_air` * chore: add test utils module * feat: added XorChip * chore: small fix * feat: add indexless cached lookup test for partitioned Air with interactions * feat: Partitioned Air Builder (#17) * fix: `eval_permutation_constraints` must handle partitioned_main * feat: integration test with cached trace * fix: forgot to add test files * chore: rename folder to `partitioned_sum_air` * chore: add test utils module * feat: add indexless cached lookup test for partitioned Air with interactions * chore: fix typo * feat: `add_main_matrix(width)` placeholder with mat width * chore: switch from RefCell to Arc Mutex * feat: added relative indexing and some documentation * wip * chore: simplifying trace.rs * chore: rename crates `afs-stark-backend, afs-derive` - `afs-middleware` -> `afs-stark-backend` - `afs-middleware-derive` -> `afs-derive` Imports can be handled by global find/replace. * chore: fix github workflow * chore: fix workflow name * chore: set up concurrency for workflow * chore: added test-utils crate * chore: removing the xor chip * wip * chore: moving the tests to a tests/ directory in test-utils crate * chore: fixing imports and moving cached_lookup to stark-backend --------- Co-authored-by: Jonathan Wang <31040440+jonathanpwang@users.noreply.github.com> Co-authored-by: Yi Sun <yi-sun@users.noreply.github.com>
jonathanpwang
pushed a commit
that referenced
this pull request
Mar 9, 2025
… Bn254 and Bls12_381 curves (#23) Added a fallback for final exponentiation in the pairing extension for the case that the hint fails to prove that the final exponentiation is equal to 1. This is a temporary fix. We will scope out a better approach after the security reviews. Closes INT-3381
jonathanpwang
pushed a commit
that referenced
this pull request
Mar 9, 2025
… Bn254 and Bls12_381 curves (#23) Added a fallback for final exponentiation in the pairing extension for the case that the hint fails to prove that the final exponentiation is equal to 1. This is a temporary fix. We will scope out a better approach after the security reviews. Closes INT-3381
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
Created a test-utils crate, and moved files that will be used by tests both for stark-backend/ and chips/ there.