-
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
Correct the keccak gate and prove bound necessity
#950
opened Sep 2, 2026 by
jotabulacios
Collaborator
•
Draft
Skip the IR pre-capture on the riscv64 guest
#949
opened Aug 31, 2026 by
jotabulacios
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
Loading…
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
Loading…
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…
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!
Type g i on any issue or pull request to go back to the issue listing page.