How does verifiable AI execution work?

It employs zk-proofs (such as PLONK) and TEE attestations to cryptographically prove model execution correctness without exposing sensitive data.