Skip to content

Pull requests: Verified-zkEVM/evm-asm

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(div): expose n3 callable no-nop bound
#5432 opened May 21, 2026 by pirapira Collaborator Loading…
feat(div): expose n2 callable no-nop bound
#5431 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): expose n1 v4 abs handoff v2 equality
#5430 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): remove n1 v4 abs handoff stack arg
#5429 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): name n1 v4 abs stack spec
#5428 opened May 21, 2026 by pirapira Collaborator Loading…
feat(stateless): mpt_lookup_by_key compose (PR-K26)
#5427 opened May 21, 2026 by pirapira Collaborator Loading…
5 tasks done
refactor(sdiv): use n1 v4 norm aliases in branch conditions
#5426 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): expose n1 v4 quotient assumptions
#5425 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): name n1 v4 quotient limb zero
#5424 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): name n1 v4 high quotient limbs
#5423 opened May 21, 2026 by pirapira Collaborator Loading…
refactor(sdiv): use n1 v4 norm aliases in scratch output
#5422 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): name n1 v4 normalized operands
#5421 opened May 21, 2026 by pirapira Collaborator Loading…
feat(stateless): bytes_to_nibbles primitive (PR-K25)
#5420 opened May 21, 2026 by pirapira Collaborator Loading…
5 tasks done
feat(sdiv): complete n1 v4 branch surface
#5419 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): expose n1 v4 abs handoff surface
#5418 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): name n1 v4 scratch output
#5417 opened May 21, 2026 by pirapira Collaborator Loading…
feat(div): expose n1 v4 x9 unified bound
#5416 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): bridge n1 v4 handoff bound
#5415 opened May 21, 2026 by pirapira Collaborator Loading…
feat(sdiv): name n1 v4 scratch handoff
#5414 opened May 21, 2026 by pirapira Collaborator Loading…
feat(div): lift n1 v4 callable extra bound
#5413 opened May 21, 2026 by pirapira Collaborator Loading…
feat(stateless): mpt_walk full composition (PR-K24)
#5412 opened May 21, 2026 by pirapira Collaborator Loading…
5 tasks done
feat(sdiv): expose abs word limb projections
#5411 opened May 21, 2026 by pirapira Collaborator Loading…
feat(div): allow v4 callable frame transforms
#5410 opened May 21, 2026 by pirapira Collaborator Loading…
feat(div): expose n1 v4 callable extra x9 input
#5409 opened May 21, 2026 by pirapira Collaborator Loading…
feat(div): compose n1 v4 denorm epilogue x9 input
#5408 opened May 21, 2026 by pirapira Collaborator Loading…
ProTip! Add no:assignee to see everything that’s not assigned.