-
Notifications
You must be signed in to change notification settings - Fork 40
Pull requests: Verified-zkEVM/CompPoly
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
doc(RabinCertificate): clarify the cold-replay mechanism
#308
opened Aug 18, 2026 by
kobizk
Contributor
Loading…
feat(scripts): kernel-level axiom sweep with committed regression baseline
#300
opened Aug 10, 2026 by
alexanderlhicks
Collaborator
Loading…
feat(bivariate): approximant-basis and hybrid GS interpolation
#291
opened Aug 7, 2026 by
dhsorens
Collaborator
•
2/2
Loading…
3 of 5 tasks
feat(univariate): Shoup and Las Vegas root-search backends
#290
opened Aug 7, 2026 by
dhsorens
Collaborator
•
1/2
Loading…
5 of 6 tasks
feat(fields): fast binary tower fields (up to 128 bits)
#286
opened Aug 6, 2026 by
graikos
Contributor
Loading…
Eight-limb Montgomery field arithmetic for 255-bit moduli (Pasta)
#274
opened Jul 25, 2026 by
mitschabaude-bot
Contributor
•
Draft
feat(bivariate): approximant-basis and hybrid interpolation for GS decoder
#255
opened Jun 12, 2026 by
olympichek
Contributor
Loading…
feat(univariate): randomized Cantor-Zassenhaus root search
#254
opened Jun 11, 2026 by
olympichek
Contributor
Loading…
feat(univariate): Shoup's trace splitter root search
#253
opened Jun 11, 2026 by
olympichek
Contributor
Loading…
feat(multivariate): add degree-bound and partial-evaluation primitives
#241
opened Jun 5, 2026 by
codygunton
Contributor
•
Draft
perf(univariate): optimize eval and pow backends
#190
opened Apr 8, 2026 by
eliasjudin
Contributor
Loading…
feat(multilinear): add fast/spec equivalence bridge
#189
opened Apr 8, 2026 by
eliasjudin
Contributor
Loading…
feat(multivariate): add first-vars degree and finSucc coefficient helpers
#126
opened Feb 27, 2026 by
eliasjudin
Contributor
•
Draft
ProTip!
no:milestone will show everything without a milestone.