Skip to content

Pull requests: yetanotherco/lambda_vm

New pull request New
81 Open 842 Closed
81 Open 842 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

Unify memcpy, memmove, memset and commit on one accelerator
#984 opened Sep 10, 2026 by nicole-graus Collaborator • Draft
1
Bump ethrex to 26.0.0 and rebuild the benchmark workload
#983 opened Sep 10, 2026 by jotabulacios Collaborator • Draft
9
docs(tables): correct the stale per-table census and name its derivation
#982 opened Sep 10, 2026 by MauroToscano Contributor Loading…
fix(continuation): prove the global memory argument AFTER the epochs, not beside them
#981 opened Sep 9, 2026 by MauroToscano Contributor Loading…
Let the guest's memcpy use unaligned word loads
#980 opened Sep 9, 2026 by jotabulacios Collaborator Loading…
10
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 • Draft
15
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
Skip the IR pre-capture on the riscv64 guest
#949 opened Aug 31, 2026 by jotabulacios Collaborator Loading…
5
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…
14
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
fix(make): build the guest ELFs the prover targets read
#918 opened Aug 10, 2026 by Oppen Contributor Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.