ML Oracles: Verifiable Claims for the Chain, animated