-
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
perf(ecsm): 7.7x faster witness generation
#866
opened Jul 25, 2026 by
diegokingston
Collaborator
Loading…
perf(target): enable unaligned-scalar-mem for riscv64im guests
#864
opened Jul 24, 2026 by
diegokingston
Collaborator
Loading…
perf(programs): build the ethrex guest with thin LTO
#861
opened Jul 24, 2026 by
MauroToscano
Contributor
Loading…
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
perf: build PAGE trace from dense memory store
#858
opened Jul 23, 2026 by
ColoCarletti
Collaborator
Loading…
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(bench-verify): Measure each recursion ref's guest cycles with a CLI built from that ref
#856
opened Jul 21, 2026 by
nicole-graus
Collaborator
Loading…
fix(prover): emit missing marker on continuation verify paths
#855
opened Jul 21, 2026 by
Oppen
Collaborator
Loading…
2 tasks done
fix(prover): print per-table instruments report on the continuation path
#853
opened Jul 20, 2026 by
MauroToscano
Contributor
Loading…
fix(prover): deterministic blob layout tag + continuation tamper coverage
#851
opened Jul 17, 2026 by
diegokingston
Collaborator
Loading…
3 tasks done
perf(verifier): compute shared LogUp α-powers once, slice per table
#842
opened Jul 16, 2026 by
diegokingston
Collaborator
Loading…
perf(transcript): direct sponge-squeeze challenges, drop ChaCha20 (⚠️ proof-breaking)
#841
opened Jul 16, 2026 by
diegokingston
Collaborator
Loading…
harden the deep-composition fuse: pin its two panic guards, make them local
#834
opened Jul 16, 2026 by
MauroToscano
Contributor
Loading…
perf(verifier): amortize per-table/per-query verifier work (Tier 0 + Tier 1)
#830
opened Jul 16, 2026 by
diegokingston
Collaborator
Loading…
perf(verifier): factor shared zerofier + batch DEEP inversions
#829
opened Jul 16, 2026 by
diegokingston
Collaborator
Loading…
[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
perf(transcript): sample FRI query indices via a masked bit reservoir
#817
opened Jul 15, 2026 by
diegokingston
Collaborator
Loading…
GPU trace-gen (part 2): 7 more device-resident fills + preprocessed-table GPU LDE
#811
opened Jul 14, 2026 by
ColoCarletti
Collaborator
•
Draft
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.