Skip to content

Pull requests: yetanotherco/lambda_vm

New pull request New
47 Open 678 Closed
47 Open 678 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

Review fixes for the GPU LogUp aux build (#762)
#779 opened Jul 3, 2026 by MauroToscano Contributor Loading…
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
perf: single-format rkyv serialization + zero-copy in-place verifier
#769 opened Jul 3, 2026 by Oppen Collaborator Loading…
2
Feat/batched fri per epoch
#768 opened Jul 2, 2026 by diegokingston Collaborator • Draft
1
perf(continuations): Verify-and-drop continuation epoch proofs instead of collecting them
#766 opened Jul 2, 2026 by nicole-graus Collaborator Loading…
4
feat(prover): Build the LogUp aux trace on the GPU
#762 opened Jul 1, 2026 by ColoCarletti Collaborator Loading…
8
flamegraph: fix tail-call misattribution, trie-based fold, addr2line enrichment
#761 opened Jul 1, 2026 by Oppen Collaborator Loading…
5 tasks done
1
perf (continuations): Remove the l2g MU selector
#760 opened Jul 1, 2026 by nicole-graus Collaborator • Draft
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…
8
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
Feat/fri early termination
#729 opened Jun 26, 2026 by diegokingston Collaborator Loading…
7
feat: cache verifying key + commitments (recursion opt)
#727 opened Jun 26, 2026 by Oppen Collaborator Loading…
15
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
spec: Draft streaming prover approaches spec Updates and improvements to the spec document
#642 opened Jun 2, 2026 by RobinJadoul Collaborator • Draft
@RobinJadoul
11
ProTip! no:milestone will show everything without a milestone.