-
Notifications
You must be signed in to change notification settings - Fork 6
Pull requests: Verified-zkEVM/evm-asm
Author
Label
Projects
Milestones
Reviews
Assignee
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(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(div): expose n1 v4 x9 unified bound
#5416
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…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.