feat: Multi-GPU E2E proving pipeline - #644

Draft

samuelburnham wants to merge 9 commits into

mainfrom

sb/aiur-gpu-lanes

Commits on Oct 2, 2026

build: multi-stark at the sppark CUDA backend; generated trace kernels as a feature
samuelburnham
committed
1e86582
aiur: prove on several GPUs in one process; GPU trace witnesses and metrics
samuelburnham
committed
479675d
aiur: generate CUDA trace writers from compiled bytecode
samuelburnham
committed
9ae4674
docs: proving on GPUs, in one document
samuelburnham
committed
6529c23
docs: trace sharding as a design document, not a project log
samuelburnham
committed
2499f70
Trim the GPU proving machinery to what production exercises
samuelburnham
committed
40a2da9
build: multi-stark at main's GPU acceleration merge
samuelburnham
committed
6e3b30a
aiur: the hand-written CUDA-gated code under the workspace lints
samuelburnham
committed
195bcf3
codegen: regenerate for Ixon v4
samuelburnham
committed
0379bdd