Skip to content

Pull requests: Verified-zkEVM/CompPoly

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

feat(univariate): Horner's method implementation
#199 opened Apr 19, 2026 by DimitriosMitsios Contributor Loading…
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(univariate): add fixed-domain barycentric interpolation
#184 opened Apr 4, 2026 by eliasjudin Contributor Loading…
Prove uniqueness of getBit binary representation
#181 opened Apr 1, 2026 by MavenRain Loading…
NTT-based univariate multiplication
#174 opened Mar 21, 2026 by erdkocak Contributor Draft
6 of 9 tasks
Add computable versions of div and mod
#127 opened Feb 27, 2026 by tomaz1502 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.