A hospital runs a diagnostic GNN on patient graphs. A regulator needs to verify the right model ran on real data. But patients data can't leave. ZK-GSP solves this: STARK receipt proves correct GNN execution w/out revealing graph. Benchmarked on CPU. O(N²) cycle scaling. Link 👇