Skip to content

Pull requests: yetanotherco/lambda_vm

New pull request New
83 Open 854 Closed
83 Open 854 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

feat(multilinear): the sumcheck, and the two arguments built on it
#998 opened Sep 18, 2026 by ColoCarletti Collaborator • Draft
refactor(stark): share what the multilinear path needs
#997 opened Sep 18, 2026 by ColoCarletti Collaborator • Draft
perf(alloc): compile jemalloc's never-purge policy into the binary
#996 opened Sep 18, 2026 by MauroToscano Contributor Loading…
6
Prove-and-retire prover (Approach 1), per-table and batched
#994 opened Sep 18, 2026 by jotabulacios Collaborator • Draft
build(guest): remap the absolute paths out of the guest ELF, and pin its sha256
#993 opened Sep 18, 2026 by MauroToscano Contributor Loading…
Make the WHIR path's hash a parameter, and add an RPX256 instantiation
#992 opened Sep 16, 2026 by MauroToscano Contributor • Draft
feat(vm): add constrained SHA-256 compression precompile
#990 opened Sep 15, 2026 by diegokingston Collaborator • Draft
5
Multilinear whir
#988 opened Sep 14, 2026 by ColoCarletti Collaborator • Draft
1
Spec: unified MEMMOVE accelerator
#986 opened Sep 11, 2026 by nicole-graus Collaborator Loading…
36
Per-table GPU recursion, end to end: one root for block 25368371
#985 opened Sep 11, 2026 by MauroToscano Contributor • Draft
Unify memcpy, memmove, memset and commit on one accelerator
#984 opened Sep 10, 2026 by nicole-graus Collaborator Loading…
9
Bump ethrex to 26.0.0 and rebuild the benchmark workload
#983 opened Sep 10, 2026 by jotabulacios Collaborator Loading…
43
docs(tables): correct the stale per-table census and name its derivation
#982 opened Sep 10, 2026 by MauroToscano Contributor Loading…
Let the guest's memcpy use unaligned word loads
#980 opened Sep 9, 2026 by jotabulacios Collaborator Loading…
19
ci: bump the AI review workflows to actions v1.0.3
#978 opened Sep 9, 2026 by JuArce Contributor Loading…
@JuArce
fix(stark): re-tune the Johnson gap, and stop calling a query budget "security"
#976 opened Sep 9, 2026 by MauroToscano Contributor Loading…
spec: Field VM
#971 opened Sep 8, 2026 by RobinJadoul Collaborator • 2/2 • Draft
@RobinJadoul
72
perf(math-cuda): one LDE buffer — transpose the fused commit's LDE in place
#960 opened Sep 7, 2026 by MauroToscano Contributor Loading…
Feat/multi merkle tree gpu resident
#951 opened Sep 7, 2026 by ColoCarletti Collaborator • Draft
Correct the keccak gate and prove bound necessity
#950 opened Sep 2, 2026 by jotabulacios Collaborator • Draft
spec: Recursion spec Updates and improvements to the spec document
#943 opened Aug 21, 2026 by erik-3milabs Collaborator • 1/2 • Draft
@erik-3milabs
57
Feat/hint arena
#942 opened Aug 19, 2026 by diegokingston Collaborator Loading…
17
perf(ecsm): echo yR and yG, halving the ecalls per ecrecover
#941 opened Aug 19, 2026 by diegokingston Collaborator Loading…
8
feat(prover): spill the aux LDE under StorageMode::Disk
#933 opened Aug 12, 2026 by MauroToscano Contributor Loading…
spec: ECSM affine ecall variant
#932 opened Aug 11, 2026 by nicole-graus Collaborator Loading…
6
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.