A deep dive into how zero-knowledge proofs, TEEs, and optimistic verification are making AI outputs cryptographically trustworthy on blockchain