Did the model really say that?

When a smart contract acts on an AI's output, you need proof the output is genuine. Oracle networks can run inference and attest to results, and zkML research aims to prove a specific model produced a specific output without re-running it.

Trusted execution environments offer a middle path today: models run inside secure hardware that signs its outputs.