feat(stark): GPU constraint/composition evaluation - #798

Merged

MauroToscano merged 10 commits into

mainfrom

feat/gpu-constraint-eval

Jul 13, 2026

Commits on Jul 13, 2026

spike(stark): Phase 4 — GPU constraint interpreter (device lowering, kernel, dispatch)
MauroToscano
committed
936cd1c
test(stark,prover): GPU<->CPU parity for the constraint-interp kernel
MauroToscano
committed
41e63e8
spike(stark): Phase 4 Stage 0 — fused composition kernel + oracle parity
MauroToscano
committed
7c52203
spike(stark): Phase 4 Stage A — wire GPU composition path into round 2
MauroToscano
committed
11a0b90
test(stark): GPU composition-path firing counter + e2e prove/verify gate
MauroToscano
committed
904760b
bench(stark): GPU composition A/B toggle + bench_abba_gpu.sh
MauroToscano
committed
f4a9f80
fix(stark,math-cuda): review fixes — factor GPU dispatch prologue + boundary shape asserts
MauroToscano
committed
94c66f0
refactor(stark,math-cuda): single kernel node walk + shared GPU gate predicates
MauroToscano
committed
05de52a
perf(stark,math-cuda): upload boundary zerofier inverses per-slice (no host flatten)
MauroToscano
committed
f61fe62
Merge branch 'main' into feat/gpu-constraint-eval
MauroToscano
authored
1bdb1b0