Skip to content

Pull requests: yetanotherco/lambda_vm

New pull request New
77 Open 849 Closed
77 Open 849 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

tooling(recursion): count keccak hashes to verify a proof (excl. grin…
#987 opened Sep 11, 2026 by ColoCarletti Collaborator Loading…
8
Spec: unified MEMMOVE accelerator
#986 opened Sep 11, 2026 by nicole-graus Collaborator Loading…
4
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 • Draft
12
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…
14
ci: bump the AI review workflows to actions v1.0.3
#978 opened Sep 9, 2026 by JuArce Contributor Loading…
@JuArce
Feat/skip empty tables
#977 opened Sep 9, 2026 by jotabulacios Collaborator Loading…
20
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
54
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
spec: DMA memcpy accelerator
#931 opened Aug 11, 2026 by nicole-graus Collaborator Loading…
29
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft)
#930 opened Aug 11, 2026 by MauroToscano Contributor • Draft
2
docs(formal-verification): DMA memcpy
#926 opened Aug 11, 2026 by nicole-graus Collaborator Loading…
1
Formal verification for the ECSM affine selector
#925 opened Aug 11, 2026 by nicole-graus Collaborator Loading…
1
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline
#923 opened Aug 10, 2026 by MauroToscano Contributor Loading…
feat(prover): chunk the accelerator tables and project them for storage
#919 opened Aug 10, 2026 by Oppen Contributor Loading…
1
ProTip! Mix and match filters to narrow down what you’re looking for.