Skip to content

Pull requests: yetanotherco/lambda_vm

New pull request New
48 Open 700 Closed
48 Open 700 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

perf(crypto): wire keccak_permute ecall into merkle/transcript/grinding
#802 opened Jul 11, 2026 by Oppen Collaborator Loading…
5 tasks done
fix(executor): filter debug-section labels from SymbolTable
#801 opened Jul 11, 2026 by Oppen Collaborator Loading…
3 tasks done
fix(math-cuda): driver-independent cuda builds (cudarc pin + cubin AOT)
#800 opened Jul 9, 2026 by MauroToscano Contributor • Draft
feat(stark): full GPU trace residency — skip the round-1 D2H
#799 opened Jul 9, 2026 by MauroToscano Contributor • Draft
feat(stark): GPU constraint/composition evaluation
#798 opened Jul 9, 2026 by MauroToscano Contributor • Draft
recursion: supply DECODE/page commitments via private input; bind them to the inner ELF via a program_id fold
#782 opened Jul 6, 2026 by Oppen Collaborator Loading…
9
perf(stark): hoist query-invariant deep-composition sums out of the FRI query loop
#776 opened Jul 3, 2026 by Oppen Collaborator Loading…
7 tasks done
perf(stark): fuse deep-composition reconstruction for both FRI points
#775 opened Jul 3, 2026 by Oppen Collaborator Loading…
4 tasks done
perf(crypto): specialize keccak256 for the fixed-shape Merkle parent hash
#774 opened Jul 3, 2026 by Oppen Collaborator Loading…
6 tasks done
perf(crypto): stream field-element bytes into hashers and transcript
#773 opened Jul 3, 2026 by Oppen Collaborator Loading…
6 tasks done
6
perf(verifier): verify STARK proofs in place via rkyv
#769 opened Jul 3, 2026 by Oppen Collaborator Loading…
8
Feat/batched fri per epoch
#768 opened Jul 2, 2026 by diegokingston Collaborator • Draft
4
perf(continuations): Verify-and-drop continuation epoch proofs instead of collecting them
#766 opened Jul 2, 2026 by nicole-graus Collaborator Loading…
5
perf (continuations): Remove the l2g MU selector
#760 opened Jul 1, 2026 by nicole-graus Collaborator Loading…
perf(continuations): Emit COMMIT output on the Memory bus
#759 opened Jul 1, 2026 by nicole-graus Collaborator • Draft
Feat/ecsm update
#753 opened Jun 30, 2026 by jotabulacios Collaborator Loading…
11
perf(gpu): keep composition-LDE on device so R4 DEEP avoids the re-H2D
#738 opened Jun 29, 2026 by diegokingston Collaborator Loading…
2 of 3 tasks
2
perf(ecsm): replace num-bigint with crypto-bigint
#716 opened Jun 25, 2026 by Oppen Collaborator • Draft
3 tasks
3
Perf/trace gen parallel
#707 opened Jun 24, 2026 by diegokingston Collaborator • Draft
6
[RFC] perf(recursion): verifier optimizations — paired Merkle opening, keccak direct permutation, scratch buffers
#706 opened Jun 23, 2026 by Oppen Collaborator • Draft
5 tasks done
[WIP/experiment] formal proofs with aeneas/hax
#692 opened Jun 19, 2026 by Oppen Collaborator • Draft
Perf/deep merkle executor misc
#672 opened Jun 17, 2026 by diegokingston Collaborator • Draft
6
Add ECSM accelerator markdown spec
#667 opened Jun 12, 2026 by MauroToscano Contributor • Draft
7
spec: ECSM spec Updates and improvements to the spec document
#655 opened Jun 9, 2026 by erik-3milabs Collaborator Loading…
@erik-3milabs
74
Add RISC-V compressed instruction support
#649 opened Jun 3, 2026 by gabrielbosio Collaborator • Draft
6
ProTip! What’s not been updated in a month: updated:<2026-06-11.