-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: yetanotherco/lambda_vm
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs(gpu): correct the d=1 composition-parts comments and stale group counts
#948
opened Aug 26, 2026 by
MauroToscano
Contributor
Loading…
test(gpu): make test-cuda-d1 actually exercise DECODE
#947
opened Aug 26, 2026 by
MauroToscano
Contributor
Loading…
perf(gpu): run DECODE (num_parts=1) DEEP/FRI on device
#946
opened Aug 24, 2026 by
ColoCarletti
Collaborator
Loading…
spec: Experimental switch from shiroa to typst html bundle export
spec
Updates and improvements to the spec document
#944
opened Aug 21, 2026 by
RobinJadoul
Collaborator
•
Draft
spec: Recursion
spec
Updates and improvements to the spec document
#943
opened Aug 21, 2026 by
erik-3milabs
Collaborator
•
Draft
perf(ecsm): echo yR and yG, halving the ecalls per ecrecover
#941
opened Aug 19, 2026 by
diegokingston
Collaborator
•
Draft
feat(prover): spill the aux LDE under StorageMode::Disk
#933
opened Aug 12, 2026 by
MauroToscano
Contributor
Loading…
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft)
#930
opened Aug 11, 2026 by
MauroToscano
Contributor
•
Draft
docs(formal-verification): DMA memcpy
#926
opened Aug 11, 2026 by
nicole-graus
Collaborator
Loading…
Formal verification for the ECSM affine selector
#925
opened Aug 11, 2026 by
nicole-graus
Collaborator
Loading…
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline
#923
opened Aug 10, 2026 by
MauroToscano
Contributor
Loading…
Align DMA memcpy with the EF's Accelerated Memory Operations standard
#922
opened Aug 10, 2026 by
nicole-graus
Collaborator
Loading…
feat(prover): chunk the accelerator tables and project them for storage
#919
opened Aug 10, 2026 by
Oppen
Contributor
Loading…
fix(make): build the guest ELFs the prover targets read
#918
opened Aug 10, 2026 by
Oppen
Contributor
Loading…
feat(syscalls): add the EF IO
write_log symbol (no-op) per zkvm-standards#27
#916
opened Aug 7, 2026 by
MauroToscano
Contributor
Loading…
feat(prover): LFM — field-native recursion machine, epoch-verifier e2e, and the measured hash matrix
#915
opened Aug 7, 2026 by
MauroToscano
Contributor
•
Draft
feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block)
#912
opened Aug 6, 2026 by
MauroToscano
Contributor
•
Draft
feat(prover,executor): BLAKE3 6-round compression accelerator
#903
opened Aug 5, 2026 by
MauroToscano
Contributor
•
Draft
ECSM operand addresses: the AIR accepts 7 addresses the executor rejects (implementation deviates from spec/src/ecsm.toml)
#902
opened Aug 5, 2026 by
MauroToscano
Contributor
•
Draft
perf(prover): pull-cursor CPU scheduler instead of fixed chunks, plus…
#901
opened Aug 4, 2026 by
diegokingston
Collaborator
Loading…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.