Skip to content

Pull requests: Verified-zkEVM/CompPoly

New pull request New
10 Open 80 Closed
10 Open 80 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add finSuccEquiv and optionEquivLeft for CMvPolynomial
#137 opened Mar 2, 2026 by eliasjudin Loading…
1
1
Implement sumToIter for CMvPolynomial
#136 opened Mar 2, 2026 by eliasjudin Loading…
1
1
refactor(binary-tower): simplify sum-range shift proof in Prelude
#135 opened Feb 28, 2026 by erdkocak Loading…
1
1
Add a test suite
#128 opened Feb 27, 2026 by dhsorens Loading…
2
Add computable versions of div and mod
#127 opened Feb 27, 2026 by tomaz1502 Loading…
@dhsorens
1
feat(multivariate): add first-vars degree and finSucc coefficient helpers
#126 opened Feb 27, 2026 by eliasjudin • Draft
2
Prove remaining ToPoly eval and swap lemmas
#122 opened Feb 26, 2026 by eliasjudin Loading…
13
Issue 55 - CommRing instance for CMvPolynomial, resolution of circular dependency
#119 opened Feb 25, 2026 by DimitriosMitsios Loading…
9
issue 49 - leadingCoeff, leadingTerm, etc
#99 opened Feb 16, 2026 by dhsorens • Draft
1
1
Implementing computable versions of degreeLT, degreeLE, and related theorems
#88 opened Feb 14, 2026 by desmondcoles1 Loading…
3 tasks done
9
ProTip! no:milestone will show everything without a milestone.