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