Skip to content

Pull requests: yetanotherco/lambda_vm

New pull request New
54 Open 779 Closed
54 Open 779 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

fix(bench): restore /bench-growth rendering, the fixture digest check, and the measured costs
#887 opened Aug 1, 2026 by MauroToscano Contributor Loading…
7
perf(guest): read the private input zero-copy via ef_io::read_input
#886 opened Jul 31, 2026 by diegokingston Collaborator • Draft
2
perf(guest): route all guest keccak through the chip via a vendored t…
#885 opened Jul 31, 2026 by diegokingston Collaborator Loading…
3
docs(prover): allow 6->2 step-marker transition on the continuation path
#883 opened Jul 31, 2026 by MauroToscano Contributor Loading…
1 task done
Fix /bench-verify target dirs
#882 opened Jul 31, 2026 by jotabulacios Collaborator Loading…
feat(cli): prover config file
#881 opened Jul 31, 2026 by ColoCarletti Collaborator Loading…
1
Perf/ecsm affine selector
#879 opened Jul 29, 2026 by jotabulacios Collaborator Loading…
13
perf(prover): per-table scheduler with VRAM admission for multi_prove
#877 opened Jul 29, 2026 by ColoCarletti Collaborator • Draft
2
Feat/hint ecall
#876 opened Jul 29, 2026 by jotabulacios Collaborator Loading…
25
perf(prover): device-resident rounds 2-4 and fused NTT for GPU continuations
#875 opened Jul 29, 2026 by ColoCarletti Collaborator Loading…
10
feat/dma memcpy
#874 opened Jul 28, 2026 by jotabulacios Collaborator Loading…
18
perf(ec): pair EC byte range checks, and replace ecrecover's four scalar muls with one joint chain (−61.9% EC cells, z3-gated, unconditional)
#871 opened Jul 27, 2026 by MauroToscano Contributor • Draft
3
Perf/dlmalloc guest allocator
#869 opened Jul 27, 2026 by jotabulacios Collaborator Loading…
4
Reduce the default page size from 256 KB to 32 KB
#868 opened Jul 27, 2026 by nicole-graus Collaborator • Draft
5
perf(stark): GPU transfer-residency
#862 opened Jul 24, 2026 by jotabulacios Collaborator • Draft
2
perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified)
#860 opened Jul 23, 2026 by MauroToscano Contributor • Draft
3
feat(stark): opt-in LogUp-GKR mode — batch GKR replaces committed LogUp columns (port of #485)
#857 opened Jul 21, 2026 by MauroToscano Contributor • Draft
3 of 6 tasks
11
fix(prover): emit missing marker on continuation verify paths
#855 opened Jul 21, 2026 by Oppen Collaborator Loading…
2 tasks done
1
fix(prover): print per-table instruments report on the continuation path
#853 opened Jul 20, 2026 by MauroToscano Contributor Loading…
perf(executor): back the private-input region with a paged Box map
#852 opened Jul 17, 2026 by Oppen Collaborator • Draft
5 tasks done
15
fix(prover): deterministic blob layout tag + continuation tamper coverage
#851 opened Jul 17, 2026 by diegokingston Collaborator Loading…
3 tasks done
1
Perf/verifier eval points elf digest
#848 opened Jul 17, 2026 by diegokingston Collaborator • Draft
7
perf(verifier): compute shared LogUp α-powers once, slice per table
#842 opened Jul 16, 2026 by diegokingston Collaborator Loading…
6
harden the deep-composition fuse: pin its two panic guards, make them local
#834 opened Jul 16, 2026 by MauroToscano Contributor Loading…
Feat/fext recursion wiring
#831 opened Jul 16, 2026 by jotabulacios Collaborator Loading…
2
ProTip! Adding no:label will show everything without a label.