-
Notifications
You must be signed in to change notification settings - Fork 33
Pull requests: Verified-zkEVM/CompPoly
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Parameterize CMvPolynomial by a [FinEnum σ] type instead of n : ℕ
#261
opened Jun 26, 2026 by
BoltonBailey
•
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(univariate): Cantor-Zassenhaus linear-factor splitter and root finder
#252
opened Jun 11, 2026 by
DimitriosMitsios
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!
Find all pull requests that aren't related to any open issues with -linked:issue.