-
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
fix(gpu): cap the GPU test targets, count the aux retries, split the downgrade counter
#924
opened Aug 11, 2026 by
MauroToscano
Contributor
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
Collaborator
Loading…
fix(make): build the guest ELFs the prover targets read
#918
opened Aug 10, 2026 by
Oppen
Collaborator
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
fix(gpu): survive transient VRAM pressure — recover resident-table declines, close an R2 corruption race
#914
opened Aug 7, 2026 by
ColoCarletti
Collaborator
Loading…
feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block)
#912
opened Aug 6, 2026 by
MauroToscano
Contributor
•
Draft
perf(prover): default the cuda table scheduler to K = num_airs
#911
opened Aug 6, 2026 by
MauroToscano
Contributor
Loading…
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…
perf(prover): device-only preprocessed tables and GPU commits for mid-size tables
#888
opened Aug 3, 2026 by
ColoCarletti
Collaborator
Loading…
perf(guest): route all guest keccak through the chip via a vendored t…
#885
opened Jul 31, 2026 by
diegokingston
Collaborator
Loading…
docs(prover): allow 6->2 step-marker transition on the continuation path
#883
opened Jul 31, 2026 by
MauroToscano
Contributor
Loading…
1 task done
perf(ec): pair EC byte range checks, and replace ecrecover's four scalar muls with one joint chain (−61.9% EC cells, z3-gated, unconditional)
#871
opened Jul 27, 2026 by
MauroToscano
Contributor
•
Draft
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.