GHOSTSPEED

PROVE WHICH MODEL PRODUCED AN OUTPUT

The prover publishes a commitment to its weights, then proves an output came from them. The proof is 10,944 bytes and checks in 350 ms on an ordinary machine.