-
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
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
perf: make bump the default guest allocator
#869
opened Jul 27, 2026 by
jotabulacios
Collaborator
Loading…
Reduce the default page size from 256 KB to 32 KB
#868
opened Jul 27, 2026 by
nicole-graus
Collaborator
•
Draft
perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified)
#860
opened Jul 23, 2026 by
MauroToscano
Contributor
•
Draft
feat(stark): opt-in LogUp-GKR mode — batch GKR replaces committed LogUp columns (port of #485)
#857
opened Jul 21, 2026 by
MauroToscano
Contributor
•
Draft
3 of 6 tasks
fix(prover): print per-table instruments report on the continuation path
#853
opened Jul 20, 2026 by
MauroToscano
Contributor
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.