perf(prover): device-resident rounds 2-4 and fused NTT for GPU continuations - #875

Merged

MauroToscano merged 15 commits into

mainfrom

gpu-opt-round2-impl

Aug 3, 2026

Commits on Jul 31, 2026

new opt
ColoCarletti
committed
99c3a11
fix(gpu): harden round-2 residency paths after review
ColoCarletti
committed
ac3dee9
Merge branch 'main' into gpu-opt-round2-impl
ColoCarletti
authored
780ecbf
fix(gpu): address round-2 review — guarded zero-inverse, retargeted fault hook, merkle root-only
ColoCarletti
committed
8a65884
Merge branch 'gpu-opt-round2-impl' of github.com:yetanotherco/lambda_vm into gpu-opt-round2-impl
ColoCarletti
committed
8a4bc54
perf(gpu): stage htod_via in fixed 64MB chunks to bound pinned footprint
ColoCarletti
committed
05fb8dd
style: rustfmt htod_via chunk-size expression
ColoCarletti
committed
51536c2
fix(gpu): gate R2 comp-tree host fallback on the parts, not host_trace_empty
ColoCarletti
committed
db04e55

Commits on Aug 1, 2026

Merge branch 'main' into gpu-opt-round2-impl
MauroToscano
authored
8faa77b

Commits on Aug 3, 2026