-
Notifications
You must be signed in to change notification settings - Fork 117
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
Stark: Prover and Verifier over field extensions v2 #717
Conversation
Codecov ReportAttention:
Additional details and impacted files@@ Coverage Diff @@
## main #717 +/- ##
==========================================
- Coverage 95.77% 95.75% -0.03%
==========================================
Files 135 135
Lines 30136 30293 +157
==========================================
+ Hits 28863 29007 +144
- Misses 1273 1286 +13 ☔ View full report in Codecov by Sentry. |
4e0833d
to
ef3da23
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I also checked if there was any performance issue. Proof generation time didn't change. All good
Prover and Verifier over field extensions v2
Description
This is an improvement over PR #716 that avoid casting the trace to the field extension. The immediate consequence is that the prover can no longer consider all trace polynomials and all trace LDE evaluations as a single object since they live in different fields. This PR refactors the prover's and verifier's code to handle those different types.
Evaluation of constraints to build the composition polynomial still considers all columns to live in the field extension. A followup PR will improve that to fully leverage the optimized ops between different fields. This is so divided in two different PRs for making the review process easier.