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,880 bytes and checks in 170 ms on an ordinary machine.
Read the technical write-up · mike@0pon.com · Patent pending