-
Notifications
You must be signed in to change notification settings - Fork 427
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
feat: Improve proving speed by caching zkey curve #124
Conversation
f227268
to
72ca104
Compare
Rebased and tested with the snarky sudoku repo again. Ready for merge. |
72ca104
to
cb6badc
Compare
Rebased on latest master and ready for review again. Tested on this repo branch that's deployed here if someone else wants to test. |
@nalinbhardwaj can you rebase this now that I got CI all green?? Thanks! |
cb6badc
to
c47007b
Compare
@phated done, all green ✅ |
Thanks! One question, and also, please remove the built files from the PR. They get built by jordi during release (there are actually 4 files that need to be built). |
c47007b
to
7cdbb35
Compare
done |
Thanks @nalinbhardwaj 🎉 Sorry it has taken so long to get this landed. It'll be included in the next release! |
@phated no worries, thank you for taking the time to merge it! <3 |
Speeds up proving by caching zkey getCurve call when reading headers and avoiding double calls in grothProve. On a smallish circuit (https://github.com/nalinbhardwaj/snarky-sudoku) this amounts to a ~30% reduction, which is pretty significant IMO:
Before:
~4 seconds runtime
After:
~3 seconds runtime
Branched on #121