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
test(stark,prover): GPU<->CPU parity for the constraint-interp kernel
MauroToscano
committed
spike(stark): Phase 4 Stage 0 — fused composition kernel + oracle parity
MauroToscano
committed
spike(stark): Phase 4 Stage A — wire GPU composition path into round 2
MauroToscano
committed
test(stark): GPU composition-path firing counter + e2e prove/verify gate
MauroToscano
committed
bench(stark): GPU composition A/B toggle + bench_abba_gpu.sh
MauroToscano
committed
fix(stark,math-cuda): review fixes — factor GPU dispatch prologue + boundary shape asserts
MauroToscano
committed
refactor(stark,math-cuda): single kernel node walk + shared GPU gate predicates
MauroToscano
committed
perf(stark,math-cuda): upload boundary zerofier inverses per-slice (no host flatten)
MauroToscano
committed
Merge branch 'main' into feat/gpu-constraint-eval
MauroToscano
authored