Skip to content

Pull requests: Verified-zkEVM/CompPoly

New pull request New
11 Open 82 Closed
11 Open 82 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

refactor(binary-tower): rewrite towerAlgebraMap using Fin.dfoldl
#141 opened Mar 5, 2026 by erdkocak Loading…
1
2
Implement Algebra instance for CMvPolynomial (#91)
#139 opened Mar 3, 2026 by eliasjudin Loading…
1
1
Implement CommRing instance for CMvPolynomial
#138 opened Mar 3, 2026 by eliasjudin Loading…
1
1
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
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…
1
11
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! Type g p on any issue or pull request to go back to the pull request listing page.