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

Draft

MauroToscano wants to merge 7 commits into

mainfrom

feat/gpu-constraint-eval

Commits on Jul 8, 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

Commits on Jul 9, 2026

fix(stark,math-cuda): review fixes — factor GPU dispatch prologue + boundary shape asserts
MauroToscano
committed