Skip to content

Pull requests: yetanotherco/lambda_vm

New pull request New
46 Open 753 Closed
46 Open 753 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

fix(prover): print per-table instruments report on the continuation path
#853 opened Jul 20, 2026 by MauroToscano Contributor Loading…
perf(executor): back the private-input region with a paged Box map
#852 opened Jul 17, 2026 by Oppen Collaborator • Draft
5 tasks done
15
fix(prover): deterministic blob layout tag + continuation tamper coverage
#851 opened Jul 17, 2026 by diegokingston Collaborator Loading…
3 tasks done
Perf/verifier eval points elf digest
#848 opened Jul 17, 2026 by diegokingston Collaborator • Draft
7
perf(verifier): compute shared LogUp α-powers once, slice per table
#842 opened Jul 16, 2026 by diegokingston Collaborator Loading…
3
perf(transcript): direct sponge-squeeze challenges, drop ChaCha20 (⚠️ proof-breaking)
#841 opened Jul 16, 2026 by diegokingston Collaborator Loading…
5
harden the deep-composition fuse: pin its two panic guards, make them local
#834 opened Jul 16, 2026 by MauroToscano Contributor Loading…
Feat/fext recursion wiring
#831 opened Jul 16, 2026 by jotabulacios Collaborator Loading…
1
perf(verifier): amortize per-table/per-query verifier work (Tier 0 + Tier 1)
#830 opened Jul 16, 2026 by diegokingston Collaborator Loading…
9
perf(verifier): factor shared zerofier + batch DEEP inversions
#829 opened Jul 16, 2026 by diegokingston Collaborator Loading…
7
[DRAFT] refactor(verifier): collapse to a single archived proof representation
#824 opened Jul 15, 2026 by MauroToscano Contributor • Draft
Stream proof serialization into the writer
#819 opened Jul 15, 2026 by jotabulacios Collaborator • Draft
Feat/fext accelerator
#818 opened Jul 15, 2026 by jotabulacios Collaborator Loading…
13
perf(transcript): sample FRI query indices via a masked bit reservoir
#817 opened Jul 15, 2026 by diegokingston Collaborator Loading…
3
GPU trace-gen (part 2): 7 more device-resident fills + preprocessed-table GPU LDE
#811 opened Jul 14, 2026 by ColoCarletti Collaborator • Draft
spec: Draft FMA extension field accelerator spec Updates and improvements to the spec document
#809 opened Jul 14, 2026 by RobinJadoul Collaborator Loading…
@RobinJadoul
25
GPU trace-gen (part 1): device-resident fills for 7 tables
#803 opened Jul 13, 2026 by ColoCarletti Collaborator Loading…
6
Feat/batched fri per epoch
#768 opened Jul 2, 2026 by diegokingston Collaborator • Draft
7
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
perf(ecsm): replace num-bigint with crypto-bigint
#716 opened Jun 25, 2026 by Oppen Collaborator • Draft
3 tasks
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
Add ECSM accelerator markdown spec
#667 opened Jun 12, 2026 by MauroToscano Contributor • Draft
7
ProTip! What’s not been updated in a month: updated:<2026-06-21.